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 or via web from here:
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.
Area Editors (2016-2017).
Constraint Logic Programming
- Roman Barták http://ktiml.mff.cuni.cz/~bartak
Roman Barták is Professor and Vice-Head of Department of Theoretical Computer Science and Mathematical Logic at Faculty of Mathematics and Physics, Charles University in Prague. His work focuses mainly to the area of constraint-based planning and scheduling which includes problem modelling and reformulation and design of specific constraint satisfaction techniques.
He is an author of more than 100 research papers, several book chapters, and two on-line books on Prolog and Constraint Programming. He regularly serves in program committees of international conferences (IJCAI, AAAI, ECAI, FLAIRS, ICAPS, …) and he is a member of journal editorial boards of AI Communications, Computational Intelligence, Production and Manufacturing Research, and Advances in Artificial Intelligence.
- Andrea Formisano http://www.dmi.unipg.it/formis/index.php
Andrea Formisano is Associate Professor at the Department of Mathematics and Computer Science, University of Perugia, Italy.
He received his Ph.D. in Computer Science from Sapienza University of Rome in 2000. His research interests include logic programming, constraint logic programming, knowledge representation and nonmonotonic reasoning, computational logic, and automated reasoning. He is member of the Board of the Italian Association for Logic Programming. He served as committee member or reviewer of various conferences and journals.
- João Leite http://centria.di.fct.unl.pt/~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).
His 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,…).
- Matteo Baldoni http://www.di.unito.it/~baldoni/
Matteo Baldoni Matteo Baldoni was born in Torino in 1968.
He took is associate professor at the Department of Computer Science, Università degli Studi di Torino where he is member of the Logic Programming & Automatic Reasoning group. From July 1999 through September 2006 he was a researcher in the same institution.
From February through October 1998 he has been visiting the Laboratoire d’Informatique de Marseille (LIM) where he worked in the group of Représentation et traiement logique des connaissances under the supervision of Camilla Schwind.
He has a background in computational logic, modal and nonmonotonic extensions of logic programming, multimodal logics, reasoning by actions and change. His current research interests include issues in communication protocol design and implementation, conformance and interoperabilty for agents and web services, agent programming languages, and personalization by reasoning in the semantic web.
Applications of Logic Programming
- Gerhard Friedrich
Gerhard Friedrich is a chaired professor at the Universität Klagenfurt, Austria and received his PhD in computer science from the Vienna University of Technology. Since June 2013 he is Dean of the Faculty of Technical Sciences and directs the Intelligent Systems and Business Informatics research group. Previously he managed the Department for Configuration and Diagnosis Systems at Siemens Austria, implementing numerous knowledge-based systems. Gerhard Friedrich also led many research projects and was a research fellow at Siemens Corporate Research and at the Stanford Research Institute. His research interests include recommender systems, knowledge-based systems, knowledge acquisition and maintenance, configuring products and services, diagnosis and repair of processes as well as self-healing Web services. He has published many papers in highly-renowned journals in these areas, such as Artificial Intelligence, AI Magazine, Web Semantics, IEEE Intelligent Systems, IEEE Transactions on Software Engineering, IEEE Transactions on Engineering Management, and the International Journal of Electronic Commerce as well as a book on recommender systems at Cambridge University Press. Gerhard Friedrich served as program committee member for numerous distinguished conferences such as the International Joint Conference on Artificial Intelligence or the WWW. He was an area chair at the 13th International Conference on Principles of Knowledge Representation and Reasoning 2012, and a senior PC member at the ACM Recommender Systems Conferences 2010, 2011, 2012. Gerhard Friedrich is an associate editor of AI Communications and the International Journal of Mass Customization.
In 2012 he became a fellow of the European Coordinating Committee for Artificial Intelligence
- Paolo Torroni http://www.lia.deis.unibo.it/~pt/
Paolo Torroni is an associate professor at the School of Engineering, University of Bologna, since 2005. He authored over 100 refereed publications areas of AI including autonomous agents and multi-agent systems, computational logics, logic programming, abductive reasoning, negotiation, dialogue, argumentation, and applications. He has been programme committee member of more than 100 events, and has an editorial record with several international journals and book series, including Fundamenta Informaticae, Journal of Logic and Computation, Argument & Computation, and Springer LNCS. He organized several editions of the DALT, CLIMA, ArgNMR and LADS workshops and two PhD spring schools.
Inductive Logic Programming
- Fabrizio Riguzzi http://docente.unife.it/fabrizio.riguzzi
Fabrizio Riguzzi is Associate Professor of computer science at the University of Ferrara, Ferrara, Italy.
He obtained his Ph.D. degree in electronic and computer engineering from the University of Bologna, Bologna, Italy, in 1999.
From 1999 to 2014, he was a Researcher at the University of Ferrara, Italy.
The research activity of Riguzzi focuses on probabilistic logics and in particular inference and learning.
He is the author of more than 100 peer-reviewed papers.
He is Editor in Chief of Intelligenza Artificiale, Associate Editor of the Journal of Computer Science and Associate Editor of Frontiers in Robotics and AI, specialty section on Computational Intelligence. He is a Member of the Editorial Board of Intelligent Data Analysis.
He was program Cochair of AI*IA 2015 and ILP 2012. He is Secretary of the Italian Association for Artificial Intelligence. He has been Guest Editor for special issues of Machine Learning, Fundamenta Informaticae and Intelligenza Artificiale.
- James Cussens https://www-users.cs.york.ac.uk/jc/
James Cussens is a Senior Lecturer in the Department of Computer Science at the University of York, where he is a member of the Artificial Intelligence research group.
His work focuses mainly on declarative approaches to machine learning. This includes work on probabilistic inductive logic programming and the application of integer linear programming approaches to Bayesian network learning. He is an Action Editor for Machine Learning journal and serves on the PC of most major AI and machine learning conferences.
He is co-chair (with Alessandra Russo) of the 26th International Conference on Inductive Logic Programming (ILP’16) which will take place 4th – 6th September 2016, London.
Database & Semantic Web
- Alessandra Mileo http://www.insight-centre.org/users/alessandra-mileo
Dr. Alessandra Mileo is currently a Senior Research Fellow, Adjunct Lecturer and Unit Leader at the INSIGHT Centre for Data
Analytics, National University of Ireland Galway. She holds an MSC and a PhD in Computer Science from the University of Milan,
Italy. Her current research focuses on scalable and interoperable ways of transforming web data streams into actionable knowledge.
Research areas around this velocity aspect of Big Data involve Stream Reasoning, Web of Things/Internet of Things, query optimization, expressive and scalable stream reasoning languages and frameworks, hybrid methods for qualitative and quantitative reasoning, and access control for Linked Data. She is also active in collaborating with other research groups within the Center, applying research outcome in real world applications that have a very high economical and social potential impact. These include health monitoring, smart cities, sustainable IT and smart enterprise. As a member of the W3C, she is involved in standardization activities. Specifically, she is active in the W3C Community Group on RDF Stream Processing, and the Web of Things Interest Group. Within the European Research Cluster on the Internet of Things, she is contributing to the Activity Chain on Cognitive Technologies for IoT (IERC, AC7).
She is part of the Insight Galway Steering Committee, and Steering Committee member of the Web Reasoning and Rule Systems
- Francesco Ricca https://www.mat.unical.it/ricca/Francesco Ricca is Associate Professor at the Department of Mathematics of the University of Calabria, Italy.
He received his Laurea Degree in Computer Science Engineering (2002) and a PhD in Computer Science and Mathematics (2006) from the University of Calabria, Italy.
He is interested in declarative logic-based languages, consistent query answering and data integration, ontologies and in particular on the issues concerning their practical applications: system design and implementation, and development tools.
Francesco Ricca is co-author of more than 70 refereed articles published in international journals, collections, and conference proceedings.
- Martin Gebser http://www.cs.uni-potsdam.de/wv/people/gebser.htmlMartin Gebser is a postdoctoral researcher at the University of Potsdam, Germany. His research interests include theoretical and practical aspects of declarative problem solving methods. In particular, Martin contributes to the development of state-of-the-art solving systems in answer set programming and related areas. He gathered practical expertise in knowledge representation and reasoning technology by working on applications in systems biology, system synthesis, configuration, etc.
Martin co-chaired the ICLP doctoral consortium in 2013 and 2014 as well as the answer set programming competition in 2009, 2014, and 2015.
- Jose F. Morales http://www.software.imdea.org/people/josef.morales/index.html
Jose F. Morales joined IMDEA Software as a postdoctoral researcher in November 2010, after receiving his Ph.D degree in Computer Science from the Technical University of Madrid (UPM), Spain. Previously, he held a teaching assistant position at the Universidad Complutense de Madrid, starting in 2005.
Jose’s work to date has focused on mechanisms for the efficient execution of logic programs: inference of program properties by abstract interpretation, highly-optimizing translation to low-level code using those properties, and the development of abstractions for the specification and automated construction of abstract machines.
His current research interests include the design of multiparadigm languages (combining imperative, logic, functional, and object-oriented programming), assertion languages and type systems, abstract interpretation, abstract machines, compiler optimizations, and native code generation. He has been PC member of ICLP 2016, ICLP DC 2015, ICLP 2014, ICLP DC 2014, WLPE 2013, CICLOPS 2013, ICLP DC 2013, ICLP 2012, CICLOPS 2008, CICLOPS 2004, as well as other programming conferences like PLDI 2016 and CC 2016.
KR & Non-monotonic Reasoning
- Marcello Balduccini http://drexel.edu/cci/contact/Faculty/Balduccini-Marcello/Marcello Balduccini is an Assistant Research Professor of Compute Science at Drexel University (Philadelphia, Pennsylvania, USA).
His research interests include knowledge representation and reasoning, constraint satisfaction, commonsense, reasoning and problem solving, cybersecurity, and cyber-physical systems. He is affiliated with the AJ Drexel Institute for Energy and the Environment and with the Drexel University Cybersecurity Institute. Prior to joining Drexel, Marcello served as principal research scientist at Kodak Research Labs, leading the research on automated reasoning for industrial printing workflow.
Dr. Balduccini has published more than 70 refereed technical publications, including three book chapters, and has edited two volumes.
- Yuliya Lierler http://faculty.ist.unomaha.edu/ylierler/
Yuliya Lierler is an assistant professor in Computer Science Department in College of Information Science and Technology at University of Nebraska at Omaha since 2012. She completed her Ph.D. in Computer Science at the University of Texas at Austin in 2010. She served as a Computing Innovation Fellow Postdoc in Computer Science Department at the University of Kentucky till 2012.
Yuliya is the founder of the Natural Language Processing and Knowledge Representation Lab (NLP/KR) in the Department of Computer Science at the University of Nebraska at Omaha. Follow the link to the NLP/KR Research Lab to find out the details on the research projects.My main research interests are in the field of artificial intelligence, especially in the area of knowledge representation, automated reasoning, declarative problem solving, and natural language understanding. My interests span theoretic foundations as well as practical implementation of methods for automated reasoning based on model generation. These methods constitute backbone of such subareas of automated reasoning as Satisfiability, (Constraint) Answer Set Programming, Satisfiability Modulo Solving. I am particularly interested in applying automated reasoning techniques for solving inference problems stemming from natural language understanding domain. Ability to map textual inference into mathematical/automated inference is a fascinating open question.
Analysis & Verification
- German Vidal http://users.dsic.upv.es/~gvidal/
German Vidal received a PhD in Computer Science from the <em>Universitat Politecnica de Valencia</em> in 1996. He is currently a Professor at the Department of Computer Science, <em>Universitat Politecnica de Valencia</em>, Spain, where he leads the research group MiST on Multi-paradigm Software Technology. His research interests focus on semantics-based program analysis and transformation, constraint logic programming, rewrite systems, multi-paradigm programming, partial evaluation, verification, function inversion, reversible computation, etc. He has published approximately 100 peer-reviewed papers on these topics.
He has chaired or co-chaired WFLP’03, SAS’08, PEPM’09, FLOPS’10, LOPSTR’11 and PPDP’16. He is currently a member of the steering committees of LOPSTR and FLOPS conferences. He has led several R+D projects focused on program analysis and transformation, and is actually a member of the management committee of COST action IC1405 on reversible computation.
- Samir Genaim http://samir.loopkiller.com
Samir Genaim received a Ph.D. degree in Computer Science from Ben-Gurion University of the Negev in 2003. After completing his Ph.D. he was awarded a Marie-Curie fellowship for a 2-years post-doc appointment at the Universita’ degli studi di Verona with Roberto Giacobazzi. In 2005 he was awarded a ‘Juan de la Cierva’ fellowship, by the Spanish ministry of science, for a 3-years post-doc appointment with the CLIP research group at the Universidad Politécnica de Madrid. Since December 2008 he is a lecturer at the Departamento de Sistemas Informáticos y Computación at the Universidad Complutense de Madrid. He is currently a member of the COSTA research group. His research expertise is in the area of formal approaches to program analysis, which includes developing program analysis tools and their underlying theory in order to statically infer run-time properties of programs. He has a particular interest in theoretical and practical aspects of termination and cost analysis. He has published more than 80 peer-reviewed papers.
- Pedro Cabalar http://www.dc.fi.udc.es/~cabalar/
Pedro Cabalar is an associate professor of the Department of Computing at the University of Corunna, Spain, and organizes the MSc and PhD degrees in Computing research offered by that department. He graduated in 1993 in Computer Science in the Politechnic University of Madrid and received his PhD degree from the University of Corunna in 2001, on the topic of causality in action domains. His research is mostly related to logical approaches for Knowledge Representation in Artificial Intelligence, being particularly interested in Nonmonotonic Reasoning and Logic Programming under the Answer Set semantics. He has both published and actively participated as Program Committee or reviewer in main conferences (ICLP, LPNMR, KR, AAAI, ECAI, JELIA), journals (TPLP, AIJ, AMAI) and specialized workshops (NMR, ASP, ASPOCP) of these areas. He has also conducted several research projects in Answer Set Programming, in coordination with other groups in Spain.
- Mario Alviano http://alviano.net
Mario Alviano is an Assistant Professor at the Department of Mathematics and Computer Science of the University of Calabria, Italy. His research interests are in Answer Set Programming and Weighted Propositional Logic, and mainly concern the analysis of theoretical properties of the languages that can lead to advancing state-of-the-art solving technologies. In particular, he contributes with complexity analysis and algorithm design for stable model search for programs with recursive aggregates, query answering in logic based languages, and Boolean optimization.He received an Honourable Mention from the 2011 ECCAI Dissertation Award committee for his outstanding doctoral dissertation, and Best Paper Awards at ICLP 2015 and RR 2015.
Games & Puzzles
- Paolo Baldan http://www.math.unipd.it/~baldanPaolo Baldan is an associate professor at the Department of Pure and Applied Mathematics of the University of Padova. He received a laurea degree in Computer Science from the University of Udine in 1994 and a PhD in Computer Science from the University of Pisa in 2000. From 2001 to 2006 he has been an assistant professor at Computer Science Department of the University Ca’ Foscari of Venice. 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 http://www.di.unipi.it/~bruni/Roberto Bruni is Associate Professor at the Computer Science Department of the University of Pisa. He received a PhD in Computer Science from the University of Pisa in 1999. From 2002 to 2011 he has been an assistant professor at 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.
He has published over 120 articles in books, journals, conference and workshop proceedings, and has served as PC member of FoSSaCS, ICALP, CONCUR, FSTTCS, COORDINATION, FMOODS/FORTE, PN, AMAST, TGC, IFIP-TCS, FACS, WRLA, WS-FM, ICE, GT-VMT, SAC-SOAP, ICTCS.
Previous Editorial Boards
- 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)