A Framework for Heterogeneous Associative Logic Programming.

Arvind K. Bansal

Published in: Int. J. Artif. Intell. Tools (1995)

Keyphrases

logic programming
logic programs
deductive databases
extended logic programs
answer sets
knowledge base
knowledge representation

answer set programming
cooperative multi agent
nonmonotonic reasoning
logic programming language
inductive logic programming
knowledge representation and reasoning
stable models

classical logic
procedural semantics
defeasible argumentation
probabilistic reasoning
abductive reasoning
fixpoint

reasoning tasks
databases
default logic
data model
artificial intelligence
data mining