Sciweavers

3546 search results - page 178 / 710

» A Causal Logic of Logic Programming

161

JELIA
2004
Springer

84views Artificial Intelligence» more JELIA 2004»

Automatic Compilation of Protocol Insecurity Problems into Logic Programming

16 years 12 days ago

Automatic Compilation of Protocol Insecurity Problems into Logic Programming

Download www.ai-lab.it

Alessandro Armando, Luca Compagna, Yuliya Lierler

claim paper

Read More »

156

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

16 years 12 days ago

Abductive Logic Programming with CIFF: System Description

Download staff.science.uva.nl

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

claim paper

Read More »

161

JELIA
2004
Springer

100views Artificial Intelligence» more JELIA 2004»

Equivalence of Logic Programs Under Updates

16 years 12 days ago

Equivalence of Logic Programs Under Updates

Download research.nii.ac.jp

Katsumi Inoue, Chiaki Sakama

claim paper

Read More »

145

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

16 years 12 days 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 »

187

Voted

KR
2004
Springer

136views Automated Reasoning» more KR 2004»

Condensed Representations for Inductive Logic Programming

16 years 12 days 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 »

« Prev « First page 178 / 710 Last » Next »