Populational Announcement Logic (PPAL).

Vitor Machado Mario R. F. Benevides

Published in: DARe@LPNMR (2017)

Keyphrases

logic programming
modal logic
automated reasoning
multi valued
classical logic
proof theory
sound and complete axiomatization
machine learning
logical framework
epistemic logic
decision making
evolutionary algorithm
computational properties
defeasible logic
asynchronous circuits