551 search results - page 46 / 111 » Formalizing the Logic-Automaton Connection |
DEXAW
2000
IEEE
15 years 2 months ago
2000
IEEE
One of the key problems of recent years has been the divide between theoretical work in agent-based systems and its practical complement which have, to a large extent, developed a...
ISPW
1994
IEEE
15 years 1 months ago
1994
IEEE
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
Current systems used in education follow a consistent design pattern, one that is not supportive of lifelong learning or personalization, is asymmetric in terms of user capability,...
AAAI
2008
15 years 3 days ago
2008
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
FLAIRS
2008
15 years 3 days ago
2008
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...