Free Choice in Deontic Inquisitive Semantics (DIS).

Published in: Amsterdam Colloquium on Logic, Language and Meaning (2011)

Keyphrases

formal semantics
logic programming
representation language
conceptual model
deontic logic
genetic algorithm
semantic information
semantic representation
classical logic
active rules
transformation rules
nonmonotonic logics