The s-Semantics Approach: Theory and Applications.

Annalisa Bossi Maurizio Gabbrielli Giorgio Levi Maurizio Martelli

Published in: J. Log. Program. (1994)

Keyphrases

logic programming
formal semantics
proof theoretic
general theory
logical properties
speech acts
closed world assumption
model theoretic
operational semantics
theoretical basis
computational model
relational databases
belief functions
proof theory
logic programs
abstract argumentation
keywords