LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED **

Gregory Gelfond ggelfond at unomaha.edu
Do Dez 13 10:20:16 CET 2018


                             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 4-7, 2019

                  Part of the philadelphia Loogic Week 2019
                        https://sites.sju.edu/plw/
		            Co-located with
                          Datalog 2.0 Workshop
  	International Workshop on Bidirectional Transformations

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

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

  To be announced


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/conference-proceedings-guidelines

 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.

 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

ASSOCIATED EVENTS

 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


 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.


FURTHER INFORMATION

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

Tentative IMPORTANT DATES

   * Paper registration: January 29
   * Paper submission:   February 5
   * Notification:       March 12
   * 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-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 Politécnica 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 São Paulo
 Antonius Weinzierl	Vienna University of Technology
 Jia-Huai You		University of Alberta
 Yuanlin  Zhang		Texas Tech University
 Yi	  Zhou		University of Technology, Sydney


Mehr Informationen über die Mailingliste IFI-CI-Event