Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

64
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642028458, 9783642028465
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Modular Nonmonotonic Logic Programming Revisited

2009 ◽  
pp. 145-159 ◽  
Author(s):  
Minh Dao-Tran ◽  
Thomas Eiter ◽  
Michael Fink ◽  
Thomas Krennwallner
Keyword(s):  
Logic Programming ◽  
Nonmonotonic Logic

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers

2009 ◽  
pp. 250-264 ◽  
Author(s):  
Martin Gebser ◽  
Roland Kaminski ◽  
Benjamin Kaufmann ◽  
Torsten Schaub

Constraint Answer Set Solving

2009 ◽  
pp. 235-249 ◽  
Author(s):  
Martin Gebser ◽  
Max Ostrowski ◽  
Torsten Schaub
Keyword(s):  
Answer Set

scholarly journals Using Histograms to Better Answer Queries to Probabilistic Logic Programs

2009 ◽  
pp. 40-54 ◽  
Author(s):  
Matthias Broecheler ◽  
Gerardo I. Simari ◽  
V. S. Subrahmanian
Keyword(s):  
Probabilistic Logic ◽  
Logic Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document