Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure.

Jia-Huai You Li-Yan Yuan Randy Goebel

Published in: IJCSLP (1998)

Keyphrases

tableau calculus
formal semantics
default theories

semantic information
database
databases

neural network
logic programming
argumentation frameworks

argumentation semantics
high level
iterative procedure