Logic List Mailing Archive

LPNMR 2019: Logic Programming & Non-Monotonic Reasoning

4-7 Jun 2019
Philadelphia PA, U.S.A.

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@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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam