Sciweavers

11909 search results - page 367 / 2382

» The Scheme Programming Language

169

Voted

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

16 years 1 months ago

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

152

Voted

ICLP
2007
Springer

106views Automated Reasoning» more ICLP 2007»

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

16 years 1 months ago

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

161

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

16 years 1 months ago

Answer Set Programming for the Semantic Web

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

165

Voted

PPDP
2007
Springer

90views Programming Languages» more PPDP 2007»

Nonmonotonic inductive logic programming by instance patterns

16 years 1 months ago

Nonmonotonic inductive logic programming by instance patterns

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

160

APLAS
2005
ACM

91views Programming Languages» more APLAS 2005»

Termination Analysis of Higher-Order Functional Programs

16 years 1 months ago

Termination Analysis of Higher-Order Functional Programs

Download metacomp.comlab.ox.ac.uk

Damien Sereni, Neil D. Jones

claim paper

Read More »

« Prev « First page 367 / 2382 Last » Next »