Decision Procedures for Inductive Boolean Functions Based on Alternating Automata.
Abdelwaheb AyariDavid A. BasinFelix KlaedtkePublished in: CAV (2000)
Keyphrases
- boolean functions
- decision procedures
- theorem proving
- automated reasoning
- modal logic
- uniform distribution
- inductive learning
- cellular automata
- dnf formulae
- conjunctive queries
- regular expressions
- knowledge representation
- inductive logic programming
- membership queries
- machine learning
- concept learning
- finite state machines
- inductive inference
- functional properties
- satisfiability problem
- multi valued
- inference rules
- query evaluation
- first order logic
- binary decision diagrams