MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "An Axiomatization of Events." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Design of Filterable Event Channel: Building Block for CORBA-Based Notification Services
by Rv Ic Es, Subrata Mazumdar, Isabelle Rouvellou
… must have a way in which they can avoid event messages they are not interested in. Axiomatically…
Add To MetaCart

Axioms for Real-Time Logics
by P.-Y. Schobbens, J.-F. Raskin, T. A. Henzinger, L. Ferier — 1999
… for EventClockTL. From this result we obtain a complete axiomatization of MetricIntervalTL by providing…
Cited by 4 (0 self) – Add To MetaCart

Event calculus reasoning through satisfiability
by Erik T. Mueller — 2004 — Journal of Logic and Computation
… of the event calculus and prove its equivalence to a standard axiomatization for integer time. We describe our…
Cited by 15 (5 self) – Add To MetaCart

Draft
by Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni — 2008
… of the SCIFF Framework 3 3 REC: a Reactive Axiomatization of Event Calculus in SCIFF 4 3.1 Ordering of Events…
Add To MetaCart

G.: Reasoning in the Event Calculus using First-Order Automated Theorem Proving
by Erik T. Mueller — 2005 — Proceedings of the 18th Florida Artificial Intelligence Research Symposium
… was expressed as a logic program, and Shanahan and Miller introduced axiomatizations of the event calculus…
Cited by 3 (0 self) – Add To MetaCart

Integrating External Deduction Tools with ACL2
by Matt Kaufmann, J Strother Moore, Ip Ray, Erik Reeber — 2006 — Sutcliffe (Eds.), Proceedings of the 6th International Workshop on Implementation of Logics (IWIL 2006
… axioms. One must therefore answer under what condition it is legitimate to mark an axiomatic event in a…
Cited by 4 (3 self) – Add To MetaCart

Structured Theory Development for a Mechanized Logic
by Matt Kaufmann, J Strother Moore — 1999 — Journal of Automated Reasoning
…. These events may be classified into two groups. The axiomatic events are those that introduce new facts…
Cited by 42 (16 self) – Add To MetaCart

The Proper Treatment of Events
by Michiel van Lambalgen, Fritz Hamm — 2004
… treatment of tense in Part 3. We then continue the discussion with an axiomatic treatment of events…
Cited by 20 (3 self) – Add To MetaCart

Understanding script-based stories using commonsense reasoning
by Erik T. Mueller — 2002 — Cognitive Systems Research
… particular character is hungry. We use a classical logic axiomatization of the event calculus called…
Cited by 8 (2 self) – Add To MetaCart

A fuzzy model for representing uncertain, subjective and vague temporal knowledge in ontologies
by Gábor Nagypál, Boris Motik — 2003 — In Proceedings of the International Conference on Ontologies, Databases and Applications of Semantics, (ODBASE), volume 2888 of LNCS
…. For example, in temporal logic one can axiomatize that event A occurred before event B, and event B occurred…
Cited by 19 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB