A mechanical solution of Schubert's Steamroller by many-sorted resolution

Artificial Intelligence 26 (2):217-224 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(85)90029-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Many-sorted Logic and Its Applications.K. Meinke & J. V. Tucker - 1993 - Wiley.
Order-sorted logic programming with predicate hierarchy.Ken Kaneiwa - 2004 - Artificial Intelligence 158 (2):155-188.
An order-sorted logic for knowledge representation systems.C. Beierle, U. Hedtstück, U. Pletat, P. H. Schmitt & J. Siekmann - 1992 - Artificial Intelligence 55 (2-3):149-191.
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning.Alan M. Frisch - 1991 - Artificial Intelligence 49 (1-3):161-198.
Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday.Simon Siegler & Nathan Wasser (eds.) - 2010 - Springer.
Stefano Franchi and Güven Güzeldere, eds., Mechanical Bodies, Computational Minds: Artificial Intelligence from Automata to Cyborgs Reviewed by.John Sutton - 2006 - Philosophy in Review 26 (6):414-416.
Geometric reasoning about mechanical assembly.Randall H. Wilson & Jean-Claude Latombe - 1994 - Artificial Intelligence 71 (2):371-396.
Mechanical Brains: Autism and Artificial Intelligence.David Squires - 2020 - Diacritics 48 (1):52-79.
Resolution graphs.Robert A. Yates, Bertram Raphael & Timothy P. Hart - 1970 - Artificial Intelligence 1 (3-4):257-289.
Symbolic logic and mechanical theorem proving.Robert B. Anderson - 1973 - Artificial Intelligence 4 (3-4):245-246.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,481,433)

6 months
5 (#836,811)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Order-sorted logic programming with predicate hierarchy.Ken Kaneiwa - 2004 - Artificial Intelligence 158 (2):155-188.
Kernel functions for case-based planning.Ivan Serina - 2010 - Artificial Intelligence 174 (16-17):1369-1406.

View all 7 citations / Add more citations

References found in this work

Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.

Add more references