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: [email protected] 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…
2 Post-Doc Position, University of L’Aquila, Italy
We are asking for expressions of interest in postdoctoral positions that will soon be available at the University of L’Aquila (2 years, with possible extension) within the projects whose summary is provided below. The hired postdocs, together with the…