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