AMAI
2006
Springer
13 years 11 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...
AMAI
2006
Springer
2006
Springer
Functional and multivalued dependencies in nested databases generated by record and list constructor
13 years 11 months ago
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B