Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models.

Evgueni S. Petrov

Published in: ADVIS (2000)

Keyphrases

logic programming
logic programs
deductive databases
answer set programming
logic programming language
nonmonotonic reasoning
classical logic
knowledge representation
reasoning about actions
constraint logic programming
knowledge base
procedural semantics
programming language
answer sets
stable models