ALP Newsletter

What is the ALP Newsletter?

This is the electronic newsletter of the Association for Logic Programming. It contains news, net postings, call for papers, comments, conference announcements and humour, all related to Computational Logic.

The newsletter is a quarterly publication, in the months March, June, September, and December a new issue is posted.  Issues up to 2009 can be found HERE.

To remind interested people of the outcome of a new issue, a short digest is sent by email to those who subscribe to it.  Anyone can subscribe/unsubscribe to this service sending an email to the editors.

We guarantee that subscribers won’t receive from us more emails that strictly necessary – four emails PER YEAR is all we are going to send around. It goes without saying that subscribing is free, and that the email addresses in the list will never – under any circumstance – be given to any third party.

Newsletter Editors:

Area Editors (2022). Since August 2022, the areas of the Newletter are aligned with those of TPLP

APPLICATIONS

  • Daniela Inclezan (PhD,  Texas Tech University, USA, 2012) is an Associate Professor in the Department of Computer Science and Software Engineering (CSE) at Miami University of Ohio, USA. She conducts research in knowledge representation and logic programming, especially in the areas of action languages, natural language understanding, and policy-aware intentional agents. Daniela Inclezan is a Maryloo Spooner Schallek endowed faculty and currently acts as the faculty advisor for the Miami University Girls Who Code club at Miami University, the CSE Graduate Program Director, and chair of the Humanitarian Engineering and Computing Minor committee.

CONSTRAINTS

  • Andrea Formisano (PhD, University of Roma La Sapienza, Italy, 2000) is Associate Professor at the University of Udine (DMIF), Italy. His research interests include logic programming, constraint logic programming, knowledge representation and nonmonotonic reasoning, computational logic, and automated reasoning. He is vice-president of the Italian Association for Logic Programming, and he served as PC co-chair of ICLP 2021.

DATABASES AND SEMANTIC WEB REASONING

  • TBA

DESING, ANALYSIS, AND IMPLEMENTATION OF LANGUAGES

KNOWLEDGE REPRESENTATION AND NONMONOTONIC REASONING

  • Carmine Dodaro (PhD, University of Calabria, Rende, Italy, 2015) is an associate professor at the University of Calabria (DEMACS). His research interests include answer set programming, knowledge representation and nonmonotonic reasoning, optimization problems, satisfiability, maximum satisfiability, query answering. He contributes to the development of the ASP solver WASP and of the version 2 of DLV. He is co-chair of the organization committee of JELIA 2019 and ICLP 2020.

LOGIC AND MACHINE LEARNING

  • Mark Law (PhD, Imperial College, London, UK, 2018) Honorary Research Fellow in the Department of Computing at Imperial College London and head of ILASP Limited. His current research is in the area of Inductive Logic Programming; specifically my work addresses learning Answer Set Programs consisting of normal rules, choice rules, (hard) constraints, and weak constraints.

PROGRAMMING METHODOLOGY AND SOFTWARE ENGINEERING

  • Giovanni Ciatto (PhD, Alma Mater Univ. of Bologna, Italy, 2022) Post-doctoral research fellow at the Department of Computer Science and Engineering of the University of Bologna.
    His background spans from Software Engineering  to Data Science, stepping through Logic Programming and Multi-Agent Systems. He is currently focussing on eXplainable AI,  applying Computational Logic as a means to explain sub-symbolic AI.  He is one of the developpers of tuProlog.

Specification, Analysis and Verification of Systems, Security

  • Carlos Olarte  (PhD, École Polytechnique, France, 2009) is an associate professor at Université Sorbonne Paris Nord and member of LIPN (Laboratoire d’Informatique de Paris Nord). His research focuses on the use of formal methods for the specification and verification of concurrent systems. He has developed techniques based on process calculi, substructural and modal logics and rewriting logic for the analysis of concurrent systems with applications in different areas including multimedia interacting systems, biological systems and mobile and reactive systems. He is currently the president of the steering committee of LSFA and regularly serves in program committees of international conferences and workshops.

Theoretical Foundations

  • Jorge Fandinno (PhD, University of Corunna, Spain, 2015) is an Assistant Professor at the Department of Computer Science of the University of Nebraska at Omaha, US. His research interests are in theoretical foundations of automated reasoning based on knowledge representation languages and, in particular Answer Set Programming and its extensions. He has contributed to the understanding of causality, justifications, aggregates, and epistemic and constraint extensions of logic programs. He received Best Paper Awards at LPNMR 2015, 2017, and 2019.

Student specialist

  • Gian Luca Pozzato (PhD, Univ. of Torino, Italy, 2007) is an associate professor at the Department of Computer Science in the Università degli studi di Torino, where he is co-responsible of the “Knowledge representation, Automated Reasoning, Logic and ontologies” and Head of Master in ‘’Progettazione e Management del Multimedia per la Comunicazione’’. His main research interests are in Logical Foundations of Artificial Intelligence including non-monotonic reasoning, conditional logics, preferential logics, description logics, proof theory, and theorem proving.

Games & Puzzles

  • Paolo Baldan  (PhD, University of Pisa, Italy, 2000) is a professor at the Department of Pure and Applied Mathematics of the University of Padova. His research focuses on formalisms for the specification of concurrent and distributed systems, in particular (graph) rewriting systems, Petri nets and process calculi, and in the development of analysis and verification techniques for such formalisms.
  • Roberto Bruni (PhD, University of Pisa, Italy, 1999) is Associate Professor at the Computer Science Department of the University of Pisa.  His current research interests include the areas of concurrency, semantics, rewrite systems, process calculi, Petri nets, service oriented architectures, business processes.

Previous Editorial Boards

  • 2019-21. Enrico Pontelli and Agostino Dovier (editors), Roman Barták and Andrea Formisano (Constraint Logic Programming), João Leite and Matteo Baldoni (Multi-Agent Systems), Gerhard Friedrich and Carmine Dodaro (Applications of Logic Programming), Fabrizio Riguzzi and James Cussens (Inductive Logic Programming), Alessandra Mileo and Francesco Ricca (Database & Semantic Web), Martin Gebser and Jose F. Morales (Implementation), Marcello Balduccini and Fangkai Yang (KR & Non-monotonic Reasoning), Fabio Fioravanti and Samir Genaim (Analysis & Verification), Joohyung Lee  and Mario Alviano (Foundations), Paolo Baldan and Roberto Bruni (Games and Puzzles), Gian Luca Pozzato (Student Specialist).
  • 2016-18.  Enrico Pontelli and Agostino Dovier (editors), Jose F. Morales and Martin Gebser (implementation), Roman Bartak and Andrea Formisano (CLP),  Paolo Torroni and Gerhard Friedrich (Applications), James Cussens and Fabrizio Riguzzi (ILP), Alessandra Mileo and Francesco Ricca (DB & Semantic Web), João Leite and Matteo Baldoni (Multi-Agent Systems), Yuliya Lierler and Marcello Balduccini (KR & NMR), Samir Genaim and German Vidal (Analysis and Verification),  Pedro Cabalar and Mario Alviano (Foundations),  Paolo Baldan and Roberto Bruni (Games and Puzzles), Gian Luca Pozzato (Student Specialist)
  • 2014-2015. Enrico Pontelli and Agostino Dovier (editors), Ricardo Rocha and Martin Gebser (implementation), Roman Bartak and Tom Schrjivers (CLP),  Paolo Torroni and Francesco Ricca (Applications), Vitor Santos Costa and Fabrizio Riguzzi (ILP), Alessandra Mileo and Thomas Krennwallner (DB & Semantic Web),  Tran Cao Son and Marcello Balduccini (KR & NMR), John Gallagher and Michael Leuschel (Analysis and Verification),  Pedro Cabalar and Stefan Woltran (Foundations),  Paolo Baldan and Roberto Bruni (Games and Puzzles), Paul Tarau (Out of Left Field)
  • 2010-2013. Enrico Pontelli and Agostino Dovier (editors), Manuel Carro and Ricardo Rocha (implementation), Luc De Raedt and Vitor Santos Costa (ILP), Roman Bartak and Tom Schrjivers (CLP), Pedro Cabalar and Stefan Woltran (Foundations), John Gallagher and Michael Leuschel (Analysis and Verification), Tran Cao Son and Marcello Balduccini (KR & NMR), Marco Gavanelli and Paolo Torroni (Applications), Michael Kifer and Axel Polleres (DB & Semantic Web), Paolo Baldan (Games and Puzzles)
  • 2006-2009. Enrico Pontelli and Sandro Etalle (editors), Roberto Bagnara (implementation), Brigitte Pientka (theorem proving), Eric Monfroy (constraints), Frank Valencia (concurrency), R.C. Ramakrishnan (verification & model checking), Fariba Sadri and Francesca Toni (Multi-Agent Systems), Tran Cao Son (NMR), Agostino Dovier (Applications), Axel Polleres (Web and Semantic Web), Paolo Baldan (Games and Puzzles), Andrew O. Gonzalez (Web master)
  • 2004-2005. Enrico Pontelli and Sandro Etalle (editors), Roberto Bagnara (implementation), Amy Felty (theorem proving), Eric Monfroy (constraints), Catuscia Palamidessi (concurrency), R.C. Ramakrishnan (verification & model checking), Fariba Sadri and Francesca Toni (Multi-Agent Systems), Tran Cao Son (NMR), Paolo Baldan (Games and Puzzles), Danny Penders (Web master)
  • 2001-2003. Sandro Etalle (editor), Roberto Bagnara (implementation), Amy Felty (theorem proving), Eric Monfroy (constraints), Catuscia Palamidessi (concurrency), R.C. Ramakrishnan (verification & model checking), Fariba Sadri and Francesca Toni (Multi-Agent Systems), Danny Penders (Web master)