Unification in Pretabular Extensions of S4.

Stepan I. Bashmakov

Published in: Logica Universalis (2021)

Keyphrases

theorem proving
higher order
theorem prover
real time
artificial intelligence
three dimensional
management system
default logic
databases
information retrieval
multimedia
computational complexity
feature space
expert systems
equational theories