Eyal Amir  Home/Search
Context
Related
| uiuc.edu/~eyal/pap...0.9jlcsubmit.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu/~eyal/paper (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Craig's interpolation theorem [Craig, 1957] is an important theorem known for propositional logic and rst-order logic. It says that if a logical formula logically follows from a formula , then there is a formula , including only symbols that appear in both ; , such that logically follows from and logically follows from . Such theorems are important and useful for understanding those logics in which they hold as well as for speeding up reasoning with theories in those logics. In ... (Update)
Active bibliography (related documents): More All
1.2: Interpolation Theorems for Nonmonotonic Reasoning Systems - Amir (2002) (Correct)
0.3: Planning and Scheduling of Software Manufacturing Projects - Safavi (1991) (Correct)
0.2: Partition-Based Logical Reasoning for First-Order and.. - Amir, McIlraith (2000) (Correct)
Similar documents based on text: More All
0.2: Practical Partition-Based Theorem Proving for Large.. - MacCartney.. (Correct)
0.2: Projection in Decomposed Situation Calculus - Amir (2002) (Correct)
0.2: Planning with Nondeterministic Actions and Sensing - Amir (2002) (Correct)
BibTeX entry: (Update)
@misc{ amir-interpolation,
author = "Eyal Amir",
title = "Interpolation Theorems for Nonmonotonic Reasoning Systems",
url = "citeseer.ist.psu.edu/article/amir02interpolation.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
850 A logic for default reasoning (context) - Reiter - 1980
374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
297 Applications of Circumscription to Formalizing Common Sense .. - McCarthy - 1986
270 Logic Program with Classical Negation (context) - Gelfond, Lifschitz - 1990
120 Stable semantics for disjunctive programs - Przymusi - 1991
95 Bucket elimination: A unifying framework for reasoning - Dechter - 1999
94 General patterns in nonmonotonic reasoning (context) - Makinson - 1993
91 Splitting a logic program - Lifschitz, Turner - 1994
87 Nonmonotonic Reasoning: Logical Foundations of Common Sense (context) - Brewka - 1991
82 Reasoning with incomplete Information (context) - Etherington - 1986
61 Directional resolution: The davis-putnam procedure - Dechter, Rish - 1994
59 Context-Dependent Reasoning (context) - Marek, Truszczy et al. - 1993
43 Nonmonotonic Reasoning (context) - Antoniou - 1997
42 A Form of NonMonotonic Reasoning (context) - McCarthy - 1980
42 Nonmonotonic Reasoning: An Overview (context) - Brewka, urgen et al. - 1997
38 A shorter model theory (context) - Hodges - 1997
28 Computing circumscription (context) - Lifschitz - 1985
23 Model-based diagnosis using structured system descriptions - Darwiche - 1998
20 Results on translating defaults to circumscription (context) - Imielinski - 1987
19 Splitting a default theory - Turner - 1996
19 Relating disjunctive logic programs to default theories - Sakama, Inoue - 1993
18 Arti- cial Intelligence (context) - Kraus, Lehmann et al. - 1990
16 Tableau-based characterization and theorem proving for defau.. (context) - Risch, Schwind - 1994
14 Paritition-based logical reasoning (context) - Amir, McIlraith - 2000
14 Theorem proving with structured theories - McIlraith, Amir - 2001
13 a new form of the herbrandgentzen theorem (context) - Craig - 1957
10 Handbook of Logic in Arti cial Intelligence and Logic Progra.. (context) - Gabbay, Hogger et al. - 1993
10 Composition of situation calculus theories - Amir - 2000
4 A logical notion of conditional independence (context) - Darwiche - 1997
3 Tree Clustering Schemes for Constraint Processing (context) - Dechter, Pearl - 1988
Documents on the same site (http://www-faculty.cs.uiuc.edu/~eyal/paper.html): More
Projection in Decomposed Situation Calculus - Amir (2002) (Correct)
Formalizing Action Using Set Theory and Modified Pointwise.. - Amir (1997) (Correct)
Souslin Absoluteness, Uniformization and Regularity Properties of.. - Amir (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC