4229 search results - page 545 / 846 » Modeling Human Intelligence as A Slow Intelligence System |
186
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
151
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
We propose an extended relational database model which can model both uncertainty and imprecision in data. This model is basedon Dempster-Shafertheory which has become popular in ...
183
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
166
click to vote
KI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
167
click to vote
BIBM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...