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.…