Sciweavers

1313 search results - page 9 / 263

» Prioritized Reasoning in Logic Programming

172

Voted

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 8 months ago

Functional and Constraint Logic Programming

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

122

Voted

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

15 years 8 months ago

Choice Logic Programs and Nash Equilibria in Strategic Games

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

111

Voted

ILP
1999
Springer

88views Automated Reasoning» more ILP 1999»

On Sufficient Conditions for Learnability of Logic Programs from Positive Data

15 years 8 months ago

On Sufficient Conditions for Learnability of Logic Programs from Positive Data

Download ds.lib.kyutech.ac.jp

Eric Martin, Arun Sharma

claim paper

Read More »

96

Voted

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 8 months ago

Proof-Theoretic Foundation of Compilation in Logic Programming

Download www.qatar.cmu.edu

Iliano Cervesato

claim paper

Read More »

93

Voted

LOPSTR
1998
Springer

101views Automated Reasoning» more LOPSTR 1998»

Specialising Logic Programs with Respect to Call?Post Specifications

15 years 8 months ago

Specialising Logic Programs with Respect to Call?Post Specifications

Download www.dsi.unive.it

Annalisa Bossi, Sabina Rossi

claim paper

Read More »

« Prev « First page 9 / 263 Last » Next »