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: 91,349

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

Familial theorizing and the literature that facilitates it.W. H. Schubert, A. L. Schubert & H. A. Schubert - 1986 - Journal of Thought 21 (2):132-47.
Schubert's Late Music: History, Theory, Style.Lorraine Byrne Bodley & Julian Horton (eds.) - 2016 - Cambridge University Press.
Quine’s conjecture on many-sorted logic.Thomas William Barrett & Hans Halvorson - 2017 - Synthese 194 (9):3563-3582.
Quantifier Variance Without Meaning Variance.Davood Hosseini - 2020 - Axiomathes 30 (3):313-325.
De la notion de l'être.Schubert Schubert - 1883 - Revue Philosophique de la France Et de l'Etranger 16:225.
Ralph W. Tyler in review: An interview and antecedent reflections.W. H. Schubert & A. L. Schubert - 1986 - Journal of Thought 21 (1):7-14.
A Mechanical Model for Analyzing the Runaway Solutions in the Radiation Reaction Problem.J. L. Jiménez, J. A. E. Roa-Neri & P. Vargas - 2007 - Foundations of Physics 37 (3):410-426.
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?J. Climent Vidal & E. Cosme Llópez - 2018 - Logic Journal of the IGPL 26 (4):381-407.
Schubert's Winterreise: A Winter Journey in Poetry, Image, and Song.Franz Schubert, Wilhelm Muller, Katrin Talbot, John Harbison & Youens Susan - 2003 - University of Wisconsin Press.
Persuasion dialogue in online dispute resolution.Douglas Walton & David M. Godden - 2005 - Artificial Intelligence and Law 13 (2):273-295.
Divestment Steamroller Seeks to Bury Apartheid.Christopher Coons - 1986 - Business and Society Review 57:90-95.
Die Anfänge des Erasmus, Humanismus Und 'Devotio Moderna', Herausg. Von H. Von Schubert.Paul Mestwerdt & Hans von Schubert - 1917
The Intellectual and Aesthetic Tenets of Franz Schubert's Circle.David Gramit - 1987 - Umi.
The purpose of progress: A response to Schubert.James Maclaurin & Tim Cochrane - 2013 - Journal of Bioeconomics.
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,510,250)

6 months
4 (#790,687)

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