Max Ostrowski

According to our database1, Max Ostrowski authored at least 22 papers between 2008 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards Industrial-Scale Product Configuration.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2021
Train Scheduling with Hybrid Answer Set Programming.
Theory Pract. Log. Program., 2021

2019
Train Scheduling with Hybrid ASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018
Modern constraint answer set solving.
PhD thesis, 2018

The Potsdam Answer Set Solving Collection 5.0.
Künstliche Intell., 2018

Advanced Solving Technology for Dynamic and Reactive Applications.
Künstliche Intell., 2018

2017
Clingo goes linear constraints over reals and integers.
Theory Pract. Log. Program., 2017

Clingcon: The next generation.
Theory Pract. Log. Program., 2017

2016
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming.
Biosyst., 2016

An ASP Semantics for Default Reasoning with Constraints.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Theory Solving Made Easy with Clingo 5.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Boolean Network Identification from Multiplex Time Series Data.
Proceedings of the Computational Methods in Systems Biology, 2015

2012
ASP modulo CSP: The clingcon system.
Theory Pract. Log. Program., 2012

ASP modulo CSP: The clingcon system.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011
Automatic network reconstruction using ASP.
Theory Pract. Log. Program., 2011

Potassco: The Potsdam Answer Set Solving Collection.
AI Commun., 2011

Evolution of Ontologies using ASP.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2009
On the Input Language of ASP Grounder Gringo.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Constraint Answer Set Solving.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Conflict-Driven Disjunctive Answer Set Solving.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Engineering an Incremental ASP Solver.
Proceedings of the Logic Programming, 24th International Conference, 2008


  Loading...