1178 search results - page 97 / 236 » An Approach to Exploring Description Logic Knowledge Bases |
176
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
162
click to vote
APN
2001
Springer
15 years 10 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
167
click to vote
IAT
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
181
click to vote
AGILEDC
2007
IEEE
16 years 21 days ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
195
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...