Step Failures Semantics and a Complete Proof System.

Dirk Taubner Walter Vogler

Published in: Acta Informatica (1989)

Keyphrases

logic programming
post processing
formal semantics
operational semantics
argumentation semantics
semantic information
default reasoning
database systems
modal logic
nonmonotonic logics