Login / Signup
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems.
Carlos López Pombo
Pablo F. Castro
Nazareno Aguirre
Thomas Stephen Edward Maibaum
Published in:
Fundam. Informaticae (2019)
Keyphrases
</>
high level
expert systems
management system
computational complexity
intelligent systems
domain specific
higher level
semantic web
semantic similarity
provably correct