Informational Logic in Knowledge Representation and Automated Deduction.
Paola ForcheriPaolo GentiliniMaria Teresa MolfinoPublished in: AI Commun. (1999)
Keyphrases
- automated deduction
- logic programming
- knowledge representation
- automated reasoning
- theorem proving
- theorem prover
- classical logic
- logic programs
- deductive databases
- knowledge base
- answer set programming
- representing knowledge
- artificial intelligence
- knowledge representation and reasoning
- knowledge representation formalisms
- natural language
- probabilistic reasoning
- proof theory
- knowledge acquisition
- programming language
- inference rules
- first order logic
- knowledge engineering
- default logic
- production rules
- machine learning
- natural language understanding
- semantic web
- knowledge structures
- natural language processing
- query language
- expert systems
- description logics
- knowledge based systems
- databases