Search Sciweavers | Sciweavers

4401 search results - page 152 / 881

» Computing with Default Logic

click to vote

WOLLIC
2007
Springer

83views Artificial Intelligence» more WOLLIC 2007»

Pregroup Calculus as a Logic Functor

14 years 4 months ago

Download www.irisa.fr

Annie Foret

claim paper

Read More »

click to vote

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

14 years 4 months ago

Download www.easychair.org

Andreas Blass

claim paper

Read More »

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

14 years 3 months ago

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

14 years 3 months ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

click to vote

ACMACE
2005
ACM

120views Human Computer Interaction» more ACMACE 2005»

Scenario analysis based on linear logic

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers