Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,230,588 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.
2019
2019
A Deterministic Event Calculus for Effective Runtime Verification
D. Ancona
,
Luca Franceschini
,
Angelo Ferrando
,
V. Mascardi
Italian Conference on Theoretical Computer…
2019
Corpus ID: 208607582
Runtime verification (RV) is an effective technique for dynamically monitoring, even after deployment, properties that could be…
Expand
2013
2013
On Deep Computational Formalization of Natural Language
Naveen Sundar Govindarajulu
,
S. Bringsjord
,
J. Licato
2013
Corpus ID: 1454146
Current AI and NLP operate on fragments of natural language and within specific application domains. Even the most successful AI…
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
Discrete Event Calculus Reasoner Documentation
E. Mueller
2008
Corpus ID: 116617691
c © 2005, 2007, 2008 IBM Corporation and others. All rights reserved. This program and the accompanying materials are made…
Expand
2007
2007
A comparison of Situation Calculus and Event Calculus Benjamin Goudey
Benjamin Goudey
2007
Corpus ID: 14510880
Agent based systems are a relatively new idea within artificial intelligence. Essentially an agent is a ”system situated within…
Expand
2006
2006
Towards automated web service composition with the abductive event calculus
Onur Aydın
,
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
2001
2001
The Event Calculus assessed
S. Brandano
Proceedings Eighth International Symposium on…
2001
Corpus ID: 15920831
The range of applicability of the Full Event Calculus is proven to be the Ksp-IA class in the features and fluents taxonomy. The…
Expand
1996
1996
An Event Calculus Model of the Forth Programming System
B. Stoddart
1996
Corpus ID: 15730219
(formal speciication of real time systems by means of Z and diagrams). In H Habrias, editor, 5th International Conference on…
Expand
1994
1994
Efficient Handling of Context Dependency in the Cached Event Calculus
L. Chittaro
,
A. Montanari
Time
1994
Corpus ID: 824571
This paper deals with the problem of providing temporal deductive databases with an eecient implementation in a logic programming…
Expand