3658 search results - page 353 / 732 » The logic of proofs, semantically |
160
click to vote
APAL
2007
15 years 7 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentâ...
131
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
154
click to vote
GI
2005
Springer
16 years 12 days ago
2005
Springer
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
165
click to vote
JELIA
1998
Springer
15 years 11 months ago
1998
Springer
Appeared in: Dix, J., del Cerro, F. L., and Furbach, U., editors, Logics in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence 1489, Springer, pages...
162
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...