The following pages link to A logic-based calculus of events (Q514239):
Displaying 11 items.
- A formalization of double auction market dynamics (Q5397434) (← links)
- Authorization and Obligation Policies in Dynamic Systems (Q5504643) (← links)
- A Typed Language for Events (Q5743588) (← links)
- Temporal disjunctive logic programming (Q5929097) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
- Representation and processing of instantaneous and durative temporal phenomena (Q6102256) (← links)
- Online event recognition over noisy data streams (Q6178734) (← links)
- Logic-based learning of answer set programs (Q6535987) (← links)
- A temporal logic for successive events (Q6562543) (← links)