Sciweavers

5198 search results - page 290 / 1040

» A Logic of Agent Programs

80

CORR
2006
Springer

63views Education» more CORR 2006»

Nominal Logic Programming

15 years 6 months ago

Nominal Logic Programming

Download homepages.inf.ed.ac.uk

James Cheney, Christian Urban

claim paper

Read More »

204

CORR
2006
Springer

126views Education» more CORR 2006»

Logic programs with monotone abstract constraint atoms

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

159

CORR
2007
Springer

117views Education» more CORR 2007»

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

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

98

CORR
2007
Springer

85views Education» more CORR 2007»

Querying XML Documents in Logic Programming

15 years 6 months ago

Querying XML Documents in Logic Programming

Download indalog.ual.es

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

claim paper

Read More »

120

CORR
2007
Springer

107views Education» more CORR 2007»

Automatic Coding Rule Conformance Checking Using Logic Programs

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

« Prev « First page 290 / 1040 Last » Next »