Sciweavers

3546 search results - page 201 / 710

» A Causal Logic of Logic Programming

170

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 »

131

CORR
2007
Springer

117views Education» more CORR 2007»

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

15 years 4 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 »

72

CORR
2007
Springer

85views Education» more CORR 2007»

Querying XML Documents in Logic Programming

15 years 4 months ago

Querying XML Documents in Logic Programming

Download indalog.ual.es

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

claim paper

Read More »

91

CORR
2007
Springer

107views Education» more CORR 2007»

Automatic Coding Rule Conformance Checking Using Logic Programs

15 years 4 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 »

113

JANCL
2006

45views more JANCL 2006»

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

15 years 4 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 201 / 710 Last » Next »