Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/series/eptcs/eptcs306.bht:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-1905-00840,
author = {Tiantian Gao},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {{KALM:} {A} Rule-based Approach for Knowledge Authoring and Question
Answering},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {389--395},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.52},
doi = {10.4204/EPTCS.306.52},
timestamp = {Mon, 03 Jan 2022 22:03:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-00840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-11354,
author = {Paul Tarau and
Jan Wielemaker and
Tom Schrijvers},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Lazy Stream Programming in Prolog},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {224--237},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.26},
doi = {10.4204/EPTCS.306.26},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11354.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-13305,
author = {Jos{\'{e}} Luis Vilchis Medina and
Pierre Siegel and
Vincent Risch and
Andrei Doncescu},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {An Implementation of a Non-monotonic Logic in an Embedded Computer
for a Motor-glider},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {323--329},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.37},
doi = {10.4204/EPTCS.306.37},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-13305.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-00183,
author = {Carmen Leticia Garc{\'{\i}}a{-}Mata and
Pedro Rafael M{\'{a}}rquez{-}Guti{\'{e}}rrez},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Solving a Flowshop Scheduling Problem with Answer Set Programming:
Exploiting the Problem to Reduce the Number of Combinations},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {347--353},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.41},
doi = {10.4204/EPTCS.306.41},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-00183.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08230,
author = {Falco Nogatz and
Philipp K{\"{o}}rner and
Sebastian Krings},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Prolog Coding Guidelines: Status and Tool Support},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {8--21},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.8},
doi = {10.4204/EPTCS.306.8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08231,
author = {Richard Taupe and
Konstantin Schekotihin and
Peter Sch{\"{u}}ller and
Antonius Weinzierl and
Gerhard Friedrich},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics
for {ASP}},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {22--35},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.9},
doi = {10.4204/EPTCS.306.9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08232,
author = {Jo{\~{a}}o Barbosa and
M{\'{a}}rio Florido and
V{\'{\i}}tor Santos Costa},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {A Three-Valued Semantics for Typed Logic Programming},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {36--51},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.10},
doi = {10.4204/EPTCS.306.10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08233,
author = {Michael Morak},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Epistemic Logic Programs: {A} Different World View},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {52--64},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.11},
doi = {10.4204/EPTCS.306.11},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08234,
author = {Sarthak Ghosh and
C. R. Ramakrishnan},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Value of Information in Probabilistic Logic Programs},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {71--84},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.14},
doi = {10.4204/EPTCS.306.14},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08234.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08235,
author = {Craig Olson and
Yuliya Lierler},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Information Extraction Tool Text2ALM: From Narratives to Action Language
System Descriptions},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {87--100},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.16},
doi = {10.4204/EPTCS.306.16},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08235.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08236,
author = {Adrien Husson and
Jean Krivine},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {A Tractable Logic for Molecular Biology},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {101--113},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.17},
doi = {10.4204/EPTCS.306.17},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08236.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08238,
author = {Bin Wang and
Jun Shen and
Shutao Zhang and
Zhizheng Zhang},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {On the Strong Equivalences of {LPMLN} Programs},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {114--125},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.18},
doi = {10.4204/EPTCS.306.18},
timestamp = {Thu, 06 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08238.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08239,
author = {Daniela Inclezan},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {RestKB: {A} Library of Commonsense Knowledge about Dining at a Restaurant},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {126--139},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.19},
doi = {10.4204/EPTCS.306.19},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08240,
author = {David Spies and
Jia{-}Huai You and
Ryan Hayward},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Mutex Graphs and Multicliques: Reducing Grounding Size for Planning},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {140--153},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.20},
doi = {10.4204/EPTCS.306.20},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08241,
author = {Santiago Escobar and
Julia Sapi{\~{n}}a},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Most General Variant Unifiers},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {154--167},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.21},
doi = {10.4204/EPTCS.306.21},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08242,
author = {Mateusz Slazynski and
Salvador Abreu and
Grzegorz J. Nalepa},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Generating Local Search Neighborhood with Synthesized Logic Programs},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {168--181},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.22},
doi = {10.4204/EPTCS.306.22},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08243,
author = {Vincent Barichard and
Igor St{\'{e}}phan},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Quantified Constraint Handling Rules},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {210--223},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.25},
doi = {10.4204/EPTCS.306.25},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08246,
author = {K. Tuncay Tekle and
Yanhong A. Liu},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Extended Magic for Negation: Efficient Demand-Driven Evaluation of
Stratified Datalog with Precise Complexity Guarantees},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {241--254},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.28},
doi = {10.4204/EPTCS.306.28},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08247,
author = {Giacomo Da Col and
Erich Teppan},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Google vs {IBM:} {A} Constraint Solving Challenge on the Job-Shop
Scheduling Problem},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {259--265},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.30},
doi = {10.4204/EPTCS.306.30},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08247.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08248,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
Brais Mu{\~{n}}iz and
Gilberto P{\'{e}}rez and
Francisco Su{\'{a}}rez},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {A Rule-Based System for Explainable Donor-Patient Matching in Liver
Transplantation},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {266--272},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.31},
doi = {10.4204/EPTCS.306.31},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08249,
author = {Ariyam Das and
Youfu Li and
Jin Wang and
Mingda Li and
Carlo Zaniolo},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {BigData Applications from Graph Analytics to Machine Learning by Aggregates
in Recursion},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {273--279},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.32},
doi = {10.4204/EPTCS.306.32},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08250,
author = {Van Duc Nguyen and
Tran Cao Son and
Enrico Pontelli},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Natural Language Generation for Non-Expert Users},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {280--294},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.33},
doi = {10.4204/EPTCS.306.33},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08251,
author = {Tarek Khaled and
Bela{\"{\i}}d Benhamou},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {An ASP-based Approach for Attractor Enumeration in Synchronous and
Asynchronous Boolean Networks},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {295--301},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.34},
doi = {10.4204/EPTCS.306.34},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08252,
author = {Liu Liu and
Miroslaw Truszczynski},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Encoding Selection for Solving Hamiltonian Cycle Problems with {ASP}},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {302--308},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.35},
doi = {10.4204/EPTCS.306.35},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08252.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08254,
author = {Nicos Angelopoulos and
Jan Wielemaker},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Advances in Big Data Bio Analytics},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {309--322},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.36},
doi = {10.4204/EPTCS.306.36},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08254.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08255,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca A. Lisi},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Towards Ethical Machines Via Logic Programming},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {333--339},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.39},
doi = {10.4204/EPTCS.306.39},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08255.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08256,
author = {Valentina Pitoni and
Stefania Costantini},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {A Temporal Module for Logical Frameworks},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {340--346},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.40},
doi = {10.4204/EPTCS.306.40},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08257,
author = {Yusuf Izmirlioglu},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Reasoning about Qualitative Direction and Distance between Extended
Objects using Answer Set Programming},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {371--378},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.50},
doi = {10.4204/EPTCS.306.50},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08258,
author = {Kinjal Basu},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Conversational {AI} : Open Domain Question Answering and Commonsense
Reasoning},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {396--402},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.53},
doi = {10.4204/EPTCS.306.53},
timestamp = {Thu, 14 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08259,
author = {Francesco Fabiano},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Design of a Solver for Multi-Agent Epistemic Planning},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {403--412},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.54},
doi = {10.4204/EPTCS.306.54},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08259.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08260,
author = {Francesco Pacenza},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Reasoning in Highly Reactive Environments},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {420--426},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.57},
doi = {10.4204/EPTCS.306.57},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08260.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08261,
author = {Mateusz Slazynski},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Research Report on Automatic Synthesis of Local Search Neighborhood
Operators},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {433--440},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.59},
doi = {10.4204/EPTCS.306.59},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08263,
author = {Marco De Bortoli},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Distributed Answer Set Coloring: Stable Models Computation via Graph
Coloring},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {441--451},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.60},
doi = {10.4204/EPTCS.306.60},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08998,
author = {Joohyung Lee and
Man Luo},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Strong Equivalence for {LPMLN} Programs},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {196--209},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.24},
doi = {10.4204/EPTCS.306.24},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-09017,
author = {Farhad Shakerin},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Induction of Non-monotonic Logic Programs To Explain Statistical Learning
Models},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {379--388},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.51},
doi = {10.4204/EPTCS.306.51},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-09058,
author = {Sarat Chandra Varanasi},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Imperative Program Synthesis from Answer Set Programs},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {413--417},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.55},
doi = {10.4204/EPTCS.306.55},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-09209,
author = {Daoming Lyu and
Fangkai Yang and
Bo Liu and
Steven Gustafson},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {A Human-Centered Data-Driven Planner-Actor-Critic Architecture via
Logic Programming},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {182--195},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.23},
doi = {10.4204/EPTCS.306.23},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-09213,
author = {Fabio Tardivo},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Experimenting with Constraint Programming on {GPU}},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {427--432},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.58},
doi = {10.4204/EPTCS.306.58},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-09454,
author = {Valentina Pitoni},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Memory Management in Resource-Bounded Agents},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {452--460},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.61},
doi = {10.4204/EPTCS.306.61},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09454.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1909-07646,
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306},
doi = {10.4204/EPTCS.306},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07646.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.
retrieved on 2024-05-24 17:30 CEST from data curated 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:
