839 search results - page 91 / 168 » A Cognitive Approach to the Mechanism of Intelligence |
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Self-assembly is a distributed, asynchronous mechanism that is pervasive across natural systems where hierarchical complex structures are built from the bottom-up. The ...
CEEMAS
2007
Springer
14 years 3 months ago
2007
Springer
Future agent mediated eCommerce will involve open systems of agents interoperating between different institutions, where different auction protocols may be in use. We argue that i...
ICAISC
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a novel approach to financial time series analysis and prediction. It is mainly devoted to the problem of forecasting university facility and administrative co...
AGP
2010
IEEE
14 years 2 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...