Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,142,943 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
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
2009
2009
A reasoning agent for credit card fraud using the event calculus
C. Blackwell
International Journal of Electronic Security and…
2009
Corpus ID: 31901746
We illustrate the design of an intelligent agent to aid a merchant to limit fraudulent payment card purchases over the internet…
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
2007
2007
Verifying Composite Service Transactional Behavior Using Event Calculus
Walid Gaaloul
,
M. Rouached
,
C. Godart
,
M. Hauswirth
OTM Conferences
2007
Corpus ID: 8392306
A key challenge ofWeb service (WS) composition is how to ensure reliable execution. The lack of techniques that support non…
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
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