Sciweavers

3776 search results - page 126 / 756

» Partition-Based Logical Reasoning

112

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

15 years 9 months ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

81

CSL
2007
Springer

75views Automated Reasoning» more CSL 2007»

Satisfiability of a Spatial Logic with Tree Variables

15 years 9 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 »

82

CSL
2007
Springer

102views Automated Reasoning» more CSL 2007»

Classical and Intuitionistic Logic Are Asymptotically Identical

15 years 9 months ago

Classical and Intuitionistic Logic Are Asymptotically Identical

Download users.dimi.uniud.it

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

claim paper

Read More »

118

Voted

ECSQARU
2007
Springer

110views Automated Reasoning» more ECSQARU 2007»

A Revised Qualitative Choice Logic for Handling Prioritized Preferences

15 years 9 months ago

A Revised Qualitative Choice Logic for Handling Prioritized Preferences

Download placid.insa-rouen.fr

Salem Benferhat, Karima Sedki

claim paper

Read More »

114

Voted

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

15 years 9 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 126 / 756 Last » Next »