Sciweavers

2585 search results - page 61 / 517

» Automating Coherent Logic

146

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

16 years 13 days ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

110

CSL
2007
Springer

75views Automated Reasoning» more CSL 2007»

Satisfiability of a Spatial Logic with Tree Variables

16 years 10 days ago

Satisfiability of a Spatial Logic with Tree Variables

Download www.ulb.ac.be

Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison

claim paper

Read More »

112

CSL
2007
Springer

102views Automated Reasoning» more CSL 2007»

Classical and Intuitionistic Logic Are Asymptotically Identical

16 years 10 days ago

Classical and Intuitionistic Logic Are Asymptotically Identical

Download users.dimi.uniud.it

Hervé Fournier, Danièle Gardy, Antoi...

claim paper

Read More »

155

ECSQARU
2007
Springer

110views Automated Reasoning» more ECSQARU 2007»

A Revised Qualitative Choice Logic for Handling Prioritized Preferences

16 years 10 days ago

A Revised Qualitative Choice Logic for Handling Prioritized Preferences

Download placid.insa-rouen.fr

Salem Benferhat, Karima Sedki

claim paper

Read More »

143

Voted

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

16 years 10 days ago

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

« Prev « First page 61 / 517 Last » Next »