LPNMR 2017

LPNMR 2017

Program

Workshops

Venue

Registration

Travel & Lodging

For Authors

Committees

Program

Program at a Glance

Day Monday, July 3 Tuesday, July 4 Wednesday, July 5 Thursday, July 6

Time

Workshops

Nonmonotonic Reasoning

Applications

Systems and Extensions

08:30-09:00

Coffee

Coffee

Coffee

Coffee

09:00-12:00

Workshops

Opening & Invited talk:
Francesca Toni

Invited talk:
Tran Cao Son

Invited talk:
João Leite

Workshops

Session I: NMR

Session IV: Planning & LPNMR Apps

Session VI:
LPNMR Systems

12:00-13:30

Lunch

Lunch

Lunch

Lunch

Workshops

Session II: ASP

Session V:
LPNMR Apps

Session VII:
Extensions of ASP

15:00-15:30

Coffee

Coffee

Coffee

Coffee

15:30-17:00

Workshops

Session III: NMR

TBA

Session VIII: Semantics
Closing

Evening (TBA)

Get-together

Reception

Conference Dinner

The details of sessions and lists of accepted papers can be found below.

Invited Speakers

João Leite, Universidade Nova de Lisboa, Lisbon, Portugal, invited speaker sponsored by EurAI

A Bird’s-Eye View of Forgetting in Answer-Set Programming

jleite

João Leite is Associate Professor at the Computer Science Department of the Universidade Nova de Lisboa, Portugal, and member of the Nova Laboratory for Computer Science and Informatics (NOVA LINCS). João’s main research interests include Knowledge Representation and Non-Monotonic Reasoning, Multi-Agent Systems, Semantic Web, and Argumentation for the Social Web. He has authored one book, edited several books and journal special issues, co-authored more than 100 papers, and presented more than 10 courses and tutorials in Conferences and Summer Schools. He was Conference Chair of JELIA-2004, Program Committee Co-Chair of JELIA-2014, and Co-Chair of several editions of the CLIMA, LADS, and DALT workshops. He regularly serves in the Program Committees of major international conferences (IJCAI, AAAI, KR, AAMAS, ECAI, ICLP,…​).

Tran Cao Son, New Mexico State University, Las Cruses, New Mexico, USA, invited speaker sponsored by ALP

Answer Set Programming in Automated Planning and Multi-Agent Systems

tson

Tran Cao Son received received his doctoral degree from the University of Texas at El Paso in 2000. He is currently a Computer Science professor at the New Mexico State University in Las Cruces. Before joining NMSU, he was a post-doc at the Knowledge System Laboratory at Stanford University for almost a year. His main research interests are in knowledge representation and reasoning, especially logic programming and answer set programming and its applications in planning, negotiation, and multi-agent systems.

Francesca Toni, Imperial College, London, UK

From Logic Programming and Non-Monotonic Reasoning to Computational Argumentation and Beyond

ftoni

Francesca Toni is Professor in Computational Logic in the Department of Computing, Imperial College London, UK, and the funder and leader of the CLArg (Computational Logic and Argumentation) research group. Her research interests lie within the broad area of Knowledge Representation and Reasoning in Artificial Intelligence, and in particular include Argumentation, Logic-Based Multi-Agent Systems,Logic Programming for Knowledge Representation and Reasoning, Non-monotonic and Default Reasoning. She graduated, summa cum laude, in Computing, at the University of Pisa, Italy, in 1990, and received her PhD in Computing in 1995, from Imperial College London. She has coordinated two EU projects, received funding from EPSRC and the EU, and awarded a Senior Research Fellowship from The Royal Academy of Engineering and the Leverhulme Trust. She has chaired ICLP2015 (the 31st International Conference on Logic Programming), is currently chair of KR 2018 (the 16th Conference on Principles of Knowledge Representation and Reasoning). She is a member of the steering committe of AT, the Executive Committee of the Board of ALP, the Association for Logic Programming, corner editor on Argumentation for the Journal of Logic and Computation, and in the editorial board of the Argument and Computation journal and (from January 2017) of the AI journal.

Sessions

SESSION I: Nonmonotonic Reasoning

E.-A. Dietz et al: Contextual Reasoning: Usually Birds can Abductively Fly.
E. Iraz Su: A Monotonic View on Reflexive Autoepistemic Reasoning.
M. Wrona: The Minimal Inference Problem over Finite Domains: The Landscape of Complexity.

SESSION II: Answer Set Programming

J. Fichte et al: Answer Set Solving with Bounded Treewidth Revisited.
C. Redl: Answer Set Programs with Queries over Subprograms.
A. Weinzierl: Blending Lazy-Grounding and CDNL Search for Answer-Set Solving.

SESSION III: Nonmonotonic Reasoning

F. A. D’Asaro et al: Foundations for a Probabilistic Event Calculus.
R. Ben-Eliyahu-Zohary et al: Modular Construction of Minimal Models.
M. Pensel and A.-Y. Turhan: Including Quantification in Defeasible Reasoning for the Description Logic EL_bot.

SESSION IV: Planning & LPNMR Applications

Y. Dimopoulos et al: plasp 3: Towards effective ASP Planning.
J. Remmel and A. Brik: Action Language Hybrid AL.

M. Dahlem et al: Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming.
C. Dodaro and M. Maratea: Nurse Scheduling via Answer Set Programming.
J. Leite and O. Sabuncu: moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming.

SESSION V: LPNMR Applications

P. Schüller: Adjudication of Coreference Annotations via Answer Set Optimization.
M. Banbara et al: catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.
C. Frioux et al: Hybrid Metabolic Network Completion.

SESSION VI: LPNMR Systems

C. Lopes et al: NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond.
J. Pührer: ArgueApply: A Mobile App for Argumentation.

M. Alviano et al: The ASP System DLV2.
J. Bomanson: lp2normal - A Normalization Tool for Extended Logic Programs.
A. Greßler et al: Harvey: A System for Random Testing in ASP.

SESSION VII: Extensions of Answer Set programming

P. Cabalar et al: Gelfond-Zhang Aggregates as Propositional Formulas.
M. Gelfond and Y. Zhang: Vicious Circle Principle and Formation of Sets in ASP Based Languages.
C. Redl: Explaining Inconsistency in Answer Set Programs and Extensions

SESSION VIII: Semantics

S. Bistarelli and F. Santini: A Hasse Diagram for Weighted Skeptical Semantics with a Unique-status Grounded Semantics.
Z. Zhang: Answer Set Programming with Graded Modality.

Accepted Regular Papers

Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, and Naoyuki Tamura: catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, and Sebastian Schellhorn: Gelfond-Zhang Aggregates as Propositional Formulas.

Emmanuelle-Anna Dietz, Steffen Hölldobler, and Luís Moniz Pereira: Contextual Reasoning: Usually Birds can Abductively Fly.

Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, and Torsten Schaub: plasp 3: Towards effective ASP Planning.

Johannes Klaus Fichte, Markus Hecher, Michael Morak, and Stefan Woltran: Answer Set Solving with Bounded Treewidth Revisited.

Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, and Philipp Wanko: Hybrid Metabolic Network Completion.

Michael Gelfond and Yuanlin Zhang: Vicious Circle Principle and Formation of Sets in ASP Based Languages.

Carlos Lopes, Matthias Knorr, and João Leite: NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond.

Jörg Pührer: ArgueApply: A Mobile App for Argumentation.

Christoph Redl: Answer Set Programs with Queries over Subprograms.

Christoph Redl: Explaining Inconsistency in Answer Set Programs and Extensions.

Jeffrey Remmel and Alex Brik: Action Language Hybrid AL.

Peter Schüller: Adjudication of Coreference Annotations via Answer Set Optimization.

Ezgi Iraz Su: A Monotonic View on Reflexive Autoepistemic Reasoning.

Antonius Weinzierl: Blending Lazy-Grounding and CDNL Search for Answer-Set Solving.

Michal Wrona: The Minimal Inference Problem over Finite Domains: The Landscape of Complexity.

Accepted Short Papers

Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, and Jessica Zangari: The ASP System DLV2.

Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, and Luigi Palopoli: Modular Construction of Minimal Models.

Stefano Bistarelli and Francesco Santini: A Hasse Diagram for Weighted Sceptical Semantics with a Unique-status Grounded Semantics.

Jori Bomanson: lp2normal - A Normalization Tool for Extended Logic Programs.

Marc Dahlem, Tripti Jain, Klaus Schneider, and Michael Gillmann: Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming.

Fabio Aurelio D’Asaro, Antonis Bikakis, Luke Dickens, and Rob Miller: Foundations For A Probabilistic Event Calculus.

Carmine Dodaro and Marco Maratea: Nurse Scheduling via Answer Set Programming.

Alexander Greßler, Johannes Oetsch, and Hans Tompits: Harvey: A System for Random Testing in ASP.

João Leite and Orkunt Sabuncu: moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming.

Maximilian Pensel and Anni-Yasmin Turhan: Including Quantification in Defeasible Reasoning for the Description Logic EL_bot.

Zhizheng Zhang: Answer Set Programming with Graded Modality.