Search Sciweavers | Sciweavers

3926 search results - page 254 / 786

» A Logic of Object-Oriented Programs

202

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 11 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

138

click to vote

SIGECOM
1999
ACM

90views ECommerce» more SIGECOM 1999»

A declarative approach to business rules in contracts: courteous logic programs in XML

15 years 11 months ago

Download www.damas.ift.ulaval.ca

Benjamin N. Grosof, Yannis Labrou, Hoi Y. Chan

claim paper

Read More »

217

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 11 months ago

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

161

click to vote

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

15 years 11 months ago

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

142

click to vote

ILP
1999
Springer

88views Automated Reasoning» more ILP 1999»

On Sufficient Conditions for Learnability of Logic Programs from Positive Data

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers