Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction.

James J. Lu Monica D. Barback Lawrence J. Henschen

Published in: J. Autom. Reason. (1993)

Keyphrases

disjunctive logic programs
disjunctive logic programming
logic programming
stable model semantics
logic programs
answer set programming
data types
stable models
artificial intelligence
high level
expert systems
relational databases
data model