A unification of the basic logics of Sambin and Visser.
Mohammad ArdeshirVahid VaezianPublished in: Log. J. IGPL (2012)
Keyphrases
- expressive power
- higher order
- modal logic
- inference rules
- anti unification
- classical logic
- theorem proving
- theorem prover
- real time
- automated theorem proving
- nonmonotonic logics
- first order logic
- case study
- multi agent systems
- search algorithm
- default reasoning
- bayesian networks
- decision procedures
- conditional logic
- information retrieval
- database
- knuth bendix