Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory.

Published in: ADT (2017)

Keyphrases

classical logic
social choice theory
logic programming
possibilistic logic
modal logic
knowledge representation
valued logic
possibility theory
default logic
merging operators
revision operators
intuitionistic logic
logic programs
autoepistemic logic
preference relations
software engineering
decision making