Bibliography for "Foundations of Nonmonotonic Logics 2004" 

 I Nonmonotonic Reasoning, first generation.

a) The basic papers


@incollection{Rei:CWA,
	author = {Raymond Reiter},
	title = {On Closed World Data Bases},
	booktitle = {Logic and Data Bases},
	publisher = {Plenum},
	year = "1978",
	editor = {H. Gallaire and J. Minker},
	pages = "55--76",
	address = {New York / London}
}

@incollection {Clark:78,
	author = "Keith L. Clark",
	title = {Negation as Failure},
	booktitle = "Logics and Data Bases",
	editor = "H. Gallaire and J. Minker",
	publisher = "Plenum Press",
	pages = "293--322",
	year = "1978"}

@article {McCarthy:80,
	author = "John McCarthy",
	title = {Circumscription, a Form of Non Monotonic Reasoning},
	journal = "Artificial Intelligence",
	volume ="13",
	pages ="27--39",
	year = "1980"
}

@article {McDer:80,
	author = "Drew McDermott and Jon Doyle",
	title = "Non-monotonic Logic {I}",
	journal = "Artificial Intelligence",
	volume ="13",
	pages ="41--72",
	year = "1980"
}

@article {Reiter:80,
	author = "Raymond Reiter",
	title = {A Logic for Default Reasoning},
	journal = "Artificial Intelligence",
	volume ="13",
	pages ="81--132",
	year= "1980"
}

@inproceedings {ReiterCri:81,
	author = "Raymond Reiter and Giovanni Criscuolo",
	title = "On Interacting Defaults",
	booktitle = "Proceedings of the Seventh IJCAI Conference",
	pages = "270--276",
	year = "1981",
	address = "Vancouver, Canada",
	editor = "Ann Drinan",
	month = "August"	
}

@article {ReiterCri:83, 
	title = "Some representational issues in default reasoning",
        author = "Raymond Reiter and Giovanni Criscuolo",
        pages = {15--27},
        journal = "International Journal of Computers and Mathematics with
Applications",
        volume = 9,
        year = 1983}


b) Reflection on, Introduction and Reviews to this first generation

@inproceedings{Isr:80,
	author = {David J. Israel},
	title = {What's Wrong with Nonmonotonic Logic?},
	year = "1980",
	booktitle = {Proceedings of the AAAI National Conference},
	pages = "99--101"
}	

@inbook{Gins:87,
	author = {Matthew L. Ginsberg},
	title = {Readings in Nonmonotonic Reasoning},
	chapter = {1},
	pages = "1--23",
	publisher = {Morgan Kaufmann},
	year = "1987",
	address = "Los Altos, CA"
}


@inbook {Reiter:87,
	author = "Raymond Reiter",
	title = "Nonmonotonic Reasoning",
	pages = "147--186",
	publisher = "Annual Reviews Inc.",
	year = "1987",
	volume = "2",
	series = "Annual Reviews in Computer Science"
}

	II Theory Revision

a) The basic papers

@article{AM:82,
	author = {Alchourr\'{o}n, C. A. and Makinson, D.},
	title = {On the Logic of Theory Change: Contraction Functions and
their associated revision functions},
	year = "1982",
	journal = {Theoria},
	volume = "48",
	pages = "14--37"
}

@article{AGM:85,
	author = {Alchourr\'{o}n, C.A. and G\"{a}rdenfors, P. and Makinson, D.},
	title = {On the Logic of Theory Change: partial meet contraction and
	revision functions},
	year = "1985",
	journal = {The Journal of Symbolic Logic},
	volume = "50",
	pages = "510--530"
}

@article{AM:85,
	author = {Alchourr\'{o}n, C. A. and Makinson, D.},
	title = {The Logic of Theory Change: Safe Contraction},
	year = "1985",
	journal = {Studia Logica},
	volume = "44",
	pages = "405--422"
}

@article {Grove:88,
	author = "Adam Grove",
	title = "Two Modellings for Theory Change",
	journal = "Journal of Philosophical Logic",
	year = "1988",
	volume = "17",
	pages = "157--170"
}

@Article{DarwPearl:AIJ,
  author = 	 {Adnan Darwiche and Judea Pearl},
  title = 	 {On the Logic of Iterated Belief Revision},
  journal = 	 {Artificial Intelligence},
  year = 	 1997,
  volume =	 89,
  number =	 {1--2},
  pages =	 {1--29}
}


@Unpublished{Lehmandstud:97,
  author = 	 {Daniel Lehmann and students},
  title = 	 {A Note on Darwiche and Pearl},
  note = 	 {Course note for Advanced AI Seminar Spring 97},
  year =	 1997,
  note =         "CoRR: cs.AI/0202024",
  month =	 {April}
}


b) Book


@book	{Gardenfors:Flux,
	author = {Peter G\"{a}rdenfors},
	title = {Knowledge in Flux: Modeling the Dynamics of Epistemic
States},
	year = 1988,
	publisher = {MIT Press, Bradford Books},
	address = {Cambridge, MA}
}

c) Introduction and Review articles

@InCollection{Gard:intro,
  author = 	 {Peter G\"{a}rdenfors},
  title = 	 "Belief Revision: An Introduction",
  booktitle =	 "Belief Revision",
  publisher =	 "Cambridge University Press",
  year =	 1992,
  editor = 	 {Peter G\"{a}rdenfors},
  number =	 29,
  series =	 "Cambridge Tracts in Theoretical Computer Science",
  pages =	 "1--28"
}

@InCollection{GardRott:hand,
  author = 	 {Peter G\"{a}rdenfors and Hans Rott},
  title = 	 {Belief Revision},
  booktitle = 	 {Handbook of Logic in Artificial Intelligence and Logic Programming},
  publisher =	 {Oxford University Press},
  year =	 1994,
  editor =	 {D. M. Gabbay and C. J. Hogger and J. A. Robinson},
  volume =	 {4, Epistemic and Temporal Reasoning},
  pages =	 {35--132}
}

d) Critique


@InCollection{FriedHalp:critique,
  author = 	 "Nir Friedman and Joseph Y. Halpern",
  title = 	 "Belief Revision: A Critique",
  booktitle =	 "Proceedings of the Fifth International Conference on
		  Principles of Knowledge Representation and
		  Reasoning, KR'96",
  publisher =	 "Morgan Kaufmann",
  year =	 1996,
  editor =	 "Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro",
  pages =	 "421--431",
  address =	 "Cambridge, Mass.",
  month =	 "November"
}

	III Nonmonotonic Resoning, second generation

a) Introduction and Survey

@InCollection{Mak:Handbook,
	author = "David Makinson",
	booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming},
        title = "General Patterns in Nonmonotonic Reasoning",
	year = 1994,
	publisher = "Oxford University Press",
	editor = "D. M. Gabbay and C. J. Hogger and J. A. Robinson",
	volume = {3, Nonmonotonic and Uncertain Reasoning},
        pages = {35--110}
}

b) Research Papers


@article{KLMAI:89,
	author = "Sarit Kraus and Daniel Lehmann and Menachem Magidor",
	title = "Nonmonotonic Reasoning, Preferential Models and Cumulative Logics",
	journal = "Artificial Intelligence",
	year = "1990",
	volume = "44",
	number = "1--2",
	month = "July",
        note = "CoRR: cs.AI/0202021",
	pages = "167--207"
}

@article {LMAI:92,
	author = {Daniel Lehmann and Menachem Magidor},
	title = {What does a Conditional Knowledge Base Entail?},
	year = "1992",
	volume = "55",
	number = "1",
	pages = "1--60",
	month = "May",
        note = "CoRR: cs.AI/0202022",
	journal = {Artificial Intelligence}
}


@Article{LMAI:erratum,
  author = 	 "Daniel Lehmann and Menachem Magidor",
  title = 	 "What does a Conditional Knowledge Base Entail?",
  journal = 	 "Artificial Intelligence",
  year = 	 1994,
  volume = 	 68,
  pages =	 411,
  note =	 "Erratum"
}


@article	{FLMo:91,
	author = {Michael Freund and Daniel Lehmann and Paul H. Morris},
	title = {Rationality, Transitivity, and Contraposition},
	year = "1991",
	note = "Research Note",
	journal = "Artificial Intelligence",
	volume = "52",
	number = "2",
	month = "December",
	pages = "191--203"
}

@article{FL:IGPL,
	author = {Michael Freund and Daniel Lehmann},
	title = {Nonmonotonic Inference Operations},
	journal = {Bulletin of the IGPL},
	volume = "1",
	year = "1993",
	number = "1",
	month = "July",
	note = {Produced by the Max-Planck-Institut f\"{u}r Informatik,
Im Stadtwald, D-66123 Saarbr\"{u}cken, Germany},
	pages = "23--68"
}

@article{FL:Studia,
	author = {Michael Freund and Daniel Lehmann},
	title = {Nonmonotonic Reasoning: from Finitary Relations to Infinitary 
Inference Operations},
	journal = {Studia Logica},
	year = "1994",
        volume = {53},
        number = {2},
        pages = {161--201}
}



@article{Schle:91,
	author = {Karl Schlechta},
	title = {Some Results on Classical Preferential Models},
	journal = {Journal of Logic and Computation},
	volume = "2",
	number = "6",
	year = {1992},
        pages = {675--686}
}


@Article{Sclechta:96,
  author = 	 {Karl Schlechta},
  title = 	 {Some Completeness Results for Stoppered and Ranked Classical
 Preferential Models},
  journal = 	 {Journal of Logic and Computation},
  year = 	 1996,
  volume =	 6,
  number =	 {4--6},
  pages =	 {599--622}
}


@Article{Leh:Ster,
  author = 	 {Daniel Lehmann},
  title = 	 {Stereotypical Reasoning: Logical Properties},
  journal = 	 {Logic Journal of the Interest Group in Pure
and Applied Logics (IGPL)},
  year = 	 1998,
  volume =	 6,
  number =	 1,
  pages =	 {49--58}
}

@Book{Bochman:book,
  author =	 {Alexander Bochman},
  title = 	 {A Logical Theory of Nonmonotonic Inference and Belief Change},
  publisher = 	 {Springer Verlag},
  year = 	 2001,
  series =	 {Artificial Intelligence}
}

@Article{EngGabbay:Quantum,
  author = 	 {K. Engesser and D.M. Gabbay},
  title = 	 {Quantum Logic, {Hilbert} space, Revision Theory},
  journal = 	 {Artificial Intelligence},
  year = 	 2002,
  volume =	 136,
  number =	 1,
  pages =	 {61--100},
  month =	 {March}
}