Javier Romero

41 papers A* 6B 7Journal 22Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Implementing Metric Temporal Answer Set Programming.
CoRR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub
2025 J jnl
Compiling Metric Temporal Answer Set Programming.
CoRR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Javier Romero, Susana Hahn, Torsten Schaub
2025 J jnl
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains.
Theory Pract. Log. Program.
Javier Romero, Torsten Schaub, Klaus Strauch
2025 J jnl
Plingo: A System for Probabilistic Reasoning in Answer Set Programming.
Theory Pract. Log. Program.
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2024 B conf
Compiling Metric Temporal Answer Set Programming.
LPNMR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub
2024 J jnl
On the generalization of learned constraints for ASP solving in temporal domains.
CoRR
Javier Romero, Torsten Schaub, Klaus Strauch
2024 J jnl
Reasoning About Study Regulations in Answer Set Programming.
Theory Pract. Log. Program.
Susana Hahn, Torsten Schaub, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Sebastian Schellhorn
2024 J jnl
Reasoning about Study Regulations in Answer Set Programming.
CoRR
Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn
2023 J jnl
A general framework for preferences in answer set programming.
Artif. Intell.
Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub
2023 — conf
Answer Set Programming Made Easy.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
2023 J jnl
How to Build Your Own ASP-based System?!
Theory Pract. Log. Program.
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
2023 — conf
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report).
ICLP Workshops
Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn
2022 B conf
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains.
RuleML+RR
Javier Romero, Torsten Schaub, Klaus Strauch
2022 B conf
Plingo: A System for Probabilistic Reasoning in Clingo Based on LP
RuleML+RR
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2022 J jnl
plingo: A system for probabilistic reasoning in clingo based on lpmln.
CoRR
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2021 J jnl
Answer Set Programming Made Easy.
CoRR
Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
2021 A* conf
Learning First-Order Representations for Planning from Black Box States: New Results.
KR
Ivan D. Rodriguez, Blai Bonet, Javier Romero, Hector Geffner
2021 J jnl
Learning First-Order Representations for Planning from Black-Box States: New Results.
CoRR
Ivan D. Rodriguez, Blai Bonet, Javier Romero, Hector Geffner
2021 J jnl
Planning with Incomplete Information in Quantified Answer Set Programming.
CoRR
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
2021 J jnl
Planning with Incomplete Information in Quantified Answer Set Programming.
Theory Pract. Log. Program.
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
2020 J jnl
How to build your own ASP-based system?!
CoRR
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
2020 J jnl
eclingo : A Solver for Epistemic Logic Programs.
Theory Pract. Log. Program.
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
2020 J jnl
eclingo: A solver for Epistemic Logic Programs.
CoRR
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
2019 J jnl
Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report.
Open J. Databases
Philipp Obermeier, Javier Romero, Torsten Schaub
2019 A* conf
On the Integration of CP-nets in ASPRIN.
IJCAI
Mario Alviano, Javier Romero, Torsten Schaub
2019 J jnl
plasp 3: Towards Effective ASP Planning.
Theory Pract. Log. Program.
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
2018 J jnl
Advanced Solving Technology for Dynamic and Reactive Applications.
Künstliche Intell.
Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck
2018 — conf
Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data.
CMSB
Misbah Razzaq, Roland Kaminski, Javier Romero, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski
2018 A* conf
Preference Relations by Approximation.
KR
Mario Alviano, Javier Romero, Torsten Schaub
2018 J jnl
The Potsdam Answer Set Solving Collection 5.0.
Künstliche Intell.
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2018 J jnl
plasp 3: Towards Effective ASP Planning.
CoRR
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
2017 — conf
Generalized Answer Set Planning with Incomplete Information.
ASPOCP@LPNMR
Javier Romero, Torsten Schaub, Tran Cao Son
2017 B conf
plasp 3: Towards Effective ASP Planning.
LPNMR
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
2016 — conf
Answer Set Solving with Generalized Learned Constraints.
ICLP (Technical Communications)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub
2016 — conf
Computing Diverse Optimal Stable Models.
ICLP (Technical Communications)
Javier Romero, Torsten Schaub, Philipp Wanko
2016 A* conf
Knowledge-Based Sequence Mining with ASP.
IJCAI
Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub
2015 B conf
Implementing Preferences with asprin.
LPNMR
Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub
2015 B conf
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics.
LPNMR
Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub
2015 B conf
Progress in clasp Series 3.
LPNMR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub
2015 A* conf
asprin: Customizing Answer Set Preferences without a Headache.
AAAI
Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub
2013 A* conf
Domain-Specific Heuristics in Answer Set Programming.
AAAI
Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko