299 search results - page 38 / 60 » A General Framework for Reasoning about Inconsistency |
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—In decentralized settings with partial observability, agents can often benefit from communicating, but communication resources may be limited and costly. Current approaches ten...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
KCAP
2003
ACM
14 years 27 days ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents a framework for specifying Web services communities. A Web service is an accessible application that humans, software agents, and other applications in general ...
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...