Sciweavers

2379 search results - page 90 / 476
» Aspectizing Multi-agent Systems: From Architecture to Implem...
Sort
View
COMPSAC
2009
IEEE
15 years 8 months ago
The Design and Implementation of a Bare PC Email Server
— This paper presents the architecture, design and implementation of an email server that runs on a bare PC without an operating system or hard-disk. In addition to providing sta...
George H. Ford Jr., Ramesh K. Karne, Alexander L. ...
JSC
2006
122views more  JSC 2006»
15 years 1 months ago
An automated prover for Zermelo-Fraenkel set theory in Theorema
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
Wolfgang Windsteiger
138
Voted
COGSR
2011
88views more  COGSR 2011»
14 years 8 months ago
Reactive goal management in a cognitive architecture
Goals play an important role in human cognition. Different aspects of human mind influence the generation of goals they pursue, and the goals guide their behaviors. In psychology...
Dongkyu Choi
CORR
2004
Springer
113views Education» more  CORR 2004»
15 years 1 months ago
Pattern Reification as the Basis for Description-Driven Systems
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in desig...
Florida Estrella, Zsolt Kovacs, Jean-Marie Le Goff...
ATAL
2005
Springer
15 years 7 months ago
A BDI architecture for goal deliberation
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for de...
Alexander Pokahr, Lars Braubach, Winfried Lamersdo...