Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Title: 
Blending Lazy-Grounding and CDNL Search for Answer-Set Solving
-
Authors: 
Weinzierl, Antonius 
-
Issue Date: 
2017
-
Citation: 
Weinzierl, A. (2017). Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. In M. Balduccini & T. Janhunen (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 191–204). Lecture Notes in Artificial Intelligence / Springer. https://doi.org/10.1007/978-3-319-61660-5_17
-
Book Title: 
Logic Programming and Nonmonotonic Reasoning 
-
URI: 
http://hdl.handle.net/20.500.12708/57262
-
ISBN: 
9783319616605
9783319616599
-
Organisation: 
E192-03 - Forschungsbereich Knowledge Based Systems 
-
Publication Type: 
Konferenzbeitrag
de
 
Inproceedings
en
Appears in Collections:
Conference Paper

Show full item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Google ScholarTM

Check