2638 search results - page 232 / 528 » Frameworks for Reasoning about Agent Based Systems |
175
click to vote
CAISE
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
195
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
187
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper is focused on reducing the design time in a CAD framework environment by the optimal use of resources. A user-transparent load distribution system (Framework based LOad...
136
click to vote
COLING
2008
15 years 8 months ago
2008
Various types of structural information e.g., about the type of constructions in which binding constraints apply, or about the structure of names - play a central role in corefere...
141
click to vote
IGPL
2010
15 years 5 months ago
2010
Collective rationality in its ordinary sense is rationality’s extension to groups. It does not entail efficiency by definition. Showing that it entails efficiency requires a nor...