Search Sciweavers | Sciweavers

3738 search results - page 206 / 748

» Parametrized Logic Programming

160

Voted

FLOPS
2008
Springer

82views Automated Reasoning» more FLOPS 2008»

Quantitative Logic Programming Revisited

15 years 8 months ago

Download gpd.sip.ucm.es

Mario Rodríguez-Artalejo, Carlos A. Romero-...

claim paper

Read More »

181

click to vote

FOIKS
2008
Springer

120views Information Technology» more FOIKS 2008»

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings

15 years 8 months ago

Download ki.informatik.uni-mannheim.de

Andrea Calì, Thomas Lukasiewicz, Livia Pred...

claim paper

Read More »

124

click to vote

DAGSTUHL
2007

68views Software Engineering» more DAGSTUHL 2007»

Expressing and Verifying Business Contracts with Abductive Logic Programming

15 years 8 months ago

Download drops.dagstuhl.de

Marco Alberti, Federico Chesani, Marco Gavanelli, ...

claim paper

Read More »

123

Voted

COMMA
2008

86views Applied Computing» more COMMA 2008»

A Distributed Argumentation Framework using Defeasible Logic Programming

15 years 8 months ago

Download www.irit.fr

Matthias Thimm, Gabriele Kern-Isberner

claim paper

Read More »

162

Voted

PLANX
2007

73views Programming Languages» more PLANX 2007»

XCentric: A Logic-Programming Language for XML Processing

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers