How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic.
Nathalie Chetcuti-SperandioSylvain LagruePublished in: KR (2008)
Keyphrases
- data sets
- classical logic
- modal logic
- automated reasoning
- asynchronous circuits
- penalty function
- logic programming
- objective function
- real time
- logical framework
- artificial intelligence
- evolutionary algorithm
- probability theory
- bayesian networks
- social networks
- defeasible logic
- predicate logic
- epistemic logic
- linear logic
- logic synthesis