Sciweavers

3470 search results - page 98 / 694

» Head-Elementary-Set-Free Logic Programs

115

DAGSTUHL
2007

68views Software Engineering» more DAGSTUHL 2007»

Expressing and Verifying Business Contracts with Abductive Logic Programming

15 years 7 months ago

Expressing and Verifying Business Contracts with Abductive Logic Programming

Download drops.dagstuhl.de

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

claim paper

Read More »

110

Voted

COMMA
2008

86views Applied Computing» more COMMA 2008»

A Distributed Argumentation Framework using Defeasible Logic Programming

15 years 7 months ago

A Distributed Argumentation Framework using Defeasible Logic Programming

Download www.irit.fr

Matthias Thimm, Gabriele Kern-Isberner

claim paper

Read More »

143

PLANX
2007

73views Programming Languages» more PLANX 2007»

XCentric: A Logic-Programming Language for XML Processing

15 years 7 months ago

XCentric: A Logic-Programming Language for XML Processing

Download www.dcc.fc.up.pt

Jorge Coelho, Mário Florido

claim paper

Read More »

179

SWAP
2008

182views Internet Technology» more SWAP 2008»

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting

15 years 7 months ago

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting

Download sunsite.informatik.rwth-aachen.de

Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...

Federico Chesani, Paola Mello, Marco Montali, Paol...

claim paper

Read More »

117

Voted

AAAI
2006

102views Intelligent Agents» more AAAI 2006»

Elementary Sets of Logic Programs

15 years 7 months ago

Elementary Sets of Logic Programs

Download www.aaai.org

Martin Gebser, Joohyung Lee, Yuliya Lierler

claim paper

Read More »

« Prev « First page 98 / 694 Last » Next »