Search Sciweavers | Sciweavers

6554 search results - page 301 / 1311

» Constraint Logic Programming

127

click to vote

EUROMICRO
2000
IEEE

77views Software Engineering» more EUROMICRO 2000»

Logic Representation of Programs to Detect Arithmetic Anomalies

15 years 11 months ago

Download adt.et.upb.de

Fevzi Belli, Thomas Illgen

claim paper

Read More »

131

Voted

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 11 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

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 »

160

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