3983 search results - page 568 / 797 » Conceptual logic programs |
113
Voted
RULEML
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
140
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
161
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
180
click to vote
EASSS
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...
134
Voted
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...