BIRTHDAY 2005 | Sciweavers

30

BIRTHDAY
2005
Springer

124views Applied Computing» more BIRTHDAY 2005»

14 years 2 months ago

Abstract. The paper reminds of the vision behind Intellectics, the discipline of Articial Intelligence (AI) and Cognitive Science, and argues that the time has come for attacking ...

Wolfgang Bibel

claim paper

Read More »

34

click to vote

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective

14 years 2 months ago

Download www.robotic.de

Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then eﬀectively decided using state-of-th...

Alessandro Armando, Claudio Castellini, Enrico Giu...

claim paper

Read More »

16

click to vote

BIRTHDAY
2005
Springer

90views Applied Computing» more BIRTHDAY 2005»

Reichenbach, Prior and Montague: A Semantic Get-together

14 years 2 months ago

Download www.loria.fr

Carlos Areces, Patrick Blackburn

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers