On Infinite Transition Graphs Having a Decidable Monadic Theory.

Published in: ICALP (1996)

Keyphrases

datalog programs
datalog queries
action theories
query containment
theoretical basis
theoretical framework
deductive databases
transitive closure
neural network
graph theoretic
situation calculus
graph partitioning
weighted graph
graph theory
expressive power
first order logic
np hard