4266 search results - page 178 / 854 » A Framework for Defining Logics |
177
click to vote
LOPSTR
2007
Springer
16 years 22 days ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
179
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
155
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
289
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
218
click to vote
VLDB
2007
ACM
16 years 21 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...