Circumscription References
From TAMI
@incollection{mccarthy1987,
author = {McCarthy, John},
title = "{Circumscription\—a Form of Non-monotonic Reasoning}",
booktitle = "{Readings in Non-monotonic Reasoning}",
year = {1987},
}
@inproceedings{mccarthy1979,
author = {John Mccarthy},
title = "{First Order Theories Of Individual Concepts And Propositions}",
booktitle = "{Machine Intelligence}",
year = {1979},
pages = {129--147},
publisher = {Edinburgh University Press}
}
@INPROCEEDINGS{mccarthy1999,
author = {John McCarthy},
title = "{Elaboration Tolerance}",
booktitle = {Proceedings of Common Sense},
year = {1999},
url = \url{http://www.formal.stanford.edu/jmc/elaboration.html}
}
@inproceedings{lifschitz1985,
author = {Lifschitz, Vladimir},
title = "{Computing Circumscription}",
booktitle = "{Proceedings of the 9th International Joint Conference on Artificial Intelligence - Volume 1}",
year = {1985},
}
@incollection{lifschitz1987,
author = {Lifschitz, Vladimir},
title = "{Pointwise Circumscription}",
book = "{Readings in Non{-}monotonic Reasoning}",
year = {1987},
pages = {179--193},
publisher = {Morgan Kaufmann Publishers Inc.},
address = {San Francisco, CA, USA},
}
@incollection{lifschitz1994,
author = {Lifschitz, Vladimir},
title = "{Circumscription}",
book = "{Handbook of Logic in Artificial Intelligence and Logic Programming (vol. 3)},
year = {1994},
publisher = {Oxford University Press, Inc.},
}
@ARTICLE{lifschitz1995,
author = {Lifschitz, Vladimir},
title = "{Nested Abnormality Theories}",
journal = "{Artificial Intelligence}",
year = {1995},
volume = {74},
pages = {351--365}
}
@ARTICLE{perlis1988,
author = {Donald Perlis},
title = {Autocircumscription},
journal = {Artificial Intelligence},
year = {1988},
volume = {36},
pages = {22323--6}
}
@inproceedings{shanahan1990,
author = {Murray Shanahan},
title = "{Representing Continuous Change in The Event Calculus}",
booktitle = {Proceedings of the 9th European Conference on Artificial Intelligence}
year = {1990}
pages = {598--603}
}
@book{shanahan1997,
author = {Shanahan, Murray},
title = "{Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia}",
year = {1997},
publisher = {MIT Press},
}
@inproceedings{shanahan1999,
author = {Shanahan, Murray},
title = "{The Ramification Problem in the Event Calculus}",
booktitle = "{Proceedings of the 16th International Joint Conference on Artificial intelligence - Volume 1}",
year = {1999},
pages = {140--146},
}
@inproceedings{miller2002,
author = {Miller, Rob and Shanahan, Murray},
title = "{Some Alternative Formulations of the Event Calculus}",
booktitle = "{Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II}",
year = {2002},
publisher = {Springer-Verlag},
}
@inproceedings{miller1996a,
author = {Rob Miller and Murray Shanahan},
title = "{Reasoning about Discontinuities in the Event Calculus}",
booktitle = "{Principles of Knowledge Representation and Reasoning (KR)}",
year = {1996}
}
@inproceedings{miller1996b,
author = {Rob Miller},
title = "{A Case Study in Reasoning about Actions and Continuous Change}",
booktitle = "{European Conference on Artificial Intelligence (ECAI)}",
year = {1996},
publisher = {John Wiley & Sons}
}
@article{baker1991,
author = {Andrew B. Baker},
title = "{Nonmonotonic Reasoning in the Framework of Situation Calculus}",
journal = "{Artificial Intelligence}",
year = {1991},
volume = {49},
pages = {5--23}
}
@article{perlis1987,
author = {Donald Perlis},
title = "{Circumscribing with Sets}",
journal = "{Artificial Intelligence}",
volume = {31},
issue = {2},
month = {February},
year = {1987},
pages = {201--211},
}
@article {przymusinski1989,
author = {Przymusinski, Teodor C.},
title = "{On the Declarative and Procedural Semantics of Logic Programs}",
journal = "{Journal of Automated Reasoning}",
pages = {167-205},
volume = {5},
issue = {2},
year = {1989}
}
@inproceedings{clark1978,
author = {Kieth L. Clark},
title = "{Negation as Failure}",
booktitle = "{Logic and Databases}",
year = {1978},
}
@inproceedings{ferraris2010,
author={Paolo Ferraris and Vladimir Lifschitz},
title = "{On the Stable Model Semantics of First-Order Formulas with Aggregates}",
booktitle= {Proceedings of the 2010 Workshop on Nonmonotonic Reasoning},
year={2010}
}
@inbook{bartholomew2011,
author= {Bartholomew, Michael and Lee, Joohyung and Meng, Yunsong},
title = "{First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription}",
booktitle = {2011 AAAI Spring Symposium Series},
year={2011},
}
@incollection{lifschitz2008,
author = "{Vladimir Lifschitz and Leora Morgenstern and David Plaisted}"
title = "{Chapter 1 Knowledge Representation and Classical Logic}",
editor = "{Frank van Harmelen and Vladimir Lifschitz and Bruce Porter}",
booktitle = "{Handbook of Knowledge Representation}",
publisher = "Elsevier",
year = "2008",
volume = "3",
pages = "3 - 88",
series = "{Foundations of Artificial Intelligence}",
}
@inproceedings{sandewall1989a,
author = {Sandewall, Erik},
title = "{Combining Logic and Differential Equations for Describing Real-world Systems}",
booktitle = "{Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning}",
year = {1989},
pages = {412--420},
publisher = {Morgan Kaufmann Publishers Inc.},
}
@inproceedings{sandewall1989b,
author = {Sandewall, Erik},
title = "{Filter Preferential Entailment for the Logic of Action in almost Continuous Worlds}",
booktitle = {Proceedings of the 11th International Joint Conference on Artificial Intelligence - Volume 2},
year = {1989},
publisher = {Morgan Kaufmann Publishers Inc.},
}
@inproceedings{belleghem1994,
author = {Kristof Van Belleghem and Marc Denecker and Danny De Schreye},
title = "{Representing Continuous Change in the Abductive Event Calculus}",
booktitle = {Proceedings of the International Conference on Logic Programming},
year = {1994},
pages = {225--240}
}
@inproceedings{reiter1996,
author = {Raymond Reiter},
title = "{Natural Actions, Concurrency and Continuous Time in the Situation Calculus}",
booktitle = "{Principles of Knowledge Representation and Reasoning (KR)}",
year = {1996},
pages = {2--13},
}
@inproceedings{baral1996,
author = {Chitta Baral and Alfredo Gabaldon and Alessandro Provetti},
title = "{Value Minimization in Circumscription}",
booktitle = "{Principles of Knowledge Representation and Reasoning (KR)}",
year = {1996}
}
@misc{khandelwal2011,
author = {Ankesh Khandelwal},
title = {Longer version of "General Description of Cumulative Effects via Aggregates in the Event Calculus"},
howpublished = {http://tw.rpi.edu/proj/tami/EC\_Additive\_Effects\_Independently},
year = {2011},
}
