Sciweavers

2585 search results - page 61 / 517

» Automating Coherent Logic

28

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

14 years 4 months ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

23

CSL
2007
Springer

75views Automated Reasoning» more CSL 2007»

Satisfiability of a Spatial Logic with Tree Variables

14 years 4 months 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 »

16

CSL
2007
Springer

102views Automated Reasoning» more CSL 2007»

Classical and Intuitionistic Logic Are Asymptotically Identical

14 years 4 months ago

Classical and Intuitionistic Logic Are Asymptotically Identical

Download users.dimi.uniud.it

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

claim paper

Read More »

27

ECSQARU
2007
Springer

110views Automated Reasoning» more ECSQARU 2007»

A Revised Qualitative Choice Logic for Handling Prioritized Preferences

14 years 4 months ago

A Revised Qualitative Choice Logic for Handling Prioritized Preferences

Download placid.insa-rouen.fr

Salem Benferhat, Karima Sedki

claim paper

Read More »

25

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

14 years 4 months 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 »