Sciweavers

18 search results - page 1 / 4

» lpar 2004

10

LPAR
2004
Springer

89views Automated Reasoning» more LPAR 2004»

Ordered Resolution with Selection for H(@)

13 years 10 months ago

Ordered Resolution with Selection for H(@)

Download glyc.dc.uba.ar

Carlos Areces, Daniel Gorín

claim paper

Read More »

14

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

13 years 10 months ago

Implementing Efficient Resource Management for Linear Logic Programming

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

15

LPAR
2004
Springer

96views Automated Reasoning» more LPAR 2004»

Reasoning About Systems with Transition Fairness

13 years 10 months ago

Reasoning About Systems with Transition Fairness

Download research.microsoft.com

Benjamin Aminof, Thomas Ball, Orna Kupferman

claim paper

Read More »

10

LPAR
2004
Springer

62views Automated Reasoning» more LPAR 2004»

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

13 years 10 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 »

19

LPAR
2004
Springer

130views Automated Reasoning» more LPAR 2004»

Evaluating QBFs via Symbolic Skolemization

13 years 10 months ago

Evaluating QBFs via Symbolic Skolemization

Download www.univ-orleans.fr

Abstract. We describe a novel decision procedure for Quantiﬁed Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantiﬁed reasoning in applications. The Sk...

Marco Benedetti

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »