Login / Signup
On Translation of Finitely-Valued Logics to Classical First-Order Logic.
Viorica Sofronie-Stokkermans
Published in:
ECAI (1998)
Keyphrases
</>
classical first order logic
valued logic
first order logic
logic programming
classical logic
propositional logic
stable models
logic programs
datalog programs
dynamic logic
knowledge representation
expressive power
artificial intelligence
data management
theorem prover
probabilistic reasoning