7988 search results - page 85 / 1598 » A Useful Undecidable Theory |
FMCAD
2000
Springer
14 years 16 days ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
TEDU
2012
12 years 4 months ago
2012
This paper takes a look at narrative forms as of yet unexplored in the field of digital interactive storytelling, and proposes methods for how they can be used in engaging ways fo...
DALT
2006
Springer
14 years 18 days ago
2006
Springer
Ontologies play a key role in agent communication and the emerging Semantic Web to define a vocabulary of concepts and their relationships. Different agents and web services may us...
KI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
EUSAI
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...