Javier Romero

According to our database, Javier Romero authored at least 29 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reasoning about Study Regulations in Answer Set Programming.

Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn

CoRR, 2024

Compiling Metric Temporal Answer Set Programming.

Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023

A general framework for preferences in answer set programming.

Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub

Artif. Intell., December, 2023

How to Build Your Own ASP-based System?!

Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko

Theory Pract. Log. Program., 2023

Reasoning about Study Regulations in Answer Set Programming (Preliminary Report).

Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn

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

Answer Set Programming Made Easy.

Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

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

Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub

CoRR, 2022

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

Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub

Proceedings of the Rules and Reasoning, 2022

On the Generalization of Learned Constraints for ASP Solving in Temporal Domains.

Javier Romero, Torsten Schaub, Klaus Strauch

Proceedings of the Rules and Reasoning, 2022

2021

Planning with Incomplete Information in Quantified Answer Set Programming.

Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son

Theory Pract. Log. Program., 2021

Learning First-Order Representations for Planning from Black Box States: New Results.

Ivan D. Rodriguez, Blai Bonet, Javier Romero, Hector Geffner

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

eclingo : A Solver for Epistemic Logic Programs.

Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub

Theory Pract. Log. Program., 2020

2019

plasp 3: Towards Effective ASP Planning.

Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub

Theory Pract. Log. Program., 2019

Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report.

Philipp Obermeier, Javier Romero, Torsten Schaub

Open J. Databases, 2019

On the Integration of CP-nets in ASPRIN.

Mario Alviano, Javier Romero, Torsten Schaub

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

The Potsdam Answer Set Solving Collection 5.0.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Künstliche Intell., 2018

Advanced Solving Technology for Dynamic and Reactive Applications.

Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck

Künstliche Intell., 2018

Preference Relations by Approximation.

Mario Alviano, Javier Romero, Torsten Schaub

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

Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data.

Misbah Razzaq, Roland Kaminski, Javier Romero, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski

Proceedings of the Computational Methods in Systems Biology, 2018

2017

Generalized Answer Set Planning with Incomplete Information.

Javier Romero, Torsten Schaub, Tran Cao Son

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

2016

Knowledge-Based Sequence Mining with ASP.

Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub

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

Answer Set Solving with Generalized Learned Constraints.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub

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

Computing Diverse Optimal Stable Models.

Javier Romero, Torsten Schaub, Philipp Wanko

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

2015

Progress in clasp Series 3.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Implementing Preferences with asprin.

Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics.

Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

asprin: Customizing Answer Set Preferences without a Headache.

Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Solving the Inferential Frame Problem in the General Game Description Language.

Javier Romero Davila, Abdallah Saffidine, Michael Thielscher

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Domain-Specific Heuristics in Answer Set Programming.

Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013