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

scholarly journals Overlapping Rules and Logic Variables in Functional Logic Programs

2006 ◽  
pp. 87-101 ◽  
Author(s):  
Sergio Antoy ◽  
Michael Hanus
Keyword(s):  
Logic Programs ◽  
Functional Logic

scholarly journals Generality Relations in Answer Set Programming

2006 ◽  
pp. 211-225 ◽  
Author(s):  
Katsumi Inoue ◽  
Chiaki Sakama
Keyword(s):  
Answer Set Programming ◽  
Answer Set

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs

2006 ◽  
pp. 56-71 ◽  
Author(s):  
Diptikalyan Saha ◽  
C. R. Ramakrishnan
Keyword(s):  
Local Algorithm ◽  
Logic Programs ◽  
Incremental Evaluation ◽  
Tabled Logic Programs

Deducing Logic Programs

2006 ◽  
pp. 471-472
Author(s):  
Ka-Shu Wong
Keyword(s):  
Logic Programs

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

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming

2006 ◽  
pp. 376-390 ◽  
Author(s):  
Chitta Baral ◽  
Juraj Dzifcak ◽  
Hiro Takahashi
Keyword(s):  
Answer Set Programming ◽  
Answer Set

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document