Search Sciweavers | Sciweavers

3481 search results - page 207 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

100

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 7 months ago

Download www.damas.ift.ulaval.ca

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

claim paper

Read More »

120

click to vote

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

15 years 7 months ago

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

108

Voted

ILP
1999
Springer

88views Automated Reasoning» more ILP 1999»

On Sufficient Conditions for Learnability of Logic Programs from Positive Data

15 years 7 months ago

Download ds.lib.kyutech.ac.jp

Eric Martin, Arun Sharma

claim paper

Read More »

103

click to vote

DIS
1998
Springer

92views Theoretical Computer Science» more DIS 1998»

Biochemical Knowledge Discovery Using Inductive Logic Programming

15 years 7 months ago

Download www.doc.ic.ac.uk

Stephen Muggleton, Ashwin Srinivasan, Ross D. King...

claim paper

Read More »

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers