422 search results - page 38 / 85 » On Modal Refinement and Consistency |
130
click to vote
CCIA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
130
click to vote
HHCI
2000
15 years 7 months ago
2000
Projection-augmented models are a type of non-immersive, coincident haptic and visual display that uses a physical model as a three dimensional screen for projected visual informa...
125
click to vote
LPNMR
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
137
click to vote
AIML
2006
15 years 5 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
125
click to vote
IADIS
2004
15 years 5 months ago
2004
The management of the relationship between student and learning environment during an e-learning process is a fundamental item both from the pedagogical and technical point of vie...