Sciweavers

443 search results - page 22 / 89
» The logic of events
Sort
View
CI
2000
114views more  CI 2000»
14 years 9 months ago
A Guided Tour through Some Extensions of the Event Calculus
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
TIME
2009
IEEE
15 years 4 months ago
Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
Carlo Zaniolo
83
Voted
ATAL
1999
Springer
15 years 1 months ago
Reactivity in a Logic-Based Robot Programming Framework
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
Yves Lespérance, Kenneth Tam, Michael R. M....
WSC
1998
14 years 11 months ago
Efficient Process Interaction with Threads in Parallel Discrete Event Simulation
Parallel discrete event simulation (PDES) decreases a simulation's runtime by splitting the simulation's work between multiple processors. Many users avoid PDES because ...
Reuben Passqini, Vernon Rego
KR
2004
Springer
15 years 3 months ago
A Logic-Based Formulation of Active Visual Perception
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
Murray Shanahan, David A. Randell