Login / Signup
Unramified forcing preserving the law of double negation.
Alexander Abian
Kyriakos Keremedis
Published in:
Arch. Math. Log. (1987)
Keyphrases
</>
logic programs
logic programming
deductive databases
legal reasoning
neural network
real world
high level
natural language
relational databases
mobile robot
knowledge representation
query answering
stable models
image details
legal argument