Sciweavers

36 search results - page 3 / 8

» iclp 2007

16

ICLP
2007
Springer

106views Automated Reasoning» more ICLP 2007»

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

13 years 11 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 »

9

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

13 years 11 months 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 »

13

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

13 years 11 months 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 »

7

ICLP
2007
Springer

91views Automated Reasoning» more ICLP 2007»

Aggregates in Constraint Handling Rules

13 years 8 months ago

Aggregates in Constraint Handling Rules

Download people.cs.kuleuven.be

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

claim paper

Read More »

9

ICLP
2007
Springer

123views Automated Reasoning» more ICLP 2007»

Logic Programming for Knowledge Representation

13 years 11 months 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 »