Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

48
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319232638, 9783319232645
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Solving Disjunctive Fuzzy Answer Set Programs

2015 ◽  
pp. 453-466 ◽  
Author(s):  
Mushthofa Mushthofa ◽  
Steven Schockaert ◽  
Martine De Cock
Keyword(s):  
Answer Set

Integrating ASP into ROS for Reasoning in Robots

2015 ◽  
pp. 69-82 ◽  
Author(s):  
Benjamin Andres ◽  
David Rajaratnam ◽  
Orkunt Sabuncu ◽  
Torsten Schaub

Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics

2015 ◽  
pp. 55-68 ◽  
Author(s):  
Benjamin Andres ◽  
Alexander Biewer ◽  
Javier Romero ◽  
Christian Haubelt ◽  
Torsten Schaub
Keyword(s):  
System Synthesis ◽  
Domain Specific

Progress in clasp Series 3

2015 ◽  
pp. 368-383 ◽  
Author(s):  
Martin Gebser ◽  
Roland Kaminski ◽  
Benjamin Kaufmann ◽  
Javier Romero ◽  
Torsten Schaub
Load More ...
Sign in / Sign up

Export Citation Format

Share Document