4401 search results - page 250 / 881 » Computing with Default Logic |
179
click to vote
LOPSTR
2005
Springer
15 years 11 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
150
click to vote
IAT
2009
IEEE
16 years 7 days ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
192
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
190
click to vote
PODC
1990
ACM
15 years 9 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
176
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...