Sciweavers

3572 search results - page 199 / 715

» Nominal Logic Programming

156

Voted

CORR
2006
Springer

126views Education» more CORR 2006»

Logic programs with monotone abstract constraint atoms

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

120

Voted

CORR
2007
Springer

117views Education» more CORR 2007»

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

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

61

Voted

CORR
2007
Springer

85views Education» more CORR 2007»

Querying XML Documents in Logic Programming

15 years 3 months ago

Querying XML Documents in Logic Programming

Download indalog.ual.es

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

claim paper

Read More »

81

Voted

CORR
2007
Springer

107views Education» more CORR 2007»

Automatic Coding Rule Conformance Checking Using Logic Programs

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

104

JANCL
2006

45views more JANCL 2006»

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

15 years 3 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 199 / 715 Last » Next »