default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs306.bht:"
@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, 06 Sep 2024 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} }
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.