2490 search results - page 186 / 498 » Complexity of Contextual Reasoning |
128
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
143
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
145
click to vote
CBMS
2007
IEEE
15 years 11 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
141
Voted
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...
155
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...