Javier Romero

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 29

Top Topics

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

Publications

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