Argumentation-Based Semantics for Logic Programs with First-Order Formulae.

Phan Minh Dung Tran Cao Son Phan Minh Thang

Published in: PRIMA (2016)

Keyphrases

semantics for logic programs
horn clauses
logic programs
fixpoint
stable models
answer sets
open world
first order logic
logic programming
normal logic programs
model theoretic
normal form
incomplete information
database
answer set programming
inference rules
general purpose
minimal models
databases