Keyphrases
- input output
- decision procedures
- goal directed
- modal logic
- theorem proving
- automated reasoning
- reasoning problems
- inference rules
- model theoretic
- noise cancellation
- autonomous robots
- temporal logic
- data envelopment analysis
- internal states
- default logic
- satisfiability problem
- conjunctive queries
- real time
- tight complexity bounds
- mobile robot
- query processing