A Fast Algorithm for Consistency Checking Partially Ordered Time.

Leif Eriksson Victor Lagerkvist

Published in: IJCAI (2023)

Keyphrases

consistency checking
partially ordered
partial order
totally ordered
stochastic search
interval valued
partial ordering
event calculus
temporal constraints
query answering
possibilistic logic
temporal reasoning
total ordering
data management
total order
constraint satisfaction problems
decision support