Sciweavers

606 search results - page 18 / 122

» Constraint Hierarchies and Logic Programming

136

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

15 years 10 months ago

Slicing of Constraint Logic Programs

Download www.ep.liu.se

Gyöngyi Szilágyi, Tibor Gyimóth...

claim paper

Read More »

190

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 »

208

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 10 months ago

Functional and Constraint Logic Programming

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

140

AAAI
2006

132views Intelligent Agents» more AAAI 2006»

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

15 years 7 months ago

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

Download www.jair.org

Tran Cao Son, Enrico Pontelli, Phan Huy Tu

claim paper

Read More »

136

ISMB
1994

91views Computational Biology» more ISMB 1994»

A Restriction Mapping Engine Using Constraint Logic Programming

15 years 7 months ago

A Restriction Mapping Engine Using Constraint Logic Programming

Download www.aaai.org

Restrictionmappinggenerallyrequires the applicationof information from various digestions by restriction enzymesto find solution sets. Weuse boththe predicate calculusandconstrain...

Trevor I. Dix, Chut N. Yee

claim paper

Read More »

« Prev « First page 18 / 122 Last » Next »