639 search results - page 14 / 128 » Engineering intelligent systems on the knowledge formalizati... |
141
click to vote
APSEC
2002
IEEE
15 years 6 months ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...
107
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
122
click to vote
ICIC
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...
138
Voted
WLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The maintenance of large knowledge systems usually is a rather complex task. In this paper we will show that extensions or modifications of a knowledge base can be suppo...
103
Voted
FLAIRS
2008
15 years 4 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...