The scope and limits of simulation in automated reasoning

&
Artificial Intelligence 233 (C):60-72 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.12.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Towards the use of automated reasoning in discourse disambiguation.Claire Gardent & Bonnie Webber - 2001 - Journal of Logic, Language and Information 10 (4):487-509.
A survey of requirements for automated reasoning services for bio-ontologies in OWL.M. Scott Marshall, C. Maria Keet & Marco Roos - unknown
Automated model selection for simulation based on relevance reasoning.Alon Y. Levy, Yumi Iwasaki & Richard Fikes - 1997 - Artificial Intelligence 96 (2):351-394.
The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.
Automated reasoning in higher-order logic using the tptp thf infrastructure.Sutcliffe Geoff & Benzmüller Christoph - 2010 - Journal of Formalized Reasoning 3 (1):1-27.
An automated modal logic for elementary changes.L. Fariñas Del Cerro & Andreas Herzig - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press.
Combined reasoning by automated cooperation.Christoph Benzmüller, Volker Sorge, Mateja Jamnik & Manfred Kerber - 2008 - Journal of Applied Logic 6 (3):318-342.
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.
Automated reasoning in normative detachment structures with ideal conditions.Tomer Libal & Matteo Pascucci - 2019 - In Tomer Libal & Matteo Pascucci (eds.), ICAIL: International Conference on Artificial Intelligence and Law. ACM. pp. 63-72.
OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems.Autexier Serge, Benzmüller Christoph, Dietrich Dominik & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann (eds.), Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.
Why Doomsday Arguments are Better than Simulation Arguments.M. Richmond Alasdair - 2016 - Ratio 30 (3):221-238.
An intuitionistic basis for non-monotonic reasoning.M. R. B. Clarke & Dov M. Gabbay - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press.
Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.
Reply to 'the scope and limit of mental simulation'.Jérôme Dokic - 2002 - In Jérôme Dokic & Joëlle Proust (eds.), Simulation and Knowledge of Action. John Benjamins.
Higher-Order Automated Theorem Provers.Benzmüller Christoph - 2015 - In David Delahaye & Bruno Woltzenlogel Paleo (eds.), All About Proofs, Proof for All. College Publications. pp. 171-214.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,237,933)

6 months
5 (#510,007)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Causal generative models are just a start.Ernest Davis & Gary Marcus - 2017 - Behavioral and Brain Sciences 40.

Add more citations

References found in this work

Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
Planning for conjunctive goals.David Chapman - 1987 - Artificial Intelligence 32 (3):333-377.
A qualitative physics based on confluences.Johan De Kleer & John Seely Brown - 1984 - Artificial Intelligence 24 (1-3):7-83.
Qualitative simulation.Benjamin Kuipers - 1986 - Artificial Intelligence 29 (3):289-338.

View all 10 references / Add more references