List of contents of
the Proceedings of the
Formalization of Commonsense Reasoning,
1998 (FCS-98)
- c-fcs-98-1
- Grigoris Antoniou, D. Billington, and M.J. Mahler:
Sceptical logic programming based default reasoning - Defeasible logic
rehabilitated.
Pages 1-19.
- c-fcs-98-20
- Yves Moinard and Raymond Rolland:
Circumscriptions from what they cannot do (preliminary report).
Pages 20-41.
- c-fcs-98-42
- Peter Grünwald:
Ramifications and sufficient causes.
Pages 42-55.
- c-fcs-98-56
- Eyal Amir:
Point-Sensitive Circumscription.
Pages 56-74.
- c-fcs-98-75
- Fausto Giunchiglia and Chiara Ghidini:
Local Model Semantics, or Contextual Reasoning = Locality + Compatibility.
Pages 75-86.
- c-fcs-98-87
- François Lévy and J. Joachim Quantz:
Representing Beliefs in a Situated Event Calculus.
Pages 87-98.
- c-fcs-98-99
- Graham White:
Balls and Strings: Simulations and Theories.
Pages 99-113.
- c-fcs-98-114
- Gianni Amati and Fiora Pirri:
Contexts as relativized definitions: a formalization via fixed points.
Pages 114-125.
- c-fcs-98-126
- Emilio Remolina and Benjamin Kuipers:
Towards a formalization of the Spatial Semantic Hierarchy.
Pages 126-137.
- c-fcs-98-138
- Philippe Balbiani and Luis Fariñas del Cerro:
A relational model of movement.
Pages 138-145.
- c-fcs-98-146
- Sven Ove Hansson and Renata Wasserman:
Local Change: A preliminary report.
Pages 146-165.
- c-fcs-98-166
- Frans Voorbraak:
A Nonmonotonic Observation Logic.
Pages 166-182.
- c-fcs-98-183
- Brian Knight, Taoxin Peng, and Jixin Ma:
Reasoning about Change over Time: Actions, Events, and their Effects.
Pages 183-197.
- c-fcs-98-198
- John McCarthy:
Elaboration tolerance.
Pages 198-216.
- c-fcs-98-217
- Enrico Giunchiglia and Vladimir Lifschitz:
An Action Language Based on Causal Explanation: Preliminary Report.
Pages 217-238.
- c-fcs-98-239
- Michael Thielscher:
Steady Versus Stabilizing State Constraints.
Pages 239-248.
- c-fcs-98-249
- Tom Costello:
Minimizing the Effects of Actions.
Pages 249-262.
- c-fcs-98-263
- Tom Costello and Anna Patterson:
Quantifiers and Operations on Modalities and Contexts.
Pages 263-276.
- c-fcs-98-277
- Giuseppe De Giacomo, Ray Reiter, and Mikhail Soutchanski:
Execution Monitoring of High-Level Robot Programs.
Pages 277-297.
- c-fcs-98-298
- Simon Parsons, Carles Sierra, and Nick R. Jennings:
Multi-context argumentative agents.
Pages 298-318.
- c-fcs-98-319
- John Bell and Zhisheng Huang:
Seeing is Believing.
Pages 319-329.
- c-fcs-98-330
- John Bell:
Chronological Minimization and Explanation.
Pages 330-348.
- c-fcs-98-349
- Javier Pinto:
Causality in Theories of Action.
Pages 349-364.
11-Sep-97 17:44