Sciweavers

4257 search results - page 240 / 852

» The Logical Modularity of Programs

157

JELIA
2004
Springer

84views Artificial Intelligence» more JELIA 2004»

Automatic Compilation of Protocol Insecurity Problems into Logic Programming

16 years 6 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 »

152

Voted

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

16 years 6 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 »

157

JELIA
2004
Springer

100views Artificial Intelligence» more JELIA 2004»

Equivalence of Logic Programs Under Updates

16 years 6 days ago

Equivalence of Logic Programs Under Updates

Download research.nii.ac.jp

Katsumi Inoue, Chiaki Sakama

claim paper

Read More »

140

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

16 years 6 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 »

182

Voted

KR
2004
Springer

136views Automated Reasoning» more KR 2004»

Condensed Representations for Inductive Logic Programming

16 years 6 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 240 / 852 Last » Next »