10568 search results - page 163 / 2114 » Computer Intelligence and Formalization |
AOSE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
JUCS
2008
14 years 10 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
AGI
2011
14 years 1 months ago
2011
The ability to identify novel patterns in observations is an essential aspect of intelligence. In a computational framework, the notion of a pattern can be formalized as a program ...
AGP
1995
IEEE
15 years 1 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
HAPTICS
2010
IEEE
15 years 3 months ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...