Simultaneous Rigid Sorted Unification for Tableaux.
Pedro J. MartínAntonio GavilanesPublished in: Stud Logica (2002)
Keyphrases
- three dimensional
- theorem prover
- modal logic
- higher order
- automated reasoning
- functional dependencies
- multi agent systems
- descending order
- automated theorem proving
- theorem proving
- special case
- database
- search algorithm
- objective function
- image sequences
- multimedia
- information systems
- artificial intelligence
- information retrieval