3468 search results - page 388 / 694 » An open logical framework |
164
click to vote
IDC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
154
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
140
Voted
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
123
click to vote
RULEML
2005
Springer
15 years 10 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...
141
click to vote
DEON
2004
Springer
15 years 10 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...