Automated reasoning about machines

Artificial Intelligence 74 (1):1-53 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)00003-j

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

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
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. San Diego: 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.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
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.
Attributing Agency to Automated Systems: Reflections on Human–Robot Collaborations and Responsibility-Loci.Sven Nyholm - 2018 - Science and Engineering Ethics 24 (4):1201-1219.
Assumption-based argumentation with preferences and goals for patient-centric reasoning with interacting clinical guidelines.Kristijonas Čyras, Tiago Oliveira, Amin Karamlou & Francesca Toni - 2021 - Argument and Computation 12 (2):149-189.
Computational Meta-Ethics: Towards the Meta-Ethical Robot.Gert-Jan C. Lokhorst - 2011 - Minds and Machines 21 (2):261-274.
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.
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. San Diego: Academic Press.
Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,546,680)

6 months
4 (#799,256)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Automated reasoning about machines.Andrew Gelsey - 1995 - Artificial Intelligence 74 (1):1-53.

Add more citations

References found in this work

Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
Computational kinematics.Leo Joskowicz & Elisha P. Sacks - 1991 - Artificial Intelligence 51 (1-3):381-416.
The use of aggregation in causal simulation.Daniel S. Weld - 1986 - Artificial Intelligence 30 (1):1-34.

View all 7 references / Add more references