A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics.

Isambo Karali Constantin Halatsis

Published in: TAPSOFT (1995)

Keyphrases

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

stable models
knowledge base
knowledge representation
constraint logic programming
default logic
answer sets
declarative semantics
disjunctive logic programming

disjunctive logic programs
knowledge representation and reasoning
probabilistic reasoning
programming language
classical logic
computational logic
answer set semantics
stable model semantics

inductive logic programming
defeasible argumentation
classical first order logic
artificial intelligence
nonmonotonic logics
database
pseudo boolean constraints
probabilistic logic programs