2766 search results - page 354 / 554 » Hybridizing a Logical Framework |
183
click to vote
LPNMR
2007
Springer
16 years 22 days 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...
177
click to vote
EDOC
2006
IEEE
16 years 20 days 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...
160
click to vote
RULEML
2005
Springer
16 years 3 days 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...
180
click to vote
DEON
2004
Springer
16 years 8 hour 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...
157
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...