Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,908,147 papers from all fields of science
Search
Sign In
Create Free Account
Event calculus
The event calculus is a logical language for representing and reasoning about events and their effects first presented by Robert Kowalski and Marek…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Abductive reasoning
Artificial intelligence
Circumscription (logic)
Event (computing)
Expand
Broader (2)
Logic in computer science
Logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Knowledge-based representation of 3D content behavior in a service-oriented virtual environment
J. Flotyński
,
K. Walczak
International Conference on 3D Technologies for…
2017
Corpus ID: 11715079
Semantic representation of interactive 3D content gains increasing attention due to possibilities of high-level domain-specific…
Expand
2014
2014
Modeling Obligations with Event-Calculus
M. Hashmi
,
Guido Governatori
,
M. Wynn
International Web Rule Symposium
2014
Corpus ID: 16667580
Time plays an important role in norms. In this paper we start from our previously proposed classification of obligations, and…
Expand
2009
2009
Abductive Reasoning with Filtered Circumscription
Martin Magnusson
,
Jonas Kvarnström
,
P. Doherty
2009
Corpus ID: 1382044
For logical artificial intelligence to be truly useful,its methods must scale to problems of realistic size.An interruptible…
Expand
2008
2008
Automated Web Services Composition with the Event Calculus
O. Aydin
,
N. Cicekli
,
I. Çiçekli
Engineering Societies in the Agent World
2008
Corpus ID: 1819348
As the web services proliferate and complicate it is becoming an overwhelming job to manually prepare the web service…
Expand
2006
2006
Towards automated web service composition with the abductive event calculus
O. Aydin
,
N. Cicekli
,
I. Çiçekli
2006
Corpus ID: 18137989
In this paper, the use of a logic programming framework, the event calculus [3], is discussed in the automated composition of web…
Expand
2004
2004
Abductive Logic Programming with CIFF: Implementation and Applications
U. Endriss
,
P. Mancarella
,
F. Sadri
,
G. Terrreni
,
Francesca Toni
2004
Corpus ID: 9625029
We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and…
Expand
1996
1996
A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification
M. Denecker
,
Kristof Van Belleghem
,
Guy Duchatelet
,
Frank Piessens
,
D. D. Schreye
Joint International Conference and Symposium on…
1996
Corpus ID: 15738775
This paper presents one of the rst realistic experiments in the use of Event Calculus in Open Logic Programming: the speci cation…
Expand
1995
1995
Unified Logic Programming Approach to the Abduction of Plans and Intentions in Information-Seeking Dialogues
P. Quaresma
,
J. Lopes
The Journal of Logic Programming
1995
Corpus ID: 18154796
1995
1995
Situation Calculus Specifications for Event Calculus Logic Programs
Rob Miller
International Conference on Logic Programming and…
1995
Corpus ID: 6350805
A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in…
Expand
1988
1988
Partial Orderings and Aktionsarten in Discourse Representation Theory
Kurt Eberle
International Conference on Computational…
1988
Corpus ID: 15525991
This paper presents an approach to deal with the underspecification of Aktionsarten in German sentences. In German the difference…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE