Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms.

Roberto Confalonieri Henri Prade

Published in: Int. J. Approx. Reason. (2014)

Keyphrases

answer set programming
possibilistic logic
logic programming
logic programs
qualitative spatial and temporal reasoning
answer sets
possibility theory
artificial intelligence
decision makers
temporal logic
nonmonotonic reasoning
stable model semantics