ETAI Reasoning about Actions and Change

Discussions of articles presented at the workshop

Formalization of Commonsense Reasoning 1998

(FCS-98)

London, England, January 7-9, 1998

This web structure contains discussions about the papers that were presented at the FCS-98 workshop. Clicking the date in the rightmost column connects to the article's discussion page. Explanations for the exact meaning of the other table items are obtained by clicking the table's header line.

Initially, the pages contain a (partial) summary of what was said in the discussions at the workshop itself. Authors were given a chance to revise the discussion summary before it went on-line. Then, starting February 1, additional contributions to the discussion are invited both from workshop participants and from everyone else.

Page   Author/ Title /Bibcode Full paper Latest msg
1  Grigoris Antoniou, D. Billington, and M.J. Mahler
Sceptical logic programming based default reasoning - Defeasible logic rehabilitated.
    c-fcs-98-1
[original]
[ 2.2 ]
20  Yves Moinard and Raymond Rolland
Circumscriptions from what they cannot do (preliminary report).
    c-fcs-98-20
[revised]
[ 27.1 ]
42  Peter Grünwald
Ramifications and sufficient causes.
    c-fcs-98-42
[original]
[ 27.2 ]
56  Eyal Amir
Point-Sensitive Circumscription.
    c-fcs-98-56
[original]
[ 8.3 ]
75  Fausto Giunchiglia and Chiara Ghidini
Local Model Semantics, or Contextual Reasoning = Locality + Compatibility.
    c-fcs-98-75
[original]
[ 9.1 ]
87  François Lévy and J. Joachim Quantz
Representing Beliefs in a Situated Event Calculus.
    c-fcs-98-87
[original]
[ 7.1 ]
99  Graham White
Balls and Strings: Simulations and Theories.
    c-fcs-98-99
[original]
[ 9.1 ]
114  Gianni Amati and Fiora Pirri
Contexts as relativized definitions: a formalization via fixed points.
    c-fcs-98-114
[original]
[ 9.1 ]
126  Emilio Remolina and Benjamin Kuipers
Towards a formalization of the Spatial Semantic Hierarchy.
    c-fcs-98-126
[original]
[ 9.1 ]
138  Philippe Balbiani and Luis Fariñas del Cerro
A relational model of movement.
    c-fcs-98-138
[original]
[ 9.1 ]
146  Sven Ove Hansson and Renata Wasserman
Local Change: A preliminary report.
    c-fcs-98-146
[revised]
[ 9.1 ]
166  Frans Voorbraak
A Nonmonotonic Observation Logic.
    c-fcs-98-166
[original]
[ 8.1 ]
183  Brian Knight, Taoxin Peng, and Jixin Ma
Reasoning about Change over Time: Actions, Events, and their Effects.
    c-fcs-98-183
[revised]
[ 26.1 ]
198  John McCarthy
Elaboration tolerance.
    c-fcs-98-198
[original]
[ 8.1 ]
217  Enrico Giunchiglia and Vladimir Lifschitz
An Action Language Based on Causal Explanation: Preliminary Report.
    c-fcs-98-217
[revised]
[ 5.2 ]
239  Michael Thielscher
Steady Versus Stabilizing State Constraints.
    c-fcs-98-239
[original]
[ 28.1 ]
249  Tom Costello
Minimizing the Effects of Actions.
    c-fcs-98-249
[original]
[ 7.1 ]
263  Tom Costello and Anna Patterson
Quantifiers and Operations on Modalities and Contexts.
    c-fcs-98-263
[original]
[ 8.1 ]
277  Giuseppe De Giacomo, Ray Reiter, and Mikhail Soutchanski
Execution Monitoring of High-Level Robot Programs.
    c-fcs-98-277
[original]
[ 9.1 ]
298  Simon Parsons, Carles Sierra, and Nick R. Jennings
Multi-context argumentative agents.
    c-fcs-98-298
[original]
[ 8.1 ]
319  John Bell and Zhisheng Huang
Seeing is Believing.
    c-fcs-98-319
[original]
[ 13.1 ]
330  John Bell
Chronological Minimization and Explanation.
    c-fcs-98-330
[original]
[ 7.1 ]
349  Javier Pinto
Causality in Theories of Action.
    c-fcs-98-349
[original]
[ 29.1 ]