Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319733043, 9783319733050
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Optimizing Answer Set Computation via Heuristic-Based Decomposition

2017 ◽  
pp. 135-151 ◽  
Author(s):  
Francesco Calimeri ◽  
Davide Fuscà ◽  
Simona Perri ◽  
Jessica Zangari
Keyword(s):  
Answer Set

A REST-Based Development Framework for ASP: Tools and Application

2017 ◽  
pp. 161-169 ◽  
Author(s):  
Gelsomina Catalano ◽  
Giovanni Laboccetta ◽  
Kristian Reale ◽  
Francesco Ricca ◽  
Pierfrancesco Veltri
Keyword(s):  
Development Framework

Three Is a Crowd: SAT, SMT and CLP on a Chessboard

2017 ◽  
pp. 63-79 ◽  
Author(s):  
Sebastian Krings ◽  
Michael Leuschel ◽  
Philipp Körner ◽  
Stefan Hallerstede ◽  
Miran Hasanagić

scholarly journals Exploiting Term Hiding to Reduce Run-Time Checking Overhead

2017 ◽  
pp. 99-115 ◽  
Author(s):  
Nataliia Stulova ◽  
José F. Morales ◽  
Manuel V. Hermenegildo
Keyword(s):  
Run Time
Load More ...
Sign in / Sign up

Export Citation Format

Share Document