Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2022

plingo: A system for probabilistic reasoning in clingo based on lpmln.

[BibT_eX]

[DOI]

CoRR, 2022

Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN .

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

2020

ASP-Core-2 Input Language Format.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

2019

Multi-shot ASP solving with clingo.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

The Return of xorro.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

telingo = ASP + Time.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018

Temporal Answer Set Programming on Finite Traces.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

The Potsdam Answer Set Solving Collection 5.0.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2018

2017

Clingo goes linear constraints over reals and integers.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

A Tutorial on Hybrid Answer Set Solving with clingo.

[BibT_eX]

[DOI]

Roland Kaminski

Torsten Schaub

Philipp Wanko

Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

2016

Grounding Recursive Aggregates: Preliminary Report.

[BibT_eX]

[DOI]

Martin Gebser

Roland Kaminski

Torsten Schaub

CoRR, 2016

Writing Declarative Specifications for Clauses.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

An ASP Semantics for Default Reasoning with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Theory Solving Made Easy with Clingo 5.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Answer Set Solving with Generalized Learned Constraints.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

aspeed: Solver scheduling via answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Abstract gringo.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Progress in clasp Series 3.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

ASP Solving for Expanding Universes.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Solver Scheduling via Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2014

Clingo = ASP + Control: Preliminary Report.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Minimal intervention strategies in logical signaling networks with ASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Answer Set Programming for Stream Reasoning

[BibT_eX]

[DOI]

CoRR, 2013

Ricochet Robots: A Transverse ASP Benchmark.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

Answer Set Solving in Practice

[BibT_eX]

[DOI]

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01561-8, 2012

Stream Reasoning with Answer Set Programming: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

aspeed: ASP-based Solver Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Complex optimization in answer set programming.

[BibT_eX]

[DOI]

Martin Gebser

Roland Kaminski

Torsten Schaub

Theory Pract. Log. Program., 2011

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

[BibT_eX]

[DOI]

Martin Gebser

Roland Kaminski

Torsten Schaub

Proceedings of the Proceedings Second Workshop on Logics for Component Configuration, 2011

Potassco: The Potsdam Answer Set Solving Collection.

[BibT_eX]

[DOI]

AI Commun., 2011

A Portfolio Solver for Answer Set Programming: Preliminary Report.

[BibT_eX]

[DOI]

Marius Thomas Schneider

Stefan Ziller

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Cluster-Based ASP Solving with claspar.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

plasp: A Prototype for PDDL-Based Planning in ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Advances in gringo Series 3.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Reactive Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Multi-Criteria Optimization in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Challenges in Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2009

Experiences Running a Parallel Answer Set Solver on Blue Gene.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

On the Input Language of ASP Grounder Gringo.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

A Simple Distributed Conflict-Driven Answer Set Solver.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

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

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Engineering an Incremental ASP Solver.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Roland Kaminski

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...