Login / Signup
Data Semantics in Logic Programming Framework.
Seiki Akama
Masahito Kawamori
Published in:
Natural Language Understanding and Logic Programming Workshop (1987)
Keyphrases
</>
logic programming
logic programs
cooperative multi agent
knowledge base
knowledge representation
database
reasoning tasks
inductive logic programming
answer set programming
computational logic
knowledge representation and reasoning
classical logic
logical framework
deductive databases
background knowledge
programming language
disjunctive logic programming
answer sets
logic programming language
nonmonotonic reasoning
databases