Pseudo-Boolean Constraints from a Knowledge Representation Perspective.

Daniel Le Berre Pierre Marquis Stefan Mengel Romain Wallon

Published in: IJCAI (2018)

Keyphrases

pseudo boolean constraints
knowledge representation
logic programming
logic programs
machine learning
knowledge base
expert systems
artificial intelligence
natural language
automated reasoning
genetic algorithm
first order logic
probabilistic reasoning