Sciweavers

4617 search results - page 36 / 924

» Automation of Diagrammatic Reasoning

126

CSL
1997
Springer

88views Automated Reasoning» more CSL 1997»

Resolution and the Weak Pigeonhole Principle

15 years 10 months ago

Resolution and the Weak Pigeonhole Principle

Download euclid.ucsd.edu

Samuel R. Buss, Toniann Pitassi

claim paper

Read More »

139

ECSQARU
1997
Springer

139views Automated Reasoning» more ECSQARU 1997»

Some Experimental Results on Learning Probabilistic and Possibilistic Networks with Different Evaluation Measures

15 years 10 months ago

Some Experimental Results on Learning Probabilistic and Possibilistic Networks with Different Evaluation Measures

Download www.borgelt.net

Christian Borgelt, Rudolf Kruse

claim paper

Read More »

146

ECSQARU
1997
Springer

134views Automated Reasoning» more ECSQARU 1997»

Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases

15 years 10 months ago

Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases

Download www.cril.univ-artois.fr

Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...

claim paper

Read More »

124

LICS
1996
IEEE

99views Automated Reasoning» more LICS 1996»

A Temporal-Logic Approach to Binding-Time Analysis

15 years 10 months ago

A Temporal-Logic Approach to Binding-Time Analysis

Download www.brics.dk

Rowan Davies

claim paper

Read More »

124

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

15 years 10 months ago

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

Download www.mathstat.dal.ca

Peter Selinger

claim paper

Read More »

« Prev « First page 36 / 924 Last » Next »