Scenario Semantics of Extended Logic Programs.

José Júlio Alferes Phan Minh Dung Luís Moniz Pereira

Published in: LPNMR (1993)

Keyphrases

extended logic programs
logic programming
defeasible logic
answer sets
incomplete information
conflict resolution
logic programs
nonmonotonic reasoning
default logic
access control policies
answer set semantics
answer set programming
deductive databases
fixed point
default reasoning
formal semantics