Integrating Data Type Inheritance into Logic Programming.
Hassan Aït-KaciPublished in: Data Types and Persistence (Appin), Informal Proceedings (1985)
Keyphrases
- logic programming
- data types
- knowledge representation
- logic programs
- database management systems
- nonmonotonic reasoning
- abstract data types
- data model
- database systems
- data structure
- programming language
- deductive databases
- logic programming language
- answer set programming
- object oriented databases
- object oriented
- answer sets
- computational logic
- knowledge base
- inductive logic programming
- probabilistic reasoning
- pseudo boolean constraints
- artificial intelligence
- default logic
- default reasoning
- management system
- propositional variables
- data mining algorithms
- database design
- data mining techniques
- reasoning about actions
- constraint logic programming
- semantics of logic programs
- cooperative multi agent