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