A semantic backward chaining proof system

&
Artificial Intelligence 55 (1):109-128 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(92)90044-x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

Backward-chaining evolutionary algorithms.Riccardo Poli & William B. Langdon - 2006 - Artificial Intelligence 170 (11):953-982.
Plane geometry theorem proving using forward chaining.Arthur J. Nevins - 1975 - Artificial Intelligence 6 (1):1-23.
Controlling backward inference.David E. Smith - 1989 - Artificial Intelligence 39 (2):145-208.
Dynamic backward reasoning systems.Antoni Ligęza - 1990 - Artificial Intelligence 43 (2):127-152.
Semantic Information and Artificial Intelligence.Anderson Araújo - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer.
Historical Semantic Chaining and Efficient Communication: The Case of Container Names.Yang Xu, Terry Regier & Barbara C. Malt - 2016 - Cognitive Science 40 (8):2081-2094.
Populating legal ontologies using semantic role labeling.Llio Humphreys, Guido Boella, Leendert van der Torre, Livio Robaldo, Luigi Di Caro, Sepideh Ghanavati & Robert Muthuri - 2020 - Artificial Intelligence and Law 29 (2):171-211.
Proof by consistency.Deepak Kapur & David R. Musser - 1987 - Artificial Intelligence 31 (2):125-157.
Introduction: On proof.Antonio A. Martino & Ephraim Nissan - 2001 - Artificial Intelligence and Law 9 (2-3):95-98.
Introduction: On proof. [REVIEW]Antonio A. Martino - 2001 - Artificial Intelligence and Law 9 (2-3):95-98.

Analytics

Added to PP
2020-12-22

Downloads
10 (#1,466,946)

6 months
5 (#1,035,390)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references