Sciweavers

3970 search results - page 155 / 794

» A Logic For Causal Reasoning

25

CSL
2004
Springer

98views Automated Reasoning» more CSL 2004»

On Proof Nets for Multiplicative Linear Logic with Units

14 years 1 months ago

On Proof Nets for Multiplicative Linear Logic with Units

Download www.loria.fr

Lutz Straßburger, François Lamarche

claim paper

Read More »

20

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

14 years 1 months ago

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

21

KR
2004
Springer

92views Automated Reasoning» more KR 2004»

Weak Nonmonotonic Probabilistic Logics

14 years 1 months ago

Weak Nonmonotonic Probabilistic Logics

Download www.kr.org

Thomas Lukasiewicz

claim paper

Read More »

16

LPAR
2004
Springer

62views Automated Reasoning» more LPAR 2004»

Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals

14 years 1 months ago

Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals

Download www.cse.iitd.ernet.in

M. Jamshid Bagherzadeh, S. Arun-Kumar

claim paper

Read More »

24

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

14 years 1 months ago

Implementing Efficient Resource Management for Linear Logic Programming

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

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