Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

54
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540366355, 9783540366362
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logic Programming in Knowledge Domains

2006 ◽  
pp. 451-452
Author(s):  
Andrei Mantsivoda ◽  
Vladimir Lipovchenko ◽  
Anton Malykh
Keyword(s):  
Logic Programming ◽  
Knowledge Domains

An External Module for Implementing Linear Tabling in Prolog

2006 ◽  
pp. 429-430 ◽  
Author(s):  
Cláudio Silva ◽  
Ricardo Rocha ◽  
Ricardo Lopes

Coinductive Logic Programming

2006 ◽  
pp. 330-345 ◽  
Author(s):  
Luke Simon ◽  
Ajay Mallya ◽  
Ajay Bansal ◽  
Gopal Gupta
Keyword(s):  
Logic Programming

scholarly journals TOAST: Applying Answer Set Programming to Superoptimisation

2006 ◽  
pp. 270-284 ◽  
Author(s):  
Martin Brain ◽  
Tom Crick ◽  
Marina De Vos ◽  
John Fitch
Keyword(s):  
Answer Set Programming ◽  
Answer Set

scholarly journals Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation

2006 ◽  
pp. 431-432 ◽  
Author(s):  
Edison Mera ◽  
Pedro López-García ◽  
Germán Puebla ◽  
Manuel Carro ◽  
Manuel Hermenegildo
Keyword(s):  
Static Analysis ◽  
Execution Time ◽  
Logic Program ◽  
Time Estimation ◽  
Program Execution
Load More ...
Sign in / Sign up

Export Citation Format

Share Document