Stable Logic.

Brigitte Bösli

Published in: CSL (1991)

Keyphrases

modal logic
classical logic
logic programming
multi valued
asynchronous circuits
artificial intelligence
databases
defeasible logic
predicate logic
case study
multi agent systems
programming language
machine learning
data mining
automated reasoning
data sets
epistemic logic
deontic logic
real time