Sciweavers

3566 search results - page 187 / 714

» Signed Logic Programs

112

CORR
2006
Springer

126views Education» more CORR 2006»

Logic programs with monotone abstract constraint atoms

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

89

CORR
2007
Springer

117views Education» more CORR 2007»

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

14 years 11 months ago

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

Download www.clip.dia.fi.upm.es

Edison Mera, Pedro López-García, Ger...

claim paper

Read More »

39

CORR
2007
Springer

85views Education» more CORR 2007»

Querying XML Documents in Logic Programming

14 years 11 months ago

Querying XML Documents in Logic Programming

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

60

CORR
2007
Springer

107views Education» more CORR 2007»

Automatic Coding Rule Conformance Checking Using Logic Programs

14 years 11 months ago

Automatic Coding Rule Conformance Checking Using Logic Programs

Download www.ggcc.info

Guillem Marpons-Ucero, Julio Mariño, &Aacut...

claim paper

Read More »

67

JANCL
2006

45views more JANCL 2006»

Some (in)translatability results for normal logic programs and propositional theories

14 years 11 months ago

Some (in)translatability results for normal logic programs and propositional theories

Download users.ics.tkk.fi

Tomi Janhunen

claim paper

Read More »

« Prev « First page 187 / 714 Last » Next »