Search Sciweavers | Sciweavers

2540 search results - page 6 / 508

» Abstract Logics as Dialgebras

click to vote

SUM
2009
Springer

105views Information Technology» more SUM 2009»

Bridging the Gap between Abstract Argumentation Systems and Logic

15 years 4 months ago

Download www.irit.fr

Leila Amgoud, Philippe Besnard

claim paper

Read More »

click to vote

CSL
2001
Springer

93views Automated Reasoning» more CSL 2001»

A Logic for Abstract State Machines

15 years 4 months ago

Download www.jucs.org

Robert F. Stärk, Stanislas Nanchen

claim paper

Read More »

111

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 4 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

click to vote

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

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

14 years 9 months ago

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

click to vote

CADE
2004
Springer

114views Logical Reasoning» more CADE 2004»

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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers