Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Javier Romero 0003
@article{DBLP:journals/corr/abs-2401-16124,
author = {Javier Romero and
Torsten Schaub and
Klaus Strauch},
title = {On the generalization of learned constraints for {ASP} solving in
temporal domains},
journal = {CoRR},
volume = {abs/2401.16124},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16124},
doi = {10.48550/ARXIV.2401.16124},
eprinttype = {arXiv},
eprint = {2401.16124},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BrewkaDRS23,
author = {Gerhard Brewka and
James P. Delgrande and
Javier Romero and
Torsten Schaub},
title = {A general framework for preferences in answer set programming},
journal = {Artif. Intell.},
volume = {325},
pages = {104023},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2023.104023},
doi = {10.1016/J.ARTINT.2023.104023},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BrewkaDRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KaminskiRSW23,
author = {Roland Kaminski and
Javier Romero and
Torsten Schaub and
Philipp Wanko},
title = {How to Build Your Own ASP-based System?!},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {1},
pages = {299--361},
year = {2023},
url = {https://doi.org/10.1017/S1471068421000508},
doi = {10.1017/S1471068421000508},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KaminskiRSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FandinnoM0S23,
author = {Jorge Fandinno and
Seemran Mishra and
Javier Romero and
Torsten Schaub},
editor = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Roberto Giacobazzi},
title = {Answer Set Programming Made Easy},
booktitle = {Analysis, Verification and Transformation for Declarative Programming
and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13160},
pages = {133--150},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-31476-6\_7},
doi = {10.1007/978-3-031-31476-6\_7},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FandinnoM0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HahnMNO0SS23,
author = {Susana Hahn and
Cedric Martens and
Amad{\'{e}} Nemes and
Henry Otunuya and
Javier Romero and
Torsten Schaub and
Sebastian Schellhorn},
editor = {Joaqu{\'{\i}}n Arias and
Sotiris Batsakis and
Wolfgang Faber and
Gopal Gupta and
Francesco Pacenza and
Emmanuel Papadakis and
Livio Robaldo and
Kilian R{\"{u}}ckschlo{\ss} and
Elmer Salazar and
Zeynep G. Saribatur and
Ilias Tachmazidis and
Felix Weitk{\"{a}}mper and
Adam Z. Wyner},
title = {Reasoning about Study Regulations in Answer Set Programming (Preliminary
Report)},
booktitle = {Proceedings of the International Conference on Logic Programming 2023
Workshops co-located with the 39th International Conference on Logic
Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3437},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3437/paper5ASPOCP.pdf},
timestamp = {Mon, 18 Dec 2023 10:22:48 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HahnMNO0SS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/0003SS22,
author = {Javier Romero and
Torsten Schaub and
Klaus Strauch},
editor = {Guido Governatori and
Anni{-}Yasmin Turhan},
title = {On the Generalization of Learned Constraints for {ASP} Solving in
Temporal Domains},
booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules
and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {20--37},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21541-4\_2},
doi = {10.1007/978-3-031-21541-4\_2},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/0003SS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/HahnJK0RS22,
author = {Susana Hahn and
Tomi Janhunen and
Roland Kaminski and
Javier Romero and
Nicolas R{\"{u}}hling and
Torsten Schaub},
editor = {Guido Governatori and
Anni{-}Yasmin Turhan},
title = {Plingo: {A} System for Probabilistic Reasoning in Clingo Based on
{LP} \({}^{\mbox{ {MLN} }}\)},
booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules
and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {54--62},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21541-4\_4},
doi = {10.1007/978-3-031-21541-4\_4},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/HahnJK0RS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-11515,
author = {Susana Hahn and
Tomi Janhunen and
Roland Kaminski and
Javier Romero and
Nicolas R{\"{u}}hling and
Torsten Schaub},
title = {plingo: {A} system for probabilistic reasoning in clingo based on
lpmln},
journal = {CoRR},
volume = {abs/2206.11515},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.11515},
doi = {10.48550/ARXIV.2206.11515},
eprinttype = {arXiv},
eprint = {2206.11515},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-11515.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoLRSS21,
author = {Jorge Fandinno and
Fran{\c{c}}ois Laferri{\`{e}}re and
Javier Romero and
Torsten Schaub and
Tran Cao Son},
title = {Planning with Incomplete Information in Quantified Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {663--679},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000259},
doi = {10.1017/S1471068421000259},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoLRSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RodriguezB0G21,
author = {Ivan D. Rodriguez and
Blai Bonet and
Javier Romero and
Hector Geffner},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Learning First-Order Representations for Planning from Black Box States:
New Results},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {539--548},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/51},
doi = {10.24963/KR.2021/51},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/RodriguezB0G21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10830,
author = {Ivan D. Rodriguez and
Blai Bonet and
Javier Romero and
Hector Geffner},
title = {Learning First-Order Representations for Planning from Black-Box States:
New Results},
journal = {CoRR},
volume = {abs/2105.10830},
year = {2021},
url = {https://arxiv.org/abs/2105.10830},
eprinttype = {arXiv},
eprint = {2105.10830},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-06405,
author = {Jorge Fandinno and
Fran{\c{c}}ois Laferri{\`{e}}re and
Javier Romero and
Torsten Schaub and
Tran Cao Son},
title = {Planning with Incomplete Information in Quantified Answer Set Programming},
journal = {CoRR},
volume = {abs/2108.06405},
year = {2021},
url = {https://arxiv.org/abs/2108.06405},
eprinttype = {arXiv},
eprint = {2108.06405},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-06405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-06366,
author = {Jorge Fandinno and
Seemran Mishra and
Javier Romero and
Torsten Schaub},
title = {Answer Set Programming Made Easy},
journal = {CoRR},
volume = {abs/2111.06366},
year = {2021},
url = {https://arxiv.org/abs/2111.06366},
eprinttype = {arXiv},
eprint = {2111.06366},
timestamp = {Wed, 17 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-06366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarFG0S20,
author = {Pedro Cabalar and
Jorge Fandinno and
Javier Garea and
Javier Romero and
Torsten Schaub},
title = {eclingo : {A} Solver for Epistemic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {6},
pages = {834--847},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000228},
doi = {10.1017/S1471068420000228},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CabalarFG0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02018,
author = {Pedro Cabalar and
Jorge Fandinno and
Javier Garea and
Javier Romero and
Torsten Schaub},
title = {eclingo: {A} solver for Epistemic Logic Programs},
journal = {CoRR},
volume = {abs/2008.02018},
year = {2020},
url = {https://arxiv.org/abs/2008.02018},
eprinttype = {arXiv},
eprint = {2008.02018},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-06692,
author = {Roland Kaminski and
Javier Romero and
Torsten Schaub and
Philipp Wanko},
title = {How to build your own ASP-based system?!},
journal = {CoRR},
volume = {abs/2008.06692},
year = {2020},
url = {https://arxiv.org/abs/2008.06692},
eprinttype = {arXiv},
eprint = {2008.06692},
timestamp = {Fri, 21 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-06692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ojdb/ObermeierRS19,
author = {Philipp Obermeier and
Javier Romero and
Torsten Schaub},
title = {Multi-Shot Stream Reasoning in Answer Set Programming: {A} Preliminary
Report},
journal = {Open J. Databases},
volume = {6},
number = {1},
pages = {33--38},
year = {2019},
url = {https://www.ronpub.com/ojdb/OJDB\_2019v6i1n04\_Obermeier.html},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ojdb/ObermeierRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DimopoulosGLRS19,
author = {Yannis Dimopoulos and
Martin Gebser and
Patrick L{\"{u}}hne and
Javier Romero and
Torsten Schaub},
title = {plasp 3: Towards Effective {ASP} Planning},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {3},
pages = {477--504},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000583},
doi = {10.1017/S1471068418000583},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DimopoulosGLRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Alviano0S19,
author = {Mario Alviano and
Javier Romero and
Torsten Schaub},
editor = {Sarit Kraus},
title = {On the Integration of CP-nets in {ASPRIN}},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1495--1501},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/207},
doi = {10.24963/IJCAI.2019/207},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Alviano0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/GebserKKLOORSSW18,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Patrick L{\"{u}}hne and
Philipp Obermeier and
Max Ostrowski and
Javier Romero and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
title = {The Potsdam Answer Set Solving Collection 5.0},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {181--182},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0528-x},
doi = {10.1007/S13218-018-0528-X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/GebserKKLOORSSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BrewkaEKOORSS18,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
Gabriele Kern{-}Isberner and
Philipp Obermeier and
Max Ostrowski and
Javier Romero and
Torsten Schaub and
Steffen Schieweck},
title = {Advanced Solving Technology for Dynamic and Reactive Applications},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {199--200},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0538-8},
doi = {10.1007/S13218-018-0538-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/BrewkaEKOORSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/RazzaqK0SBG18,
author = {Misbah Razzaq and
Roland Kaminski and
Javier Romero and
Torsten Schaub and
J{\'{e}}r{\'{e}}mie Bourdon and
Carito Guziolowski},
editor = {Milan Ceska and
David Safr{\'{a}}nek},
title = {Computing Diverse Boolean Networks from Phosphoproteomic Time Series
Data},
booktitle = {Computational Methods in Systems Biology - 16th International Conference,
{CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11095},
pages = {59--74},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99429-1\_4},
doi = {10.1007/978-3-319-99429-1\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/RazzaqK0SBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Alviano0S18,
author = {Mario Alviano and
Javier Romero and
Torsten Schaub},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Preference Relations by Approximation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {2--11},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18001},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/Alviano0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-04491,
author = {Yannis Dimopoulos and
Martin Gebser and
Patrick L{\"{u}}hne and
Javier Romero and
Torsten Schaub},
title = {plasp 3: Towards Effective {ASP} Planning},
journal = {CoRR},
volume = {abs/1812.04491},
year = {2018},
url = {http://arxiv.org/abs/1812.04491},
eprinttype = {arXiv},
eprint = {1812.04491},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-04491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/0003SS17,
author = {Javier Romero and
Torsten Schaub and
Tran Cao Son},
editor = {Bart Bogaerts and
Amelia Harrison},
title = {Generalized Answer Set Planning with Incomplete Information},
booktitle = {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, ASPOCP@LPNMR 2017,
Espoo, Finland, July 3, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1868},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1868/p2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/0003SS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DimopoulosGL0S17,
author = {Yannis Dimopoulos and
Martin Gebser and
Patrick L{\"{u}}hne and
Javier Romero and
Torsten Schaub},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {plasp 3: Towards Effective {ASP} Planning},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
pages = {286--300},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_26},
doi = {10.1007/978-3-319-61660-5\_26},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DimopoulosGL0S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/0003SW16,
author = {Javier Romero and
Torsten Schaub and
Philipp Wanko},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Computing Diverse Optimal Stable Models},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {3:1--3:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.3},
doi = {10.4230/OASICS.ICLP.2016.3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/0003SW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserKKL0S16,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Patrick L{\"{u}}hne and
Javier Romero and
Torsten Schaub},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Answer Set Solving with Generalized Learned Constraints},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {9:1--9:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.9},
doi = {10.4230/OASICS.ICLP.2016.9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserKKL0S16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GebserGQ0S16,
author = {Martin Gebser and
Thomas Guyet and
Ren{\'{e}} Quiniou and
Javier Romero and
Torsten Schaub},
editor = {Subbarao Kambhampati},
title = {Knowledge-Based Sequence Mining with {ASP}},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1497--1504},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/215},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GebserGQ0S16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrewkaD0S15,
author = {Gerhard Brewka and
James P. Delgrande and
Javier Romero and
Torsten Schaub},
editor = {Blai Bonet and
Sven Koenig},
title = {asprin: Customizing Answer Set Preferences without a Headache},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1467--1474},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9398},
doi = {10.1609/AAAI.V29I1.9398},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrewkaD0S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AndresB0HS15,
author = {Benjamin Andres and
Alexander Biewer and
Javier Romero and
Christian Haubelt and
Torsten Schaub},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific
Heuristics},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {55--68},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_6},
doi = {10.1007/978-3-319-23264-5\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AndresB0HS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrewkaD0S15,
author = {Gerhard Brewka and
James P. Delgrande and
Javier Romero and
Torsten Schaub},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Implementing Preferences with asprin},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {158--172},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_15},
doi = {10.1007/978-3-319-23264-5\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BrewkaD0S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKK0S15,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Javier Romero and
Torsten Schaub},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Progress in clasp Series 3},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {368--383},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_31},
doi = {10.1007/978-3-319-23264-5\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKK0S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DavilaST14,
author = {Javier Romero Davila and
Abdallah Saffidine and
Michael Thielscher},
editor = {Carla E. Brodley and
Peter Stone},
title = {Solving the Inferential Frame Problem in the General Game Description
Language},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {515--521},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8791},
doi = {10.1609/AAAI.V28I1.8791},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DavilaST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GebserKROSW13,
author = {Martin Gebser and
Benjamin Kaufmann and
Javier Romero and
Ram{\'{o}}n Otero and
Torsten Schaub and
Philipp Wanko},
editor = {Marie desJardins and
Michael L. Littman},
title = {Domain-Specific Heuristics in Answer Set Programming},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {350--356},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8585},
doi = {10.1609/AAAI.V27I1.8585},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GebserKROSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
