294 search results - page 4 / 59 » Modal Event Calculus |
87
Voted
ICLP
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
102
Voted
JAIR
2012
12 years 12 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
CONTEXT
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. The basic Event Calculus is extended by a Calculus of Narrative Context, to allow for reasoning about counterfactuals. Different hypothetical courses of events are disti...
111
Voted
ICMCS
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper, we present a novel multi-modal framework for semantic event extraction from basketball games based on webcasting text and broadcast video. We propose novel approach...
101
click to vote
CADE
2001
Springer
15 years 9 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...