Search results for "clingo"

Found 19 publication records. Showing 19 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Viren Kumar, James P. Delgrande	Optimal Multicore Scheduling: An Application of ASP Techniques.	LPNMR	2009	DBLP DOI BibTeX RDF	clingo, edge cover, scheduling, multicore, ASP
33	Martin Gebser, Max Ostrowski, Torsten Schaub	Constraint Answer Set Solving.	ICLP	2009	DBLP DOI BibTeX RDF
31	Marcello Balduccini, Michael Barborak, David A. Ferrucci	Pushing the Limits of Clingo's Incremental Grounding and Solving Capabilities in Practical Applications.	Algorithms	2023	DBLP DOI BibTeX RDF
31	Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko	On the Semantics of Hybrid ASP Systems Based on Clingo.	Algorithms	2023	DBLP DOI BibTeX RDF
31	Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero 0003, Nicolas Rühling, Torsten Schaub	plingo: A system for probabilistic reasoning in clingo based on lpmln.	CoRR	2022	DBLP DOI BibTeX RDF
31	Tomi Janhunen	Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo.	PADL	2022	DBLP DOI BibTeX RDF
31	Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero 0003, Nicolas Rühling, Torsten Schaub	Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN .	RuleML+RR	2022	DBLP DOI BibTeX RDF
31	Yuliya Lierler, Justin Robbins	DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework.	JELIA	2021	DBLP DOI BibTeX RDF
31	Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero	Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo.	KR	2021	DBLP DOI BibTeX RDF
31	Van Nguyen 0001, Tran Cao Son, William Yeoh 0001	Explainable Problem in clingo-dl Programs.	SOCS	2021	DBLP DOI BibTeX RDF
31	Vladimir Lifschitz, Patrick Lühne, Torsten Schaub	Towards Verifying Logic Programs in the Input Language of clingo.	Fields of Logic and Computation III	2020	DBLP DOI BibTeX RDF
31	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	Multi-shot ASP solving with clingo.	Theory Pract. Log. Program.	2019	DBLP DOI BibTeX RDF
31	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	Multi-shot ASP solving with clingo.	CoRR	2017	DBLP BibTeX RDF
31	Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko	Clingo goes Linear Constraints over Reals and Integers.	CoRR	2017	DBLP BibTeX RDF
31	Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub	Clingo goes linear constraints over reals and integers.	Theory Pract. Log. Program.	2017	DBLP DOI BibTeX RDF
31	Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko	clingo goes Linear Constraints over Reals and Integers.	ASPOCP@LPNMR	2017	DBLP BibTeX RDF
31	Roland Kaminski, Torsten Schaub, Philipp Wanko	A Tutorial on Hybrid Answer Set Solving with clingo.	Reasoning Web	2017	DBLP DOI BibTeX RDF
31	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko	Theory Solving Made Easy with Clingo 5.	ICLP (Technical Communications)	2016	DBLP DOI BibTeX RDF
31	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	Clingo = ASP + Control: Preliminary Report.	CoRR	2014	DBLP BibTeX RDF