284 search results - page 18 / 57 » Formal Foundation for Pattern-Based Modelling |
115
click to vote
IJSI
2008
15 years 17 days ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
141
click to vote
ICCS
1999
Springer
15 years 4 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
107
Voted
ATAL
1997
Springer
15 years 4 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
91
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...