Sciweavers

3970 search results - page 151 / 794

» A Logic For Causal Reasoning

15

CSL
2007
Springer

102views Automated Reasoning» more CSL 2007»

Classical and Intuitionistic Logic Are Asymptotically Identical

14 years 2 months ago

Classical and Intuitionistic Logic Are Asymptotically Identical

Download users.dimi.uniud.it

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

claim paper

Read More »

20

ECSQARU
2007
Springer

110views Automated Reasoning» more ECSQARU 2007»

A Revised Qualitative Choice Logic for Handling Prioritized Preferences

14 years 2 months ago

A Revised Qualitative Choice Logic for Handling Prioritized Preferences

Download placid.insa-rouen.fr

Salem Benferhat, Karima Sedki

claim paper

Read More »

22

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

14 years 2 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 »

14

ICLP
2007
Springer

61views Automated Reasoning» more ICLP 2007»

Ontology Based Information Integration Using Logic Programming

14 years 2 months ago

Ontology Based Information Integration Using Logic Programming

Download sunsite.informatik.rwth-aachen.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

20

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

14 years 2 months ago

Visual Logic Programming Method Based on Structural Analysis and Design Technique

Download www.cplire.ru

Alexei A. Morozov

claim paper

Read More »

« Prev « First page 151 / 794 Last » Next »