Sciweavers

36 search results - page 3 / 8

» iclp 2007

127

ICLP
2007
Springer

106views Automated Reasoning» more ICLP 2007»

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

16 years 1 days ago

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

148

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

16 years 1 days ago

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

Download gpd.sip.ucm.es

Rafael Caballero, Mario Rodríguez-Artalejo,...

claim paper

Read More »

124

Voted

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 1 days ago

Logic Programs with Abstract Constraint Atoms: The Role of Computations

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

127

ICLP
2007
Springer

91views Automated Reasoning» more ICLP 2007»

Aggregates in Constraint Handling Rules

15 years 9 months ago

Aggregates in Constraint Handling Rules

Download people.cs.kuleuven.be

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart...

claim paper

Read More »

138

ICLP
2007
Springer

123views Automated Reasoning» more ICLP 2007»

Logic Programming for Knowledge Representation

16 years 1 days ago

Logic Programming for Knowledge Representation

Download www.cs.uky.edu

This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.

Miroslaw Truszczynski

claim paper

Read More »

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