478 search results - page 54 / 96 » Formal Modelling of Cognitive Interpretation |
120
Voted
ENTCS
2007
15 years 3 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
124
Voted
PUC
2008
15 years 2 months ago
2008
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
161
click to vote
AGI
2011
14 years 7 months ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...
116
click to vote
JAIR
2006
15 years 3 months ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
108
Voted
SYNASC
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...