Logic Programming with Pseudo-Boolean Constraints.

Alexander Bockmayr

Published in: WCLP (1991)

Keyphrases

pseudo boolean constraints
logic programming
logic programs
programming language
answer set programming
logic programming language
knowledge representation
knowledge base
answer sets
probabilistic reasoning
search tree