LPNMR 2017
Date: Jul 03, 2017 8:00 am – Jul 06, 2017 11:00 am
Location: Espoo, Finland
14th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR 2017 is the fourteenth 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. This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program.
The previous editions of the LPNMR conference series took place in Lexington -15, Corunna -13, Vancouver -11, Potsdam -09, Tempe -07, Diamante -05, Fort Lauderdale -04, Vienna -01, El Paso -99, Dagstuhl -97, Lexington -95, Lisbon -93, and Washington -91.
The proceedings of LPNMR 2017 will be published by Springer in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) series. Two best papers of general AI interest will be invited for a rapid publication in the Artificial Intelligence Journal (AIJ). Two best papers with narrower logic programming focus will be invited for a rapid publication in Theory and Practice of Logic Programming (TPLP). An additional prize of 1000 EUR, sponsored by Springer, will be shared out among the best papers of the conference.
- The 10th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)
Organizers: Bart Bogaerts and Amelia Harrison
- The 4th International Workshop on Defeasible and Ampliative Reasoning (DARe)
Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak
- The 4th International Workshop on Grounding and Transformations for Theories with Variables (GTTV)
Organizers: Simona Perri and Shahab Tasharrofi
- Knowledge Representation and Planning for Robotics and Autonomous Systems (KPRAS)
Organizers: Fangkai Yang and Shiqi Zhang
- Practical Aspects of Answer Set Programming (PAoASP)
Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca
- The 2nd International Workshop on User-Oriented Logic Paradigms (IULP)
Organizers: Stefan Ellmauthaler and Claudia Schulz
Committees
Program Committee Chairs
- Marcello Balduccini, Drexel University, USA
- Tomi Janhunen, Aalto University, Finland
Publicity Chair
- Peter Schüller, Marmara University, Turkey
Workshops Chair
- Joohyung Lee, Arizona State University, USA
Doctoral Consortium Chair
- Marina De Vos, University of Bath, UK
7th ASP Competition
- Martin Gebser, University of Potsdam, Germany
- Marco Maratea, University of Genoa, Italy
- Francesco Ricca, University of Calabria, Italy
Local Organizing Committee
- Tomi Janhunen, chair
- Jori Bomanson
- Shahab Tasharrofi
Program Committee
- Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
- Marcello Balduccini, Drexel University, USA
- Chitta Baral, Arizona State University, USA
- Bart Bogaerts, KU Leuven, Belgium
- Gerhard Brewka, Leipzig University, Germany
- Pedro Cabalar, University of Corunna, Spain
- Francesco Calimeri, University of Calabria, Italy
- Stefania Costantini, University of L’Aquila, Italy
- James Delgrande, Simon Fraser University, Canada
- Marc Denecker, K.U.Leuven, Belgium
- Marina De Vos, University of Bath, UK
- Agostino Dovier, University of Udine, Italy
- Thomas Eiter, Vienna University of Technology, Austria
- Wolfgang Faber, University of Huddersfield, UK
- Paul Fodor, Stony Brook University, USA
- Alfredo Gabaldon, GE Global Research, USA
- Martin Gebser, University of Potsdam, Germany
- Michael Gelfond, Texas Tech University, USA
- Giovanni Grasso, Oxford University, UK
- Giovambattista Ianni, University of Calabria, Italy
- Daniela Inclezan, Miami University, USA
- Tomi Janhunen, Aalto University, Finland
- Matthias Knorr, Universidade Nova de Lisboa, Portugal
- Joohyung Lee, Arizona State University, USA
- Yuliya Lierler, University of Nebraska at Omaha, USA
- Vladimir Lifschitz, University of Texas at Austin, USA
- Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
- Marco Maratea, University of Genoa, Italy
- Alessandra Mileo, National University of Ireland, Ireland
- Emilia Oikarinen, Finnish Institute of Occupational Health, Finland
- Mauricio Osorio, Universidad de las Americas Puebla, Mexico
- Ravi Palla, GE Global Research, USA
- David Pearce, Universidad Politécnica de Madrid, Spain
- Axel Polleres, Vienna University of Economics and Business, Austria
- Enrico Pontelli, New Mexico State University, USA
- Christoph Redl, Vienna University of Technology, Austria
- Alessandra Russo, Imperial College, United Kingdom
- Orkunt Sabuncu, University of Potsdam, Germany
- Chiaki Sakama, Wakayama University, Japan
- Torsten Schaub, University of Potsdam, Germany
- Peter Schüller, Marmara University, Turkey
- Tran Cao Son, New Mexico State University, USA
- Hannes Strass, Leipzig University, Germany
- Theresa Swift, Universidade Nova de Lisboa, Portugal
- Shahab Tasharrofi, Aalto University, Finland
- Eugenia Ternovska, Simon Fraser University, Canada
- Hans Tompits, Vienna University of Technology, Austria
- Mirek Truszczynski, University of Kentucky, USA
- Agustin Valverde, Universidad de Màlaga, Spain
- Kewen Wang, Griffith University, Australia
- Yisong Wang, Guizhou University, China
- Stefan Woltran, Vienna University of Technology, Austria
- Jia-Huai You, University of Alberta, Canada
- Yi Zhou, University of Western Sydney, Australia
Submitted by Anonymous
on
14th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR 2017 is the fourteenth 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. This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program.
The previous editions of the LPNMR conference series took place in Lexington -15, Corunna -13, Vancouver -11, Potsdam -09, Tempe -07, Diamante -05, Fort Lauderdale -04, Vienna -01, El Paso -99, Dagstuhl -97, Lexington -95, Lisbon -93, and Washington -91.
The proceedings of LPNMR 2017 will be published by Springer in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) series. Two best papers of general AI interest will be invited for a rapid publication in the Artificial Intelligence Journal (AIJ). Two best papers with narrower logic programming focus will be invited for a rapid publication in Theory and Practice of Logic Programming (TPLP). An additional prize of 1000 EUR, sponsored by Springer, will be shared out among the best papers of the conference.
- The 10th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)
Organizers: Bart Bogaerts and Amelia Harrison - The 4th International Workshop on Defeasible and Ampliative Reasoning (DARe)
Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak - The 4th International Workshop on Grounding and Transformations for Theories with Variables (GTTV)
Organizers: Simona Perri and Shahab Tasharrofi - Knowledge Representation and Planning for Robotics and Autonomous Systems (KPRAS)
Organizers: Fangkai Yang and Shiqi Zhang - Practical Aspects of Answer Set Programming (PAoASP)
Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca - The 2nd International Workshop on User-Oriented Logic Paradigms (IULP)
Organizers: Stefan Ellmauthaler and Claudia Schulz
Committees
Program Committee Chairs
- Marcello Balduccini, Drexel University, USA
- Tomi Janhunen, Aalto University, Finland
Publicity Chair
- Peter Schüller, Marmara University, Turkey
Workshops Chair
- Joohyung Lee, Arizona State University, USA
Doctoral Consortium Chair
- Marina De Vos, University of Bath, UK
7th ASP Competition
- Martin Gebser, University of Potsdam, Germany
- Marco Maratea, University of Genoa, Italy
- Francesco Ricca, University of Calabria, Italy
Local Organizing Committee
- Tomi Janhunen, chair
- Jori Bomanson
- Shahab Tasharrofi
Program Committee
- Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
- Marcello Balduccini, Drexel University, USA
- Chitta Baral, Arizona State University, USA
- Bart Bogaerts, KU Leuven, Belgium
- Gerhard Brewka, Leipzig University, Germany
- Pedro Cabalar, University of Corunna, Spain
- Francesco Calimeri, University of Calabria, Italy
- Stefania Costantini, University of L’Aquila, Italy
- James Delgrande, Simon Fraser University, Canada
- Marc Denecker, K.U.Leuven, Belgium
- Marina De Vos, University of Bath, UK
- Agostino Dovier, University of Udine, Italy
- Thomas Eiter, Vienna University of Technology, Austria
- Wolfgang Faber, University of Huddersfield, UK
- Paul Fodor, Stony Brook University, USA
- Alfredo Gabaldon, GE Global Research, USA
- Martin Gebser, University of Potsdam, Germany
- Michael Gelfond, Texas Tech University, USA
- Giovanni Grasso, Oxford University, UK
- Giovambattista Ianni, University of Calabria, Italy
- Daniela Inclezan, Miami University, USA
- Tomi Janhunen, Aalto University, Finland
- Matthias Knorr, Universidade Nova de Lisboa, Portugal
- Joohyung Lee, Arizona State University, USA
- Yuliya Lierler, University of Nebraska at Omaha, USA
- Vladimir Lifschitz, University of Texas at Austin, USA
- Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
- Marco Maratea, University of Genoa, Italy
- Alessandra Mileo, National University of Ireland, Ireland
- Emilia Oikarinen, Finnish Institute of Occupational Health, Finland
- Mauricio Osorio, Universidad de las Americas Puebla, Mexico
- Ravi Palla, GE Global Research, USA
- David Pearce, Universidad Politécnica de Madrid, Spain
- Axel Polleres, Vienna University of Economics and Business, Austria
- Enrico Pontelli, New Mexico State University, USA
- Christoph Redl, Vienna University of Technology, Austria
- Alessandra Russo, Imperial College, United Kingdom
- Orkunt Sabuncu, University of Potsdam, Germany
- Chiaki Sakama, Wakayama University, Japan
- Torsten Schaub, University of Potsdam, Germany
- Peter Schüller, Marmara University, Turkey
- Tran Cao Son, New Mexico State University, USA
- Hannes Strass, Leipzig University, Germany
- Theresa Swift, Universidade Nova de Lisboa, Portugal
- Shahab Tasharrofi, Aalto University, Finland
- Eugenia Ternovska, Simon Fraser University, Canada
- Hans Tompits, Vienna University of Technology, Austria
- Mirek Truszczynski, University of Kentucky, USA
- Agustin Valverde, Universidad de Màlaga, Spain
- Kewen Wang, Griffith University, Australia
- Yisong Wang, Guizhou University, China
- Stefan Woltran, Vienna University of Technology, Austria
- Jia-Huai You, University of Alberta, Canada
- Yi Zhou, University of Western Sydney, Australia