Modelling Morality with Prospective Logic.

Luís Moniz Pereira Ari Saptawijaya

Published in: EPIA Workshops (2007)

Keyphrases

modal logic
classical logic
case study
logic programming
dynamic logic
asynchronous circuits
automated reasoning
databases
predicate logic
multi valued
sound and complete axiomatization
set theory
logical framework
probabilistic logic
probability theory
temporal logic
genetic algorithm