1622 search results - page 97 / 325 » A Collection of Definitions of Intelligence |
119
click to vote
AIPS
1996
15 years 5 months ago
1996
Weshowthat by inferring parametexdomainsof planningoperators,given the definitions of the operators and the initial and goal conditions, we can often speed up the planning process...
118
Voted
AAAI
1990
15 years 5 months ago
1990
Joint action by a team does not consist merely of simultaneous and coordinated individual actions; to act together, a team must be aware of and care about the status of the group ...
136
click to vote
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...
116
click to vote
CCIA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
130
click to vote
AI
2005
Springer
15 years 3 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...