728 search results - page 69 / 146 » A Logical Approach to Represent and Reason about Calendars |
182
click to vote
AAAI
2007
15 years 9 months ago
2007
We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify th...
186
click to vote
IJCAI
1997
15 years 8 months ago
1997
We consider the frame problem, that is, char acterizing the assumption that properties tend to persist over time. We show that there are at least three distinct assumptions that...
188
click to vote
WLP
2004
Springer
16 years 5 days ago
2004
Springer
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...
170
click to vote
COMPSAC
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
181
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...