.
German Research Center for Artificial Intelligence GmbH
D. Nute
Defeasible Logic and the Frame Problem
@incollection{Nute90,
AUTHOR = {D. Nute},
TITLE = {Defeasible Logic and the Frame Problem},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {3-22},
KEYWORDS = {}}
L. Schubert
Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions
@incollection{Schubert90,
AUTHOR = {L. Schubert},
TITLE = {Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {23-68},
KEYWORDS = {}}
H. Geffner and J. Pearl
A Framework for Reasoning with Defaults
@incollection{Geffner:90,
AUTHOR = {H. Geffner and J. Pearl},
TITLE = {A Framework for Reasoning with Defaults},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {69-88},
KEYWORDS = {}}
J. M. Dunn
The Frame Problem and Relevant Predication
@incollection{Dunn90,
AUTHOR = {J. M. Dunn},
TITLE = {The Frame Problem and Relevant Predication},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {89-98},
KEYWORDS = {}}
D. Perlis
Thing and Thought
@incollection{Perlis90,
AUTHOR = {D. Perlis},
TITLE = {Thing and Thought},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {99-118},
KEYWORDS = {}}
B. Gillon
Bare Plurals as Plural Indefinite Noun Phrases
@incollection{Gillon90,
AUTHOR = {B. Gillon},
TITLE = {Bare Plurals as Plural Indefinite Noun Phrases},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {119-166},
KEYWORDS = {}}
N. Belnap and M. Perloff
Seeing to it that: A Canonical Form for Agentives
@incollection{Belnap:90,
AUTHOR = {N. Belnap and M. Perloff},
TITLE = {Seeing to it that: A Canonical Form for Agentives},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {167-190},
KEYWORDS = {}}
A. McCafferty
Speaker Plans, Linguistic Context, and Indirect Speech Acts
@incollection{McCafferty90,
AUTHOR = {A. McCafferty},
TITLE = {Speaker Plans, Linguistic Context, and Indirect Speech Acts},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {191-222},
KEYWORDS = {}}
C. Cross
Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test
@incollection{Cross90,
AUTHOR = {C. Cross},
TITLE = {Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {223-244},
KEYWORDS = {}}
J. Pearl
Jeffrey's Rule, Passage of Experience, and Neo-Bayesianism
@incollection{Pearl90,
AUTHOR = {J. Pearl},
TITLE = {Jeffrey's Rule, Passage of Experience, and Neo-Bayesianism},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {245-266},
KEYWORDS = {}}
T. Seidenfeld
Two Perspectives on Consensus for (Bayesian) Inference and Decisions
@incollection{Seidenfeld90,
AUTHOR = {T. Seidenfeld},
TITLE = {Two Perspectives on Consensus for (Bayesian) Inference and Decisions},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {267-286},
KEYWORDS = {}}
H. Leblanc and P. Roeper
Conditionals and Conditional Probabilities: Three Triviality Theorems
@incollection{Leblanc:90,
AUTHOR = {H. Leblanc and P. Roeper},
TITLE = {Conditionals and Conditional Probabilities: Three Triviality Theorems},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {287-308},
KEYWORDS = {}}
B. Carpenter and R. Thomason
Inheritance Theory and Path-Based Reasoning: An Introduction
@incollection{Carpenter:90,
AUTHOR = {B. Carpenter and R. Thomason},
TITLE = {Inheritance Theory and Path-Based Reasoning: An Introduction},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {309-344},
KEYWORDS = {}}
R. Loui
Defeasible Specification of Utilities
@incollection{Loui90,
AUTHOR = {R. Loui},
TITLE = {Defeasible Specification of Utilities},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {345-360},
KEYWORDS = {}}
R. Giles
Introduction to a Logic of Assertions
@incollection{Giles90,
AUTHOR = {R. Giles},
TITLE = {Introduction to a Logic of Assertions},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {361-386},
KEYWORDS = {}}
R. Aleliunas
A New Normative Theory of Probablistic Logic
@incollection{Aleliunas90,
AUTHOR = {R. Aleliunas},
TITLE = {A New Normative Theory of Probablistic Logic},
YEAR = 1990,
BOOKTITLE = {Knowledge Representation and Defeasible Reasoning},
EDITOR = {H. E. Kyburg and R. P. Loui and G. N. Carlson},
PUBLISHER = {Kluwer},
ADDRESS = {Boston},
PAGES = {387-404},
KEYWORDS = {}}
Gerd Herzog
Last update: Mon Jan 20 10:27:15 MET 1997
Send comments to herzog@acm.org