41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 https://iclp25.demacs.unical.it SCOPE Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions…
CFP: Practical Aspects of Declarative Languages (PADL 2025)
Call for Papers 27th International Symposium on Practical Aspects of Declarative Languages(PADL 2025) PADL 2025 – : The 27th International Symposium on Practical Aspects of Declarative Languages – POPL 2025 (sigplan.org) Denver, Colorado, United States, January 20-21, 2025 Co-located with…
ALP Elections results
ALP has just completed the elections for new EC members and President. The new ALP EC members are: Pedro Cabalar Martin Gebser Laura Giordano Theresa Swift Enrico Pontelli was elected as new President. Congratulations to all and thanks to the…
ICLP 2024 – CFP
40th International Conference on Logic Programming October 11-17, University of Texas at Dallas https://iclp24.utdallas.edu SCOPE: Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought…
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…
Using Level-Based Multiple Reasoning in a Web-Based Intelligent System for the Diagnosis of Farmed Fish Diseases using LPA Prolog
Correspondence: ihatz@ceid.upatras.gr Farmed fish disease diagnosis is an important problem in the fish farming industry, affecting quality of production and financial losses. In this paper, we present a web-based intelligent system that tackles the problem of fish disease diagnosis. To…