%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                          %
%       Publications on the Event Calculus and related subjects.           %
%                                                                          %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Editor: Iliano Cervesato, iliano at cs.cmu.edu
Last Updated: Wed Apr 19 1995
Size: 326 entries

This, like any bibliography, is incomplete.  Any corrections, updates,
comments, suggestion, new entries, new URL's for papers, etc. are very much
appreciated.

Entry Names: Last name of the first author, followed by year of publication.
  If this is ambiguous, we added a descriptive suffix (e.g. lics, cade,
  tr [techreport], phd [phdthesis]).  If it's still ambiguous we added
  a single letter a, b, etc.

Field Format: All fields are delimited by double-quotes or single symbols.
  This tremendously simplifies various Emacs functions for search and display.
  Diacritical marks must therefore be enclosed in {} so that BibTeX is not
  confused about the extent of the field (e.g. "Bengt Nordstr{\"o}m").

Strings: We did not use any strings or abbreviations so that each entry is
  self-contained and may be copied to other bibliography files.

urlps = "..."  If the paper is available on the World-Wide Web in (compressed)
  POSTSCRIPT format, this is the URL to locate it.  All standard bibliography
  styles ignore this field. We have a style which uses it to produce an
  appropriate hypertext reference for later conversion to HTML.

urldvi = "..."  If the paper is available on the World-Wide Web in (compressed)
  DVI format, this is the URL to locate it.  All standard bibliography styles
  ignore this field. We have a style which uses it to produce an appropriate
  hypertext reference for later conversion to HTML.

urlnote = "..."  If the paper or some document related to it (code, HTML page,
  etc.) is available on the World-Wide Web in a format different from DVI or
  POSTSCRIPT, this is the URL to locate it.  All standard bibliography styles
  ignore this field. We have a style which uses it to produce an appropriate
  hypertext reference for later conversion to HTML. It is possible to take
  advantage of this field by means of the macro "\href{<hyperlink>}{text}"
  that will wrap <hyperlink> around <text>.

url = "..."  If the paper is available on the World-Wide Web, this is the URL
  to locate it. Whenever available, (compressed) postscript versions were
  prefered.  All standard bibliography styles ignore this field. We have a
  style which uses it to produce an appropriate hypertext reference for later
  conversion to HTML. This field is defined only for backward compatibility.

url2 = "..." This field contains alternate URLs. It is not currently used.

author = "..."  Full names as far as available in <initials> <last name>
  format. Authors are listed in alphabetical order.

title = "..." Capitalized according to standard (American?) convention.  This
  will be de-capitalized for most bibliography styles as appropriate.

booktitle = "..."  For conferences we used "Proceedings of the ..." instead of
  the way the title sometimes appears on the cover ("Automated Deduction, 11th
  International Conference, Proceedings")

month = ...  Here is recently changed to using standard abbreviations
  jan feb mar apr may jun jul aug sep oct nov dec as recommended in the
  BibTeX documentation, since it allows uniform formatting in different
  styles.

year = "..." For a conference, the year of the conference and not necessarily
  the year in which the proceedings appeared.

address = "..." For a conference or workshop, the location where it was held.
  Otherwise the address of the publisher or institution.

publisher = "..." For Springer lecture notes we used "Springer-Verlag LNCS nnn"
  instead of the cumbersome and verbose series and number fields.


@Article{Boddy93sigart,
  author       = "M. Boddy",
  title        = "Temporal Reasoning for Planning and Reasoning",
  journal      = "SIGART Bulletin",
  year         = 1993,
  volume       = 4,
  pages        = "17--20"
}

@Article{Cervesato93jic,
  author       = "Iliano Cervesato and Angelo Montanari and Alessandro
                  Provetti",
  title        = "On the Non-Monotonic Behavior  of the Event Calculus
                  for Deriving Maximal Time Intervals",
  journal      = "International Journal on Interval Computations",
  year         = 1993,
  volume       = 2,
  pages        = "83--119",
  url          = "http://www.cs.cmu.edu/~iliano/papers/jic93.ps.gz",
  extra        = "\subsubsection*{Conferences}"
}

@InProceedings{Cervesato94gulp,
  author       = "Iliano Cervesato and Luca Chittaro and Angelo Montanari",
  title        = "What the Event Calculus does and how to do it
                  efficiently",
  editor       = "M. Apuente and R. Barbuti and I. Ramos",
  pages        = "336--350",
  booktitle    = "Proceedings of the 1994 Joint Conference on
                  Declarative Programming --- GULP-PRODE'94",
  year         = 1994,
  address      = "Pe{\~n\'\i}scola, Spain",
  month        = "19--22 September",
  url          = "http://www.cs.cmu.edu/~iliano/papers/gulp94.ps.gz"
}

@TechReport{Cervesato94tr,
  author       = "Iliano Cervesato and Luca Chittaro and Angelo Montanari",
  title        = "Modal Event Calculus in {L}olli",
  institution  = "Department of Computer Science, Carnegie Mellon
                  University",
  year         = 1994,
  number       = "CMU-CS-94-198",
  address      = "Pittsburgh, PA",
  month        = sep,
  url          = "http://www.cs.cmu.edu/~iliano/papers/cmu-cs-94-198.ps.gz"
}

@InProceedings{Cervesato94ilps,
  author       = "Iliano Cervesato and Luca Chittaro and Angelo Montanari",
  title        = "Modal Event Calculus",
  editor       = "M. Bruynooghe",
  pages        = 675,
  booktitle    = "Proceedings of the International Logic Programming
                  Symposium 1994 --- ILPS'94",
  year         = 1994,
  publisher    = "MIT Press",
  address      = "Ithaca, NY",
  month        = "14--17 November",
  url          = "http://www.cs.cmu.edu/~iliano/papers/ilps94.ps.gz"
}

@InProceedings{Cervesato95time,
  author       = "Iliano Cervesato and Luca Chittaro and Angelo Montanari",
  title        = "Speeding up temporal reasoning by exploiting the
                  notion of kernel of an ordering relation",
  editor       = "S.D. Goodwin and H.J. Hamilton",
  pages        = "73--80",
  booktitle    = "Proceedings of the Second International Workshop on
                  Temporal Representation and Reasoning --- TIME'95",
  year         = 1995,
  address      = "Melbourne Beach, FL",
  month        = "26 April",
  url          = "http://www.cs.cmu.edu/~iliano/papers/time95.ps.gz"
}

@InProceedings{Cervesato95iclp,
  author       = "Iliano Cervesato and Luca Chittaro and Angelo Montanari",
  title        = "A Modal Calculus of Partially Ordered Events in a
                  Logic Programming Framework",
  editor       = "L. Sterling",
  pages        = "299--313",
  booktitle    = "Proceedings of the Twelfth International Conference
                  on Logic Programming --- ICLP'95",
  year         = 1995,
  publisher    = "MIT Press",
  address      = "Kanagawa, Japan",
  month        = "13--16 June",
  url          = "http://www.cs.cmu.edu/~iliano/papers/iclp95.ps.gz"
}

@InProceedings{Cervesato96ecai,
  author       = "Iliano Cervesato and Luca Chittaro and Angelo Montanari",
  title        = "A General Modal Framework for the Event Calculus and its
                  Skeptical and Credulous Variants",
  editor       = "W. Wahlster",
  booktitle    = "Proceedings of the Twelfth European Conference on Artificial
                  Intelligence --- ECAI'96",
  year         = 1996,
  publisher    = "John Wiley \& Sons",
  address      = "Budapest, Hungary",
  month        = "12--16 August",
  pages        = "33--37",
  note         = "Extended version in \cite{Cervesato96tr}",
  url          = "http://www.cs.cmu.edu/~iliano/papers/ijcai96.ps.gz"
}

@TechReport{Cervesato96tr,
  author       = "Iliano Cervesato and Luca Chittaro and Angelo Montanari",
  title        = "A General Modal Framework for the Event Calculus and its
                  Skeptical and Credulous Variants",
  institution  = "Dipartimento di Matematica e Informatica,
		  Universit\`a di Udine",
  year         = 1996,
  number       = "37/96-RR",
  month        = jul,
  note         = "Submitted for publication",
  url          = "http://www.cs.cmu.edu/~iliano/papers/udmi-37_96.ps.gz"
}

@InProceedings{Cervesato97time,
  author       = "Iliano Cervesato and Massimo Franceschet and Angelo
		  Montanari",
  title        = "Modal Event Calculi with Preconditions",
  editor       = "R. Morris and L. Khatib",
  booktitle    = "Fourth International Workshop on Temporal
		  Representation and Reasoning --- TIME'97",
  year         = 1997,
  address      = "Daytona Beach, FL",
  month        = "10--11 May",
  pages        = "38--45",
  publisher    = "IEEE Computer Society Press",
  url          = "http://www.cs.cmu.edu/~iliano/papers/time97.ps.gz"
}

@InProceedings{Cervesato97iclp,
  author       = "Iliano Cervesato and Massimo Franceschet and Angelo
		  Montanari",
  title        = "The Complexity of Model Checking in Modal Event
		  Calculi",
  editor       = "L. Naish",
  booktitle    = "Fourteenth International Conference on Logic
		  Programming --- ICLP'97",
  year         = 1997,
  publisher    = "MIT Press",
  address      = "Leuven, Belgium",
  month        = "8--12 July",
  note         = "To appear"
}

@InProceedings{Cervesato97ictl,
  author       = "Iliano Cervesato and Massimo Franceschet and Angelo
		  Montanari",
  title        = "A Hierarchy of Modal Event Calculi: Expressiveness
		  and Complexity ",
  editor       = "H. Barringer and M. Fisher and D. Gabbay and and G. Gough",
  booktitle    = "Proceedings of the Second International Conference
		  on Temporal Logic --- ICTL'97",
  year         = 1997,
  pages        = "1--17",
  publisher    = "Kluwer, Applied Logic Series",
  address      = "Manchester, England",
  month        = "14--18 July",
  note         = "To appear"
}

@TechReport{Chittaro93tr,
  author       = "Luca Chittaro and Angelo Montanari",
  title        = "Facing Efficiency and Looping Problems of the Event Calculus
		  through Caching",
  institution  = "Dipartimento di Informatica e Matematica, Universit\`a di
		  Udine",
  year         = 1993,
  type         = "Research Report",
  number       = "RR18/93",
  month        = nov
}

@InProceedings{Chittaro94ecai,
  author       = "Luca Chittaro and Angelo Montanari and Alessandro Provetti",
  title        = "Skeptical and Credulous Event Calculi for Supporting Modal
		  Queries",
  editor       = "A. Cohn",
  pages        = "361--365",
  booktitle    = "Proceedings of the Eleventh European Conference on
		  Artificial Intelligence --- ECAI'94",
  year         = 1994,
  publisher    = "John Wiley \& Sons"
}

@InCollection{Chittaro95,
  author       = "Luca Chittaro and Angelo Montanari and Elisa Peressi",
  title        = "An Integrated Framework for Temporal Aggregation and
		  Omission in the Event Calculus",
  booktitle    = "Applications of Artificial Intelligence in Engineering X,
		  Computational Mechanics",
  year         = 1995,
  editor       = "R. Adey and G. Rzevski and C. Tasso",
  pages        = "47--54"
}

@Article{Chittaro96cij,
  author       = "Luca Chittaro and Angelo Montanari",
  title        = "Efficient Temporal Reasoning in the Cached Event Calculus",
  journal      = "Computational Intelligence Journal",
  volume       = 12,
  number       = 3,
  year         = 1996,
  pages        = "359--382"
}

@Article{Dean88ai,
  author       = "T. Dean and M. Boddy",
  title        = "Reasoning about Partially Ordered Events",
  journal      = "Artificial Intelligence",
  year         = 1988,
  volume       = 36,
  pages        = "375--399"
}

@InProceedings{Denecker92ecai,
  author       = "M. Denecker and L. Missiaen and Maurice Bruynooghe",
  title        = "Temporal Reasoning with Abductive Event Calculus",
  editor       = "B. Neumann",
  pages        = "384--388",
  booktitle    = "Proceedings of the Tenth European Conference on
		  Artificial Intelligence --- ECAI'92",
  year         = 1992,
  publisher    = "John Wiley \& Sons"
}

@Misc{Franceschet96laurea,
  author       = "Massimo Franceschet",
  title        = "Una Gerarchia di Calcoli Modali degli Eventi: Espressivit\`a
		  e Complessit\`a (in {I}talian)",
  howpublished = "Tesi di Laurea in Informatica, Universit\`a di Udine,
		  Italy",
  year         = 1996,
  note         = "To appear as a Research Report in English"
}

@InProceedings{Chittaro93gulp,
  author       = "Luca Chittaro and Angelo Montanari",
  title        = "Reasoning about Discrete Processes in a Logic Programming
		  Framework",
  editor       = "D. Sacc\`a",
  pages        = "407--421",
  booktitle    = "Proceedings of the Eight Conference on Logic Programming ---
		  GULP'93",
  year         = 1993,
  publisher    = "Mediterranean Press",
  address      = "Gizzieria Lido, Italy"
}

@InProceedings{Eshghi88iclp,
  author       = "K. Eshghi",
  title        = "Abductive Planning with Event Calculus",
  pages        = "562--579",
  booktitle    = "Proceedings of the Fifth International Conference on Logic
		  Programming --- ICLP'88",
  year         = 1988,
  publisher    = "MIT Press",
  address      = "Seattle, WA"
}

@InProceedings{Evans91pricai,
  author       = "C. Evans",
  title        = "The Macro-Event Calculus: Representing Temporal
		  Granularity",
  booktitle    = "Proceedings of the Pacific Rim International Conference on
		  Artificial Intelligence --- PRICAI'90",
  year         = 1990,
  publisher    = "IOS Press",
  address      = "Nagoya, Japan"
}

@Article{Kowalski92jlp,
  author       = "Robert Kowalski",
  title        = "Database Updates in the Event Calculus",
  journal      = "Journal of Logic Programming",
  year         = 1992,
  volume       = 12,
  pages        = "121--146"
}

@Article{Kowalski86ngc,
  author       = "Robert Kowalski and Marek Sergot",
  title        = "A Logic-Based Calculus of Events",
  journal      = "New Generation Computing",
  year         = 1986,
  volume       = 4,
  pages        = "67--95"
}

@InProceedings{Montanari92fgcs,
  author       = "Angelo Montanari and E. Maim and E. Ciapessoni and
		  E. Ratto",
  title        = "Dealing with Time Granularity in the Event Calculus",
  pages        = "702--712",
  booktitle    = "Proceedings of the ?? Conference on Fifth Generation
		  Computer Systems --- FGCS'92",
  year         = 1992,
  address      = "Tokyo, Japan"
}

@InProceedings{Shanahan89ijcai,
  author       = "M. P. Shanahan",
  title        = "Prediction is Deduction but Explanation is Abaduction",
  pages        = "1050--1055",
  booktitle    = "Proceedings of the Eleventh International Joint Conference
		  on Artificial Intelligence --- IJCAI'89",
  year         = 1989,
  address      = "Detroit, MI"
}

@InProceedings{Shanahan90ecai,
  author       = "M. P. Shanahan",
  title        = "Representation of Continuous Change in the Event Calculus",
  pages        = "598--603",
  booktitle    = "Proceedings of the Nineth Conference on Artificial
		  Intelligence --- ECAI'90",
  year         = 1990,
  address      = "Stockholm, Sweden"
}