-------- Forwarded Message -------- Subject: [WI] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION ** Date: Tue, 29 Jan 2019 15:46:49 +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 Papers ---------------------------------------------------------------------------

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 ---------------------------------------------------------------------------

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

TOPICS

Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below.

Conference topics include, but are not limited to:

1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems.

2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks.

3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems.

SUBMISSION

LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories:

* Technical papers * System descriptions * Application descriptions

The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at:

https://www.springer.com/gp/authors-editors/conference-proceedings/conferenc...

Paper submission is enabled via the LPNMR 2019 Easychair site: https://easychair.org/conferences/?conf=lpnmr2019

Two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal.

Also, the journal Theory and Practice of Logic Programming will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication.

An additional prize of 1000 EUR, sponsored by Springer, will be shared out among the best papers of the conference.

In case of invited papers for a rapid publication in journals, there should be at least 30% new content compared to the published conference paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details (some of which would appear as supplementary material). New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available.

MULTIPLE SUBMISSION POLICY

LPNMR 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings.

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 Fandino

* 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 Schuller

* 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 Schuller

FURTHER INFORMATION

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

IMPORTANT DATES

* Paper registration: February 5 *(UPDATED)* * Paper submission: February 12 *(UPDATED)* * Notification: March 17 *(UPDATED)* * Final versions due: April 2

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-Universitat Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universitat 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 Schuller 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 Universitat 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