Minimal Classical Logic and Control Operators.

Zena M. Ariola Hugo Herbelin

Published in: ICALP (2003)

Keyphrases

classical logic
revision operators
logic programming
modal logic
possibilistic logic
control system
default logic
intuitionistic logic
expert systems
possibility theory
rationality postulates
computer science and artificial intelligence
neural network
machine learning
general logic programs