Modelling morality with prospective logic.

Luís Moniz Pereira Ari Saptawijaya

Published in: Int. J. Reason. based Intell. Syst. (2009)

Keyphrases

classical logic
proof theory
logic programming
multi valued
automated reasoning
probability theory
natural deduction
truth values
predicate logic
digital circuits
logical framework
real time
modal logic
probabilistic model
database systems
decision trees
search engine
machine learning
data sets