Search Sciweavers | Sciweavers

1151 search results - page 3 / 231

» Collaborative Programming: Applications of Logic and Automat...

121

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 2 months ago

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

click to vote

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

15 years 2 months ago

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

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

Download ds.lib.kyutech.ac.jp

Eric Martin, Arun Sharma

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

Download www.qatar.cmu.edu

Iliano Cervesato

claim paper

Read More »

click to vote

LOPSTR
1998
Springer

101views Automated Reasoning» more LOPSTR 1998»

Specialising Logic Programs with Respect to Call?Post Specifications

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers