caml-list - the Caml user's mailing list
 help / color / Atom feed
From: "Fioretto, Ferdinando" <>
Subject: [Caml-list] ICLP 2019 - Call for Participation (Early registration deadline is today)
Date: Thu, 15 Aug 2019 14:11:51 +0000
Message-ID: <> (raw)


The 35th International Conference on Logic Programming
September 20-25, 2019, Las Cruces, New Mexico, USA

Since the first conference held in Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
THE ICLP 2019 program will include presentations of high-quality scientific work
in all areas of logic programming.
Besides the main track, ICLP 2019 will host additional tracks and special sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Research Challenges in Logic Programming Track
- Special Session: Women in Logic Programming


Associated with the conference are two workshops:
- Workshop on Epistemic Extensions of Logic Programming (EELP 2019)
- The 6th Workshop on Probabilistic Logic Programming (PLP 2019)


Additionally, ICLP 2019 will host the 15th Doctoral Consortium (DC) on Logic
Programming (September, 22, 2019)


- Serdar Kadioglu - Constraint Programming for Resource Management
- Chitta Baral - Knowledge Representation and Reasoning issues in Natural
  Language Question Answering
- Guy Van den Broeck - Tractable Probabilistic Circuits

Invited talks
- Nicola Leone - ASP Applications for AI and Industry
- Sheila McIlraith - Reward Machines: Structuring reward function specifications
  and reducing sample complexity in reinforcement learning -
- Adnan Darwiche - What Logic Can Do for AI Today

Women in LP Invited talk
- Yuliya Lierler - System PROJECTOR: An Automatic Program Rewriting Tool for
  Non-Ground Answer Set Programs


The registration costs and deadlines are as follows:

- General
  + Early registration - August, 15, 2019 - 600.00 USD
  + Late registration - 650.00 USD
- Student
  + Early registration - August, 15, 2019 - 400.00 USD
  + Late registration - 450.00 USD
- Workshop only
  + Early registration - August, 15, 2019 - 200.00 USD
  + Late registration - 250.00 USD



Rapid communications (TPLP)

- Thomas Eiter, Paul Ogris and Konstantin Schekotihin. A Distributed Approach to LARS Stream Reasoning (System paper)
- Jorge Fandinno. Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
- Amelia Harrison and Vladimir Lifschitz. Relating Two Dialects of Answer Set Programming
- Giovanni Amendola, Carmine Dodaro and Marco Maratea. Abstract Solvers for Computing Cautious Consequences of ASP programs
- Bernardo Cuteri, Carmine Dodaro, Francesco Ricca and Peter Schüller. Partial Compilation of ASP Programs
- Giovanni Amendola, Carmine Dodaro and Francesco Ricca. Better Paracoherent Answer Sets with Less Resources
- Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin and Albert Rubio. Resource Analysis driven by (Conditional) Termination Proofs
- Gonzague Yernaux and Wim Vanhoof. Anti-unification in Constraint Logic Programming
- Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri and Jessica Zangari. Incremental answer set programming with overgrounding
- María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña. Symbolic Analysis of Maude Theories with Narval (system description)
- Joao Alcantara, Samy Sá and Juan Carlos Acosta-Guadarrama. On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs
- Giovanni Amendola and Francesco Ricca. Paracoherent Answer Set Semantics meets Argumentation Frameworks
- Wolfgang Faber, Michael Morak and Stefan Woltran. On the Uniform Equivalence of Epistemic Logic Programs
- Mario Alviano, Carmine Dodaro, Johannes K. Fichte, Markus Hecher, Tobias Philipp and Jakob Rath. Inconsistency Proofs for ASP: The ASP-DRUPE Format
- Ariyam Das and Carlo Zaniolo. A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
- Mario Alviano, Nicola Leone, Pierfrancesco Veltri and Jessica Zangari. Enhancing magic sets for ontological reasoning
- Angelos Charalambidis, Christos Nomikos and Panos Rondogiannis. The Expressive Power of Higher-Order Datalog
- Joaquin Arias and Manuel Carro. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
- Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri and Jessica Zangari. Precomputing Datalog evaluation plans in large-scale scenarios
- Giovanni Amendola, Francesco Ricca and Mirek Truszczynski. Beyond NP: Quantifying over Answer Sets
- Jesús J. Doménech, John Gallagher and Samir Genaim. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
- Matti Berthold, Ricardo Gonçalves, Matthias Knorr and Joao Leite. A Syntactic Operator for Forgetting that Satisfies Strong Persistence
- David Spies, Jia-Huai You and Ryan Hayward. Domain-Independent Cost-Optimal Planning in ASP
- Tiantian Gao, Paul Fodor and Michael Kifer. Querying Knowledge via Multi-Hop English Questions
- Stefania Costantini. About epistemic negation and world views in Epistemic Logic Programs
- Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Perez and Concepcion Vidal. Revisiting Explicit Negation in Answer Set Programming
- Yi Wang, Shiqi Zhang and Joohyung Lee. Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language (Application Paper)
- Fernando Saenz-Perez. Applying Constraint Logic Programming to SQL Semantic Analysis
- Efthimis Tsilionis, Nikolaos Koutroumanis, Panagiotis Nikitopoulos, Christos Doulkeridis and Alexander Artikis. Online Event Recognition from Moving Vehicles: Application Paper
- Arpit Sharma. Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge

Technical communications (EPTCS)

- Falco Nogatz, Philipp Koerner and Sebastian Krings. Prolog Coding Guidelines: Status and Tool Support
- Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl and Gerhard Friedrich. Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
- João Barbosa, Mário Florido and Vítor Santos Costa. A Three-Valued Semantics for Typed Logic Programming
- Michael Morak. Epistemic Logic Programs: A Different World View
- Ignacio Casso, José F. Morales, Pedro López and Manuel Hermenegildo. Computing Abstract Distances in Logic Programs
- Emily Leblanc, Marcello Balduccini and Joost Vennekens. Reasoning about Problems of Actual Causation using an Action Language Approach
- Sarthak Ghosh and C. R. Ramakrishnan. Value of Information in Probabilistic Logic Programs
- Giovanni Amendola, Tobias Berei and Francesco Ricca. Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
- Craig Olson and Yuliya Lierler. Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
- Adrien Husson and Jean Krivine. A tractable logic for molecular biology
- Bin Wang, Shen Jun, Shutao Zhang and Zhizheng Zhang. On the Strong Equivalences of LPMLN Programs
- Daniela Inclezan. RESTKB: A Library of Commonsense Knowledge about Dining at a Restaurant
- David Spies, Jia-Huai You and Ryan Hayward. Mutex Graphs and Multicliques: Reducing Grounding Size for Planning
- Santiago Escobar and Julia Sapiña. Most General Variant Unifiers
- Mateusz Ślażyński, Salvador Abreu and Grzegorz J. Nalepa. Generating Local Search Neighborhood with Synthesized Logic Programs
- Daoming Lyu, Fangkai Yang, Bo Liu and Steven Gustafson. PACMAN: A Planner--Actor-Critic Architecture for Human Centered Planning and Reinforcement Learning
- Joohyung Lee and Man Luo. Strong Equivalence for LPMLN Programs
- Vincent Barichard and Igor Stéphan. Quantified Constraint Handling Rules
- Paul Tarau, Jan Wielemaker and Tom Schrijvers. Lazy Stream Programming in Prolog
- Maximiliano Klemen, Pedro Lopez-Garcia, John Gallagher, José F. Morales and Manuel V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs
- K. Tuncay Tekle and Yanhong A. Liu. Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
- Carlo Zaniolo, Ariyam Das, Jiaqi Gu, Mingda Li, Youfu Li and Jin Wang. Pre-Mappable Constraints in Recursive Programs
- Giacomo Da Col and Erich Teppan. Google vs IBM: A Constraint Solving Challenge on the Job-Shop Scheduling Problem
- Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez and Francisco Suárez. A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation
- Ariyam Das, Youfu Li, Jin Wang, Mingda Li and Carlo Zaniolo. BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion
- Christian Haubelt, Kai Neubauer, Torsten Schaub and Philipp Wanko. Design Space Exploration via Answer Set Programming Modulo Theories
- Van Nguyen, Tran Cao Son and Enrico Pontelli. Natural Language Generation for Non-Expert Users
- Tarek Khaled and Belaid Benhamou. An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean networks
- Liu Liu and Mirek Truszczynski. Encoding Selection for Solving Hamiltonian Cycle Problems with ASP
- Nicos Angelopoulos and Jan Wielemaker. Advances in big data bio analytics
- José Luis Vilchis Medina, Pierre Siegel, Andrei Doncescu and Vincent Risch. An Implementation of a Nonmonotonic Logic in an Embedded Computer for a Motor-glider
- Daoming Lyu, Fangkai Yang, Bo Liu and Steven Gustafson. SDRL: Interpretable and Data-efficient Deep Reinforcement Learning Leveraging Symbolic Planning
- Stefania Costantini, Giovanni De Gasperis and Raffaele Olivieri. Digital Forensics and Investigations meets Artificial Intelligence
- Pedro Cabalar, Martín Diéguez and Torsten Schaub. Towards Dynamic Answer Set Programming
- Christian Haubelt, Kai Neubauer, Torsten Schaub and Philipp Wanko. Hybrid Answer Set Programming for Design Space Exploration
- Yuanlin Zhang, Jianlan Wang, Fox Bolduc and William G Murray. LP Based Integration of Computing and Science Education in Middle Schools
- Da Shen and Yuliya Lierler. SMT-based Constraint Answer Set Solver EZSMT+ for Non-tight Programs
- Wolfgang Faber, Michael Morak and Stefan Woltran. Strong Equivalence for Epistemic Logic Programs Made Easy: Extended Abstract
- Yanhong A. Liu and Scott Stoller. Rules with Negation in Recursion: Founded Semantics and Constraint Semantics
- Joohyung Lee and Yi Wang. Weight Learning in a Probabilistic Extension of Answer Set Programs
- Jessica Zangari, Francesco Calimeri and Simona Perri. Hypertree-Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics
- Abeer Dyoub, Stefania Costantini and Francesca A. Lisi. Towards Ethical Machines Via Logic Programming
- Valentina Pitoni and Stefania Costantini. A Temporal Module for Logical Frameworks
- Carmen Leticia García Mata. Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations


- General Chairs - Enrico Pontelli, Tran Cao Son
- Program Chairs - Esra Erdem, German Vidal
- Publicity Chair - Ferdinando Fioretto
- Workshops Chair - Martin Gebser
- Tutorials Chair - Pedro Cabalar
- DC Chairs - Paul Fodor, Daniela Inclezan
- Programming Competition Chairs - José Morales, Orkunt Sabuncu
- Applications Track Chairs - Andrea Formisano, Fangkai Yang
- Sister Conferences and Journal Presentation Track Chairs - Bart Bogaerts,
  Giovambattista Ianni
- Research Challenges in Logic Programming Track Chairs - Alessandro dal Palu,
  Amelia Harrison, Joohyung Lee
- Women in Logic Programming Special Session Chairs - Alicia Villanueva,
  Marina De Vos
- Program Committee - Hassan Ait-Kaci, Mario Alviano, Roman Bartak, Rachel
  Ben-Eliyahu-Zohary, Bart Bogaerts, Gerhard Brewka, Pedro Cabalar, Michael
  Codish, Stefania Costantini, Marina De Vos, Agostino Dovier, Thomas Eiter,
  Wolfgang Faber, Fabio Fioravanti, Andrea Formisano, John Gallagher, Martin
  Gebser, Michael Gelfond, Michael Hanus, Amelia Harrison, Manuel Hermenegildo,
  Giovambattista Ianni, Daniela Inclezan, Katsumi Inoue, Tomi Janhunen, Angelika
  Kimmig, Ekaterina Komendantskaya, Vladimir Lifschitz, Evelina Lamma, Joohyung
  Lee, Nicola Leone, Yanhong Annie Liu, Fred Mesnard, Jose F. Morales, Emilia
  Oikarinen, Carlos Olarte, Magdalena Ortiz, Mauricio Osorio, Barry O'Sullivan,
  Simona Perri, Enrico Pontelli, Ricardo Rocha, Alessandra Russo, Orkunt
  Sabuncu, Chiaki Sakama, Torsten Schaub, Guillermo R. Simari, Theresa Swift,
  Francesca Toni, Paolo Torroni, Tran Cao	Son, Alicia Villanueva, Kewen Wang,
  Jan Wielemaker, Stefan Woltran, Fangkai Yang, Roland Yap, Jia-Huai You,
  Zhizheng Zhang

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror
	git clone --mirror

Example config snippet for mirrors

Newsgroup available over NNTP:

AGPL code for this site: git clone