Abductive logic programming agents with destructive databases.
Robert A. KowalskiFariba SadriPublished in: Ann. Math. Artif. Intell. (2011)
Keyphrases
- abductive logic programming
- databases
- logic programs
- multi agent systems
- multi agent
- database
- proof procedure
- logic programming
- intelligent agents
- machine learning
- autonomous agents
- database systems
- data warehouse
- information systems
- data model
- wordnet
- data integration
- relational databases
- incomplete information
- theorem proving