-------- Forwarded Message -------- Subject: [WI] LPNMR 2019 -- CALL FOR PARTICIPATION Date: Thu, 11 Apr 2019 14:13:33 +0000 From: Gregory Gelfond ggelfond@unomaha.edu Reply-To: Gregory Gelfond ggelfond@unomaha.edu To: agents@cs.umbc.edu agents@cs.umbc.edu, algprog@comlab.ox.ac.uk algprog@comlab.ox.ac.uk, all@xsb.com all@xsb.com, arw-committee@csc.liv.ac.uk arw-committee@csc.liv.ac.uk, babel-group@babel.ls.fi.upm.es babel-group@babel.ls.fi.upm.es, cade@itu.dk cade@itu.dk, calendar@computer.org calendar@computer.org, caml-list@inria.fr caml-list@inria.fr, church-announce@cs.bu.edu church-announce@cs.bu.edu, church-announce@types.bu.edu church-announce@csr.bu.edu, cipher-cfp@ieee-security.org cipher-cfp@ieee-security.org, clean-list@science.ru.nl clean-list@science.ru.nl, cogsci@cs.tcd.ie cogsci@cs.tcd.ie, colognet@ucy.ac.cy colognet@ucy.ac.cy, comlab@comlab.ox.ac.uk comlab@comlab.ox.ac.uk, comm-theory@ieee.org comm-theory@ieee.org, comp-lang-ml@moderators.isc.org comp-lang-ml@moderators.isc.org, complog@cs.nmsu.edu complog@cs.nmsu.edu, comprox@doc.ic.ac.uk comprox@doc.ic.ac.uk, concurrency@cwi.nl concurrency@cwi.nl, conferences@computer.org conferences@computer.org, cphc-conf@jiscmail.ac.uk cphc-conf@jiscmail.ac.uk, cs@ics.forth.gr cs@ics.forth.gr, distributed-ai@jiscmail.ac.uk distributed-ai@jiscmail.ac.uk, dl@dl.kr.org dl@dl.kr.org, dmanet@zpr.uni-koeln.de dmanet@zpr.uni-koeln.de, elsnet-list@elsnet.org elsnet-list@elsnet.org, erlang-questions@erlang.org erlang-questions@erlang.org, event@in.tu-clausthal.de event@in.tu-clausthal.de, fg-arc@lists.uni-paderborn.de fg-arc@lists.uni-paderborn.de, fm-announcements@lists.nasa.gov fm-announcements@lists.nasa.gov, fmics@inrialpes.fr fmics@inrialpes.fr, formal-methods@cs.toronto.edu formal-methods@cs.toronto.edu, formal-methods@cs.utoronto.ca formal-methods@cs.utoronto.ca, forman@acm.org forman@acm.org, formis@dipmat.unipg.it formis@dipmat.unipg.it, fp@cs.cmu.edu fp@cs.cmu.edu, gulp-all@yahoogroups.com gulp-all@yahoogroups.com, gri@informatik.uni-rostock.de gri@informatik.uni-rostock.de, hol-info@lists.sourceforge.net hol-info@lists.sourceforge.net, ifip@ifip.or.at ifip@ifip.or.at, imdea@clip.dia.fi.upm.es imdea@clip.dia.fi.upm.es, inductive@listserv.unb.ca inductive@listserv.unb.ca, inductive-request@listserv.unb.ca inductive-request@listserv.unb.ca, ki-inf@uni-koblenz.de ki-inf@uni-koblenz.de, kr@kr.org kr@kr.org, krlab.admin@gmail.com krlab.admin@gmail.com, lfcs-interest@dcs.ed.ac.uk lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com lics@research.bell-labs.com, linear@cs.stanford.edu linear@cs.stanford.edu, logic@cs.stanford.edu logic@cs.stanford.edu, logic@math.uni-bonn.de logic@math.uni-bonn.de, logic-list@helsinki.fi logic-list@helsinki.fi, maude-users@cs.uiuc.edu maude-users@cs.uiuc.edu, mizar-forum@mizar.uwb.edu.pl mizar-forum@mizar.uwb.edu.pl, nqthm-users@cs.utexas.edu nqthm-users@cs.utexas.edu, nvti-list@cwi.nl nvti-list@cwi.nl, nwpt-info@lists.ioc.ee nwpt-info@lists.ioc.ee, oegai@ifs.tuwien.ac.at oegai@ifs.tuwien.ac.at, om-announce@openmath.org om-announce@openmath.org, ontology@buffalo.edu ontology@buffalo.edu, planetkr@kr.org planetkr@kr.org, prog-lang@diku.dk prog-lang@diku.dk, project-calculemus@jacobs-university.de project-calculemus@jacobs-university.de, relmics-l@mcmaster.ca relmics-l@mcmaster.ca, semanticweb@yahoogroups.com semanticweb@yahoogroups.com, sicstus-users@sics.se sicstus-users@sics.se, sigarch-members@listserv.acm.org sigarch-members@listserv.acm.org, sigparse-list@lists.andrew.cmu.edu sigparse-list@lists.andrew.cmu.edu, sigplan-announce@listserv.acm.org sigplan-announce@listserv.acm.org, sigsam-friends@listserv.acm.org sigsam-friends@listserv.acm.org, sigsam-members@listserv.acm.org sigsam-members@listserv.acm.org, sml-list@cs.cmu.edu sml-list@cs.cmu.edu, staff@dbai.tuwien.ac.at staff@dbai.tuwien.ac.at, staff@forsyte.tuwien.ac.at staff@forsyte.tuwien.ac.at, staff@kr.tuwien.ac.at staff@kr.tuwien.ac.at, tag@cs.utexas.edu tag@cs.utexas.edu, theory-a@listserv.nodak.edu theory-a@listserv.nodak.edu, theorynt@listserv.nodak.edu theorynt@listserv.nodak.edu, types@cis.upenn.edu types@cis.upenn.edu, users@mozart-oz.org users@mozart-oz.org, users-prolog@gnu.org users-prolog@gnu.org, vki-list@dfki.de vki-list@dfki.de, webmaster@aisb.org.uk webmaster@aisb.org.uk, webmaster@eatcs.org webmaster@eatcs.org, wi@aifb.uni-karlsruhe.de wi@aifb.uni-karlsruhe.de, yap-users@lists.sourceforge.net yap-users@lists.sourceforge.net, zforum@comlab.ox.ac.uk zforum@comlab.ox.ac.uk, logic-programming@lists.picat-lang.org logic-programming@lists.picat-lang.org, comma@lists.dbai.tuwien.ac.at comma@lists.dbai.tuwien.ac.at

Call for Participation ---------------------------------------------------------------------------

15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019

https://sites.sju.edu/plw/lpnmr-2019/

Philadelphia, USA June 3-7, 2019

Part of the Philadelphia Logic Week 2019 https://sites.sju.edu/plw/ Co-located with Datalog 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance !!! Early registration deadline is April 28, 2019!!!

---------------------------------------------------------------------------

REGISTRATION Early registration deadline is May 4th, 2019. For more information, visit: https://sites.sju.edu/plw/plw-2019-registration/

ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS Accepted papers and invited speakers information can be found at

https://sites.sju.edu/plw/lpnmr-2019-accepted-papers/ https://sites.sju.edu/plw/lpnmr-2019-invited-speakers/ AIMS AND SCOPE

LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program.

This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research.

INVITED SPEAKERS Esra Erdem, Sabanci University, Turkey Michael Gelfond, Texas Tech University, USA V.S. Subrahmanian, Dartmouth College, USA

COLOCATED EVENTS DATALOG 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance

ASSOCIATED EVENTS

LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career.

WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on June 3 and 4:

* The 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Jorge Fandinno and Johannes K. Fichte

* Causal Reasoning and Explanation in Logic Programming Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar and, Jorge Fandiño

* The 5th International Workshop on Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak

* The 5th International Workshop on Grounding and Transformations for Theories with Variables (GTTV) Organizers: Antonius Weinzierl and Peter Schüller

* The 3rd International Workshop on User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Christos Rodosthenous

* Workshop on the ASP Challenge 2019 (WAC 2019) Organizers: Carmine Dodaro, Christoph Redl, and Peter Schüller

FURTHER INFORMATION

WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019@easychair.org

VENUE

Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more.

Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City.

GENERAL CHAIR

Marcello Balduccini, Saint Joseph's University, USA

PROGRAM CHAIRS

Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria

PUBLICITY CHAIR

Gregory Gelfond, University of Nebraska at Omaha, USA

WORKSHOPS CHAIR

Mario Alviano, University of Calabria, Italy

DOCTORAL CONSORTIUM CHAIRS

Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria

MARKETING CHAIRS

Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA

PROGRAM COMMITTEE

Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universität Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universität Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politecnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schüller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universität Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of Sao Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney

-- Mailing-Liste: wi@lists.kit.edu Administrator: wi-request@lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi