- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
Artificial Intelligence 49 (1-3):161-198 (1991)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Hybrid reasoning using universal attachment.Karen L. Myers - 1994 - Artificial Intelligence 67 (2):329-375.
An experimental logic based on the fundamental deduction principle.Frank M. Brown - 1986 - Artificial Intelligence 30 (2):117-263.
A deep learning framework for Hybrid Heterogeneous Transfer Learning.Joey Tianyi Zhou, Sinno Jialin Pan & Ivor W. Tsang - 2019 - Artificial Intelligence 275 (C):310-328.
Review: Cary G. DeBessonet, A many-valued approach to deduction and reasoning for artificial intelligence. [REVIEW]Robert Stark - 1995 - Journal of Symbolic Logic 60 (4):1328-1329.
The Seminal Speculation of a Precursor: Elements of Embodied Cognition and Situated AI in Alan Turing.Massimiliano Cappuccio - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer.
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
A probabilistic framework for memory-based reasoning.Simon Kasif, Steven Salzberg, David Waltz, John Rachlin & David W. Aha - 1998 - Artificial Intelligence 104 (1-2):287-311.
Bucket elimination: A unifying framework for reasoning.Rina Dechter - 1999 - Artificial Intelligence 113 (1-2):41-85.
Nonmonotonic reasoning in the framework of situation calculus.Andrew B. Baker - 1991 - Artificial Intelligence 49 (1-3):5-23.
Analytics
Added to PP
2020-12-22
Downloads
9 (#1,270,450)
6 months
6 (#700,858)
2020-12-22
Downloads
9 (#1,270,450)
6 months
6 (#700,858)
Historical graph of downloads
Citations of this work
Limited reasoning in first-order knowledge bases with full introspection.Gerhard Lakemeyer - 1996 - Artificial Intelligence 84 (1-2):209-255.
A resolution principle for constrained logics.Hans-Jürgen Bürckert - 1994 - Artificial Intelligence 66 (2):235-271.
Order-sorted logic programming with predicate hierarchy.Ken Kaneiwa - 2004 - Artificial Intelligence 158 (2):155-188.
A typed resolution principle for deduction with conditional typing theory.Tie-Cheng Wang - 1995 - Artificial Intelligence 75 (2):161-194.
Simultaneous rigid sorted unification for tableaux.P. J. Martín & A. Gavilanes - 2002 - Studia Logica 72 (1):31-59.
References found in this work
A Temporal Logic for Reasoning about Processes and Plans.Drew McDermott - 1982 - Cognitive Science 6 (2):101-155.
Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.
A mechanical solution of Schubert's Steamroller by many-sorted resolution.Christoph Walther - 1985 - Artificial Intelligence 26 (2):217-224.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-5pqs9 uwo