Knowledge Base System in a Logic Programming Paradigm.

Hidenori Itoh Hidetoshi Monoi Hirohisa Seki

Published in: DASFAA (1989)

Keyphrases

logic programming
knowledge base
logic programs
declarative programming
knowledge representation
nonmonotonic reasoning
answer set programming
deductive databases
logic programming language

programming language
representing knowledge
disjunctive logic programs
expert systems
stable models
inductive logic programming
knowledge representation and reasoning
constraint logic programming
inference engine

default logic
classical logic
answer sets
rule base
computational logic
description logics
probabilistic reasoning
classical first order logic

artificial intelligence
nonmonotonic logics
belief revision
background knowledge
declarative semantics
knowledge based systems
propositional variables
procedural semantics