Sciweavers

3481 search results - page 203 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

108

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

15 years 8 months ago

Abductive Logic Programming with CIFF: System Description

Download staff.science.uva.nl

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...

claim paper

Read More »

113

JELIA
2004
Springer

100views Artificial Intelligence» more JELIA 2004»

Equivalence of Logic Programs Under Updates

15 years 8 months ago

Equivalence of Logic Programs Under Updates

Download research.nii.ac.jp

Katsumi Inoue, Chiaki Sakama

claim paper

Read More »

99

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

15 years 8 months ago

Combining Answer Set Programming with Description Logics for the Semantic Web

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

140

Voted

KR
2004
Springer

136views Automated Reasoning» more KR 2004»

Condensed Representations for Inductive Logic Programming

15 years 8 months ago

Condensed Representations for Inductive Logic Programming

Download dtai.cs.kuleuven.be

When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...

Luc De Raedt, Jan Ramon

claim paper

Read More »

127

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

15 years 8 months ago

Implementing Efficient Resource Management for Linear Logic Programming

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

« Prev « First page 203 / 697 Last » Next »