Safe Recursion on Notation into a Light Logic by Levels
Luca RoversiLuca VercelliPublished in: DICE (2010)
Keyphrases
- logic programming
- artificial intelligence
- modeling language
- levels of abstraction
- high levels
- deontic logic
- predicate logic
- machine learning
- classical logic
- complex objects
- modal logic
- delay insensitive
- data sets
- defeasible logic
- probabilistic logic
- automated reasoning
- integrity constraints
- bayesian networks
- data mining
- real world
- neural network