. German Research Center for Artificial Intelligence GmbH


LIDOS BibTeX Database File
Kyburg_a26299-314.bib

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