827 search results - page 106 / 166 » Proof-Theoretic Soundness and Completeness |
94
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
92
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Hierarchical Task-Network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the OWL-S service on...
101
click to vote
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
97
Voted
KR
1998
Springer
15 years 5 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
105
click to vote
ICLP
1997
Springer
15 years 4 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...