Search Results for author:
Found 3 papers, 0 papers with code
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
In fact, we present a general method to obtain sequent systems for any many-valued logic based on minimal inconsistency, yielding the calculi for the logics of Priest and of Arieli and Avron as special instances.
Stepwise Debugging of Answer-Set Programs
Similar to debugging in imperative languages, where the behaviour of a program is observed during a step-by-step execution, stepping for ASP allows for observing the effects that rule applications have in the computation of an answer set.
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages allow the programmer to split a program into several modules which brings along several advantages in software development.
