Sciweavers

36 search results - page 1 / 8

» iclp 2007

7

ICLP
2007
Springer

63views Automated Reasoning» more ICLP 2007»

Multi-paradigm Declarative Languages

13 years 10 months ago

Multi-paradigm Declarative Languages

Download www.dcc.fc.up.pt

Michael Hanus

claim paper

Read More »

10

ICLP
2007
Springer

78views Automated Reasoning» more ICLP 2007»

Preferences, Contexts and Answer Sets

13 years 10 months ago

Preferences, Contexts and Answer Sets

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

8

ICLP
2007
Springer

129views Automated Reasoning» more ICLP 2007»

ASP-PROLOG: Composition and Interoperation of Rules

13 years 10 months ago

ASP-PROLOG: Composition and Interoperation of Rules

Download sunsite.informatik.rwth-aachen.de

Enrico Pontelli

claim paper

Read More »

8

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

13 years 10 months ago

Answer Set Programming for the Semantic Web

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

7

ICLP
2007
Springer

96views Automated Reasoning» more ICLP 2007»

Prosper: A Framework for Extending Prolog Applications with a Web Interface

13 years 10 months ago

Prosper: A Framework for Extending Prolog Applications with a Web Interface

Download prospear.sourceforge.net

Levente Hunyadi

claim paper

Read More »

« Prev « First page 1 / 8 Last » Next »