Sciweavers

4573 search results - page 41 / 915

» Automated Reasoning

88

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

15 years 6 months ago

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

96

DEON
2004
Springer

88views Automated Reasoning» more DEON 2004»

Obligation Change in Dependence Logic and Situation Calculus

15 years 6 months ago

Obligation Change in Dependence Logic and Situation Calculus

Download www.irit.fr

Robert Demolombe, Andreas Herzig

claim paper

Read More »

87

CSL
2006
Springer

115views Automated Reasoning» more CSL 2006»

Abstracting Allocation

15 years 6 months ago

Abstracting Allocation

Download research.microsoft.com

Nick Benton

claim paper

Read More »

79

CSL
2006
Springer

142views Automated Reasoning» more CSL 2006»

Concurrent Games with Tail Objectives

15 years 6 months ago

Concurrent Games with Tail Objectives

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

81

CSL
2006
Springer

120views Automated Reasoning» more CSL 2006»

First-Order Queries over One Unary Function

15 years 6 months ago

First-Order Queries over One Unary Function

Download www.lif.univ-mrs.fr

Arnaud Durand, Frédéric Olive

claim paper

Read More »

« Prev « First page 41 / 915 Last » Next »