A Computationally Grounded, Weighted Doxastic Logic.
Taolue ChenGiuseppe PrimieroFranco RaimondiNeha RungtaPublished in: Stud Logica (2016)
Keyphrases
- epistemic logic
- modal logic
- classical logic
- grounded semantics
- weighted graph
- logic programming
- neural network
- model checking
- automated reasoning
- order statistics
- machine learning
- multi agent systems
- shortest path
- website
- databases
- multi valued
- genetic algorithm
- defeasible logic
- predicate logic
- weighted distance
- logic synthesis