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 Generality Relations in Answer Set Programming

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

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