3658 search results - page 373 / 732 » The logic of proofs, semantically |
185
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
The problem of merging multiple sources information is central in many information processing areas such as databases integration problems, multiple criteria decision making, exper...
224
click to vote
ICLP
1994
Springer
15 years 11 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
211
click to vote
IWFM
2003
15 years 8 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
188
click to vote
SLP
1994
15 years 8 months ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
180
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...