Honesty in Partial Logic.

Wiebe van der Hoek Jan Jaspars Elias Thijsse

Published in: KR (1994)

Keyphrases

classical logic
logic programming
multi valued
database
cognitive processes
proof theory
asynchronous circuits
modal logic
defeasible logic
deductive reasoning
digital circuits
computational properties
partial information
knowledge management
knowledge representation
multi agent
real time