9145 search results - page 328 / 1829 » Description Logic Systems |
173
click to vote
ECAL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We do not attempt to provide yet another definition of selforganization, but explore the conditions under which we can model a system as self-organizing. These involve th...
201
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
204
click to vote
ISMVL
1993
IEEE
15 years 11 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
166
click to vote
PDSE
1998
15 years 8 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
264
click to vote
FCCM
2006
IEEE
16 years 24 days ago
2006
IEEE
Current Radio Frequency Identification (RFID) systems generally have long design times and low tolerance to changes in specification. This paper describes a field programmable,...