4229 search results - page 638 / 846 » Modeling Human Intelligence as A Slow Intelligence System |
151
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
143
click to vote
MATES
2005
Springer
15 years 10 months ago
2005
Springer
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 dec...
146
click to vote
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
ADDS (Approach to Document-based Development of Software) is an approach to the development of applications based on a document-oriented paradigm. According to this paradigm, appli...
166
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
125
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...