Sciweavers

BIRTHDAY
2005
Springer
14 years 2 months ago
Time for Thinking Big in AI
Abstract. The paper reminds of the vision behind Intellectics, the discipline of Arti cial Intelligence (AI) and Cognitive Science, and argues that the time has come for attacking ...
Wolfgang Bibel
BIRTHDAY
2005
Springer
14 years 2 months ago
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
Alessandro Armando, Claudio Castellini, Enrico Giu...
BIRTHDAY
2005
Springer
14 years 2 months ago
Reichenbach, Prior and Montague: A Semantic Get-together
Carlos Areces, Patrick Blackburn