4370 search results - page 298 / 874 » Algebra of Logic Programming |
108
Voted
FUIN
2006
15 years 22 days ago
2006
In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads ar...
91
Voted
KI
2009
Springer
15 years 5 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
111
click to vote
IJAR
2008
15 years 22 days ago
2008
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...
116
click to vote
APIN
2000
15 years 17 days ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
108
Voted
IFM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...