Tomi Janhunen

Theory Pract. Log. Program., July, 2023

Generalizing Level Ranking Constraints for Monotone and Convex Aggregates.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling.

[BibT_eX]

[DOI]

Anssi Yli-Jyrä

Proceedings of the Practical Aspects of Declarative Languages, 2023

Short Boolean Formulas as Explanations in Practice.

[BibT_eX]

[DOI]

Reijo Jaakkola

Antti Kuusisto

Miikka Vilander

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery.

[BibT_eX]

[DOI]

Anssi Yli-Jyrä

Proceedings of the Rules and Reasoning, 2022

Plingo: A System for Probabilistic Reasoning in Clingo Based on LP <sup> MLN </sup>.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2022

Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Explainability via Short Formulas: the Case of Propositional Logic with Implementation.

[BibT_eX]

[DOI]

Reijo Jaakkola

Antti Kuusisto

Miikka Vilander

Proceedings of the Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), 2022

2021

Solution Enumeration by Optimality in Answer Set Programming.

[BibT_eX]

[DOI]

Jukka Pajunen

Theory Pract. Log. Program., 2021

On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning.

[BibT_eX]

[DOI]

Anastasia Paparrizou

Inf. Comput., 2021

On Syntactic Forgetting Under Uniform Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

2020

Boosting Answer Set Optimization with Weighted Comparator Networks.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Applying Visible Strong Equivalence in Answer-Set Program Transformations.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2020

Declarative encodings of acyclicity properties.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

On Robustness in Qualitative Constraint Networks.

[BibT_eX]

[DOI]

Zhiguo Long

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning.

[BibT_eX]

[DOI]

Anastasia Paparrizou

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

The Return of xorro.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Towards Leveraging Backdoors in Qualitative Constraint Networks.

[BibT_eX]

[DOI]

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

Allen's Interval Algebra Makes the Difference.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming and Knowledge Management, 2019

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming.

[BibT_eX]

[DOI]

Antonius Weinzierl

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Forgetting in Modular Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Cross-Translating Answer Set Programs Using the ASPTOOLS Collection.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Answer Set Programming - Related with Other Solving Paradigms.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract.

[BibT_eX]

[DOI]

Antonius Weinzierl

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Variable Elimination for DLP-Functions.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Clingo goes linear constraints over reals and integers.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Learning discrete decomposable graphical models via constraint optimization.

[BibT_eX]

[DOI]

Stat. Comput., 2017

2016

Stable-unstable semantics: Beyond NP with normal logic programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Answer Set Programming Modulo Acyclicity.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

The Answer Set Programming Paradigm.

[BibT_eX]

[DOI]

AI Mag., 2016

SAT-to-SAT in QBFEval 2016.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016

Declarative Solver Development: Case Studies.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Writing Declarative Specifications for Clauses.

[BibT_eX]

[DOI]

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

Rewriting Optimization Statements in Answer-Set Programs.

[BibT_eX]

[DOI]

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

SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators.

[BibT_eX]

[DOI]

Eugenia Ternovska

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Solving QBF Instances with Nested SAT Solvers.

[BibT_eX]

[DOI]

Proceedings of the Beyond NP, 2016

2015

Optimizing phylogenetic supertrees using answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

ASP Solving for Expanding Universes.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Accessibility by Public Transport Predicts Residential Real Estate Prices: A Case Study in Helsinki Region.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Mining Urban Data co-located with 32nd International Conference on Machine Learning (ICML 2015), 2015

Cumulativity Tailored for Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

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

2014

ASP Encodings of Acyclicity Properties.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

SAT Modulo Graphs: Acyclicity.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Improving the Normalization of Weight Rules in Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Answer Set Programming as SAT modulo Acyclicity.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Learning Chordal Markov Networks by Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

Normalizing Cardinality Rules Using Merging and Sorting Constructions.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Introducing Real Variables and Integer Objective Functions to Answer Set Programming.

[BibT_eX]

[DOI]

Guohua Liu

Proceedings of the Declarative Programming and Knowledge Management, 2013

2012

Meta Programming with Answer Sets for Smart Spaces.

[BibT_eX]

[DOI]

Vesa Luukkala

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Answer Set Programming via Mixed Integer Programming.

[BibT_eX]

[DOI]

Guohua Liu

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

Applying Visible Strong Equivalence in Answer-Set Program Transformations.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

2011

Distributed Deadlock Handling for Resource Allocation in Smart Spaces.

[BibT_eX]

[DOI]

Rehan Abdul Aziz

Vesa Luukkala

Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2011

Strong Equivalence of Logic Programs with Abstract Constraint Atoms.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Translating Answer-Set Programs into Bit-Vector Logic.

[BibT_eX]

[DOI]

Mai Nguyen

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses.

[BibT_eX]

[DOI]

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

2010

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

On Testing Answer-Set Programs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

A Translation-based Approach to the Verification of Modular Equivalence.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Modularity Aspects of Disjunctive Stable Models.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

A Module-Based Framework for Multi-language Constraint Modeling.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Computing Stable Models via Reductions to Difference Logic.

[BibT_eX]

[DOI]

Mark Sevalnev

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Achieving compositionality of the stable model semantics for smodels programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2008

Removing Redundancy from Answer Set Programs.

[BibT_eX]

[DOI]

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

Modular Equivalence in General.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

Automated Verification of Weak Equivalence within the SMODELS System.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Unfolding partiality and disjunctions in stable model semantics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2006

Some (in)translatability results for normal logic programs and propositional theories.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2006

Modular Equivalence for Normal Logic Programs.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

On Probing and Multi-Threading in Platypus.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

What's a Head Without a Body?

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

circ2dlp - Translating Circumscription into Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Platypus: A Platform for Distributed Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

2004

Verifying the Equivalence of Logic Programs in the Disjunctive Case.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

GNT - A Solver for Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Capturing Parallel Circumscription with Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Representing Normal Programs with Clauses.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Evaluating the effect of semi-normality on the expressiveness of defaults.

[BibT_eX]

[DOI]

Artif. Intell., 2003

A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

2002

Testing the Equivalence of Logic Programs under Stable Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

On the Effect of Default Negation on the Expressiveness of Disjunctive Rules.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000

Unfolding Partiality and Disjunctions in Stable Model Semantics.

[BibT_eX]

Proceedings of the KR 2000, 2000

Capturing Stationary and Regular Extensions with Reiter's Extensions.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1999

On the intertranslatability of non-monotonic logics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1999

Classifying Semi-Normal Default Logic on the Basis of its Expressive Power.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1998

On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Separating Disbeliefs from Beliefs in Autoepistemic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Representing Autoepistemic Introspection in Terms of Default Rules.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

Cautious Models for General Logic Programs.

[BibT_eX]

Proceedings of the Deductive Databases and Logic Programming, 1995

1993

A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992

A Graphical User Interface for a Value Added Network.

[BibT_eX]

Matti Hallivuori