.
German Research Center for Artificial Intelligence GmbH
.
German Research Center for Artificial Intelligence GmbH
J. McCarthy and P. J. Hayes
Some Philosophical Problems from the Standpoint of Artificial Intelligence
@incollection{McCarthy:87,
AUTHOR = {J. McCarthy and P. J. Hayes},
TITLE = {Some Philosophical Problems from the Standpoint of Artificial Intelligence},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {26-45},
KEYWORDS = {nonmon-reas, know-repr, vision, infer}}
J. McCarthy
Epistemological Problems of Artificial Intelligence
@incollection{McCarthy87,
AUTHOR = {J. McCarthy},
TITLE = {Epistemological Problems of Artificial Intelligence},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {46-52},
KEYWORDS = {nonmon-reas, know-repr}}
D. J. Israel
What's Wrong with Non-Monotonic Logic
@incollection{Israel87,
AUTHOR = {D. J. Israel},
TITLE = {What's Wrong with Non-Monotonic Logic},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {53-55},
KEYWORDS = {nonmon-reas}}
D. Perlis
On the Consistency on Commonsense Reasoning
@incollection{Perlis87,
AUTHOR = {D. Perlis},
TITLE = {On the Consistency on Commonsense Reasoning},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {56-66},
KEYWORDS = {nonmon-reas}}
R. Reiter
A Logic for Default Reasoning
@incollection{Reiter87,
AUTHOR = {R. Reiter},
TITLE = {A Logic for Default Reasoning},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {68-93},
KEYWORDS = {nonmon-reas, user-mod}}
R. Reiter and G. Criscuolo
On Interacting Defaults
@incollection{Reiter:87,
AUTHOR = {R. Reiter and G. Criscuolo},
TITLE = {On Interacting Defaults},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {94-100},
KEYWORDS = {nonmon-reas}}
D. W. Etherington and R. Reiter
On Inheritance Hierarchies with Exceptions
@incollection{Etherington:87,
AUTHOR = {D. W. Etherington and R. Reiter},
TITLE = {On Inheritance Hierarchies with Exceptions},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {101-105},
KEYWORDS = {nonmon-reas}}
D. S. Touretzky
Implicit Ordering of Defaults in Inheritance Systems
@incollection{Touretzky87,
AUTHOR = {D. S. Touretzky},
TITLE = {Implicit Ordering of Defaults in Inheritance Systems},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {106-109},
KEYWORDS = {nonmon-reas}}
D. McDermott and J. Doyle
Non-Monotonic Logic I
@incollection{McDermott:87,
AUTHOR = {D. McDermott and J. Doyle},
TITLE = {Non-Monotonic Logic I},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {111-126},
KEYWORDS = {nonmon-reas}}
R. C. Moore
Semantical Considerations on Nonmonotonic Logic
@incollection{Moore87,
AUTHOR = {R. C. Moore},
TITLE = {Semantical Considerations on Nonmonotonic Logic},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {127-142},
KEYWORDS = {nonmon-reas}}
J. McCarthy
Circumscription: A Form of Non-Monotonic Reasoning
@incollection{McCarthy87,
AUTHOR = {J. McCarthy},
TITLE = {Circumscription: A Form of Non-Monotonic Reasoning},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {145-151},
KEYWORDS = {nonmon-reas}}
J. McCarthy
Addendum: Circumscription and Other Non-Monotonic Formalisms
@incollection{McCarthy87,
AUTHOR = {J. McCarthy},
TITLE = {Addendum: Circumscription and Other Non-Monotonic Formalisms},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {151-152},
KEYWORDS = {nonmon-reas}}
J. McCarthy
Applications of Circumscription to Formalizing Common-Sense Knowledge
@incollection{McCarthy87,
AUTHOR = {J. McCarthy},
TITLE = {Applications of Circumscription to Formalizing Common-Sense Knowledge},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {153-166},
KEYWORDS = {nonmon-reas}}
V. Lifschitz
Computing Circumscription
@incollection{Lifschitz87,
AUTHOR = {V. Lifschitz},
TITLE = {Computing Circumscription},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {167-173},
KEYWORDS = {nonmon-reas}}
D. W. Etherington and R. E. Mercer and R. Reiter
On the Adequacy of Predicate Circumscription for Closed-World Reasoning
@incollection{Etherington:87,
AUTHOR = {D. W. Etherington and R. E. Mercer and R. Reiter},
TITLE = {On the Adequacy of Predicate Circumscription for Closed-World Reasoning},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {174-178},
KEYWORDS = {nonmon-reas}}
V. Lifschitz
Pointwise Circumscription
@incollection{Lifschitz87,
AUTHOR = {V. Lifschitz},
TITLE = {Pointwise Circumscription},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {179-193},
KEYWORDS = {nonmon-reas}}
K. Konolige
On the Relation between Default and Autoepistemic Logic
@incollection{Konolige87,
AUTHOR = {K. Konolige},
TITLE = {On the Relation between Default and Autoepistemic Logic},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {195-226},
KEYWORDS = {nonmon-reas}}
Y. Shoham
A Semantical Approach to Nonmonotonic Logics
@incollection{Shoham87,
AUTHOR = {Y. Shoham},
TITLE = {A Semantical Approach to Nonmonotonic Logics},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {227-250},
KEYWORDS = {nonmon-reas}}
M. L. Ginsberg
Multi-Valued Logics
@incollection{Ginsberg87,
AUTHOR = {M. L. Ginsberg},
TITLE = {Multi-Valued Logics},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {251-255},
KEYWORDS = {nonmon-reas, user-mod}}
J. Doyle
A Truth Maintenance System
@incollection{Doyle87,
AUTHOR = {J. Doyle},
TITLE = {A Truth Maintenance System},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {259-279},
KEYWORDS = {nonmon-reas, user-mod}}
J. de Kleer
An Assumption-Based TMS
@incollection{Kleer87,
AUTHOR = {J. de Kleer},
TITLE = {An Assumption-Based TMS},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {280-297},
KEYWORDS = {nonmon-reas, user-mod}}
R. Reiter
On Closed World Data Bases
@incollection{Reiter87,
AUTHOR = {R. Reiter},
TITLE = {On Closed World Data Bases},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {300-310},
KEYWORDS = {nonmon-reas, user-mod}}
K. L. Clark
Negation as Failure
@incollection{Clark87,
AUTHOR = {K. L. Clark},
TITLE = {Negation as Failure},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {311-325},
KEYWORDS = {nonmon-reas, user-mod}}
J. Minker
On Indefinite Databases and the Closed World Assumption
@incollection{Minker87,
AUTHOR = {J. Minker},
TITLE = {On Indefinite Databases and the Closed World Assumption},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {326-333},
KEYWORDS = {nonmon-reas}}
V. Lifschitz
Closed-World Databases and Circumscription
@incollection{Lifschitz87,
AUTHOR = {V. Lifschitz},
TITLE = {Closed-World Databases and Circumscription},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {334-336},
KEYWORDS = {nonmon-reas}}
V. Lifschitz
On the Declarative Semantics of Logic Programs with Negation
@incollection{Lifschitz87,
AUTHOR = {V. Lifschitz},
TITLE = {On the Declarative Semantics of Logic Programs with Negation},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {337-350},
KEYWORDS = {nonmon-reas}}
R. Reiter
A Theory of Diagnosis from First Principles
@incollection{Reiter87,
AUTHOR = {R. Reiter},
TITLE = {A Theory of Diagnosis from First Principles},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {352-371},
KEYWORDS = {nonmon-reas}}
J. de Kleer and B. C. Wiliams
Diagnosing Multiple Faults
@incollection{Kleer:87,
AUTHOR = {J. de Kleer and B. C. Wiliams},
TITLE = {Diagnosing Multiple Faults},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {372-388},
KEYWORDS = {nonmon-reas}}
S. Hanks and D. McDermott
Default Reasoning, Nonmonotonic Logics, and the Frame Problem
@incollection{Hanks:87,
AUTHOR = {S. Hanks and D. McDermott},
TITLE = {Default Reasoning, Nonmonotonic Logics, and the Frame Problem},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {390-395},
KEYWORDS = {nonmon-reas}}
Y. Shoham
Chronological Ignorance: An Experiment in Nonmonotonic Temporal Reasoning
@incollection{Shoham87,
AUTHOR = {Y. Shoham},
TITLE = {Chronological Ignorance: An Experiment in Nonmonotonic Temporal Reasoning},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {396-409},
KEYWORDS = {nonmon-reas}}
V. Lifschitz
Formal Theories of Action
@incollection{Lifschitz87,
AUTHOR = {V. Lifschitz},
TITLE = {Formal Theories of Action},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {410-432},
KEYWORDS = {nonmon-reas}}
M. L. Ginsberg and D. E. Smith
Reasoning about Action I: A Possible Worlds Approach
@incollection{Ginsberg:87,
AUTHOR = {M. L. Ginsberg and D. E. Smith},
TITLE = {Reasoning about Action I: A Possible Worlds Approach},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {433-463},
KEYWORDS = {nonmon-reas}}
D. Perlis
A Bibliography of Literature on Non-Monotonic Reasoning
@incollection{Perlis87,
AUTHOR = {D. Perlis},
TITLE = {A Bibliography of Literature on Non-Monotonic Reasoning},
YEAR = 1987,
BOOKTITLE = {Readings in Nonmonotonic Reasoning},
EDITOR = {M. L. Ginsberg},
PUBLISHER = {Kaufmann},
ADDRESS = {Los Altos, CA},
PAGES = {466-477},
KEYWORDS = {nonmon-reas}}
Gerd Herzog
Last update: Mon Jan 20 10:26:54 MET 1997
Send comments to herzog@acm.org