Metalevel Negation in Non-Monotonic Reasoning.
Stefania CostantiniGaetano Aurelio LanzaronePublished in: LPNMR (1990)
Keyphrases
- logic programs
- logic programming
- predicate logic
- compositional semantics
- defeasible logic
- object level
- deductive databases
- commonsense reasoning
- decision making
- search engine
- artificial intelligence
- fixpoint
- possibilistic logic
- genetic algorithm
- high level
- data model
- low level
- social networks
- horn clauses
- machine learning
- autoepistemic logic
- containment of conjunctive queries
- neural network