Sciweavers

1143 search results - page 20 / 229

» Abstract Syntax and Logic Programming

116

AAAI
2006

132views Intelligent Agents» more AAAI 2006»

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

15 years 5 months ago

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

Download www.jair.org

Tran Cao Son, Enrico Pontelli, Phan Huy Tu

claim paper

Read More »

112

SLP
1994

88views more SLP 1994»

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

15 years 5 months ago

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

Download repository.readscheme.org

Neil D. Jones

claim paper

Read More »

126

AMW
2009

154views Knowledge Management» more AMW 2009»

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

15 years 5 months ago

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

Download sunsite.informatik.rwth-aachen.de

Leopoldo E. Bertossi

claim paper

Read More »

167

CORR
2006
Springer

126views Education» more CORR 2006»

Logic programs with monotone abstract constraint atoms

15 years 4 months ago

Logic programs with monotone abstract constraint atoms

Download www.cs.uky.edu

Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...

claim paper

Read More »

104

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

15 years 3 months ago

Abstract Interpretation Based Verification of Logic Programs

Download www.di.unipi.it

Giorgio Levi

claim paper

Read More »

« Prev « First page 20 / 229 Last » Next »