Login / Signup
Deductive Querying of Natural Logic Bases.
Troels Andreasen
Henrik Bulskov
Per Anker Jensen
Jørgen Fischer Nilsson
Published in:
FQAS (2019)
Keyphrases
</>
deductive reasoning
databases
query language
database
modal logic
basis functions
functional programs
deontic logic
logic programming
object oriented
query processing
knowledge representation
classical logic
digital circuits
predicate logic
information systems
real world