A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic.
Thomas PlaceMarc ZeitounPublished in: CSL (2024)
Keyphrases
- temporal logic
- first order logic
- mazurkiewicz traces
- model checking
- temporal knowledge
- expressive power
- modal logic
- propositional logic
- theorem proving
- satisfiability problem
- inference rules
- inductive logic programming
- probabilistic reasoning
- markov networks
- formal semantics
- verification method
- pairwise
- relational algebra
- knowledge representation
- representation language
- linear temporal logic
- theorem prover
- transitive closure
- belief revision
- probabilistic graphical models
- artificial intelligence
- horn clauses
- predicate logic
- logical formulas
- domain specific
- markov logic networks
- finite state
- bayesian networks