See this document in CiteSeerX!

Event Minimization In The Fluent Calculus (1998)  (Make Corrections)  
Michael Thielscher



  Home/Search   Context   Related

 
View or download:
pikas.inf.tudresden....TUDFI9811.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  pikas.inf.tudr...deredabstracts (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: When drawing conclusions about narratives, minimizing---to a reasonable extent---the occurrence of events is crucial. We argue that unguided minimization is insufficient in case events are causally connected, for it easily fails to distinguish unmotivated event occurrences from those that have a cause. Two solutions are offered, the first of which has the advantage of being straightforwardly realized but on the other hand has a restricted range of applicability. Our second solution overcomes... (Update)

Similar documents (at the sentence level):
73.4%:   How (Not) To Minimize Events - Thielscher (1998)   (Correct)

Active bibliography (related documents):   More   All
0.8:   Qualification and Causality - Thielscher (1996)   (Correct)
0.8:   Ramification and Causality - Thielscher (1996)   (Correct)
0.6:   Motivation - The Purpose Of (1998)   (Correct)

Similar documents based on text:   More   All
0.5:   Remarks on a Quality Measure - Wierschin (2001)   (Correct)
0.3:   Properties of a Logical System in the Calculus of Structures - Tiu (2001)   (Correct)
0.3:   Modeling Actions with Ramifications in Nondeterministic.. - Thielscher (2000)   (Correct)

BibTeX entry:   (Update)

@misc{ thielscher-event,
  author = "Michael Thielscher",
  title = "Event Minimization In The Fluent Calculus",
  url = "citeseer.ist.psu.edu/thielscher98event.html" }
Citations (may not include all citations):
388   The frame problem in the situation calculus: A simple soluti.. (context) - Reiter - 1991
256   Representing action and change by logic programs - Gelfond, Lifschitz - 1993
112   Reasoning about action I: A possible worlds approach - Ginsberg, Smith - 1988
101   Actions with indirect effects - Kartha, Lifschitz - 1994
87   Frames in the space of situations (context) - Lifschitz - 1990
76   Ramification and causality - Thielscher - 1997
71   Concurrent actions in the situation calculus (context) - Lin, Shoham - 1992
65   A new deductive approach to planning (context) - Holldobler, Schneeberger - 1990
63   Pointwise circumscription (context) - Lifschitz - 1987
56   How to do things with worlds: On formalizing actions and pla.. (context) - Brewka, Hertzberg - 1993
54   Embracing causality in specifying the indirect effects of ac.. - Lin - 1995
44   Chronological ignorance: Experiments in nonmonotonic tempora.. (context) - Shoham - 1988
44   A circumscriptive calculus of events - Shanahan - 1995
43   Reasoning about action II: The qualification problem - Ginsberg, Smith - 1988
43   A theory of complete logic programs with equality (context) - Jaffar, Lassez et al. - 1984
41   Robotics and the common sense informatic situation - Shanahan - 1996
40   A simple declarative language for describing narratives with.. - Kakas, Miller - 1997
30   Reasoning about action in first-order logic - Elkan - 1992
28   Default reasoning about spatial occupancy - Shanahan - 1995
23   SLDNF-resolution with equality (context) - Shepherdson - 1992
16   Motivated action theory: A formal theory of causal reasoning (context) - Stein, Morgenstern - 1994
13   Things that change by themselves (context) - Lifschitz, Rabinov - 1989
13   Causality and the qualification problem - Thielscher - 1996
11   The logic of dynamic systems - Thielscher - 1995
9   Deriving properties of belief update from theories of action - Val, Shoham - 1993
9   Reasoning about actions: Steady versus stabilizing state con.. (context) - Thielscher - 1998
8   Reasoning about actions and change with ramification - Sandewall - 1995
7   Computing change and specificity with equational logic progr.. (context) - Holldobler, Thielscher - 1995
6   Explicit and implicit indeterminism: Reasoning about uncerta.. (context) - Bornscheuer, Thielscher - 1997
6   A causal theory of ramifications and qalifications (context) - McCain, Turner - 1995
4   Opening the AC-unification race (context) - Burckert, Herold et al. - 1988
4   Conditional entailment: bridging two approaches to default r.. (context) - Geffner, Pearl - 1992
1   Propositional State-Event Logic - Groe - 1994
1   to minimize events (context) - Thielscher, not - 1998

Documents on the same site (http://pikas.inf.tu-dresden.de/~mit/publications/reports/ordered-abstracts.html):   More
Qualification and Causality - Thielscher (1996)   (Correct)
Representing Actions in Equational Logic Programming - Thielscher (1994)   (Correct)
Disputation Theory Applied To Disjunctive Logic Programs - Thielscher (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC