Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming.

Michael Gelfond

Published in: LPNMR (1997)

Keyphrases

representing knowledge
logic programming
procedural semantics
knowledge representation
logic programs
deductive database systems
declarative semantics

answer set programming
logic programming language
deductive databases
programming language
nonmonotonic reasoning
knowledge base
probabilistic reasoning

answer sets
declarative programming
default logic
reasoning tasks
natural language
autoepistemic logic

first order logic
databases
general purpose
multi agent
artificial intelligence
data mining