Author: Editors

ICLP 2024 – CFP

October 11-17, University of Texas at Dallas Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not…

Systems Description: ErgoAI

ErgoAI is an advanced and scalable object-oriented platform for knowledge representation and reasoning. ErgoAI was developed by Coherent Knowledge Systems as an enterprise-level extension of the well-known Flora-2 system that is now open-sourced. ErgoAI subsumes Flora-2 for all purposes. Language…

CFP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL)

Call for Papers 26th International Symposium on Practical Aspects of Declarative Languages(PADL 2024) https://popl24.sigplan.org/home/PADL-2024 London, United Kingdom, January 15-16, 2024 Co-located with ACM POPL 2024 Conference Description Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming.…

PPDP/LOPSTR 2023 invited speakers

We are glad to report here the names of the speakers and contents of the joint invited speaker of PPDP 2023 and LOPSTR 2023, to be held as part of SPLASH 2023 in October at Cascais, Lisbon, Portugal. Maribel Fernández…

CFP: Declarative Programming in Biology and Medicine

Declarative Programming in Biology and Medicine (“DeclMed”) is a new interdisciplinary workshop that will explore declarative programming methods / paradigms and their applications in the life sciences and medicine. Given promising advances in using declarative approaches in areas such as…

ICLP 2023: Preliminary TPLP Special Issue Content

The following are the arXiv versions of the papers accepted for the Theory and Practice of Logic Programming special issue for the ICLP 2023 conference.  Implementing backjumping by means of exception handling Wlodzimierz Drabent https://arxiv.org/abs/2305.16137 External Behavior of a Logic…

In Memoriam: Steffen Holldobler

It is with a heavy heart that we join many colleagues in remembering a groundbreaking researcher in the field of logic, deduction and knowledge representation and reasoning, Prof. Steffen Hölldobler. Prof. Hölldobler passed away in May 2023. He will be…