Sciweavers

2540 search results - page 6 / 508

» Abstract Logics as Dialgebras

129

SUM
2009
Springer

105views Information Technology» more SUM 2009»

Bridging the Gap between Abstract Argumentation Systems and Logic

15 years 10 months ago

Bridging the Gap between Abstract Argumentation Systems and Logic

Download www.irit.fr

Leila Amgoud, Philippe Besnard

claim paper

Read More »

135

CSL
2001
Springer

93views Automated Reasoning» more CSL 2001»

A Logic for Abstract State Machines

15 years 10 months ago

A Logic for Abstract State Machines

Download www.jucs.org

Robert F. Stärk, Stanislas Nanchen

claim paper

Read More »

191

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 10 months ago

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

141

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

15 years 3 months ago

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

143

CADE
2004
Springer

114views Logical Reasoning» more CADE 2004»

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract

16 years 6 months ago

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract

Download users.info.unicaen.fr

Àngel J. Gil, Bruno Zanuttini, Gernot Salze...

claim paper

Read More »

« Prev « First page 6 / 508 Last » Next »