CILC
Italian Conference on Computational Logic (2004— )
8 events in the series
Efficient compliance checking of RDF data (2023) • Taking stock of available technologies for compliance checking on first-order knowledge (2022) • KINS: Knowledge Injection via Network Structuring (2022) • Knowledge injection of Datalog rules via Neural Network Structuring with KINS (2023) • Logic Programming library for Machine Learning: API design and prototype (2022) • Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (2022) • Preface (2023) • CILC 2022 – Italian Conference on Computational Logic (2022) • Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (2023) • A Mechanism for Reasoning over Defeasible Preferences in Arg2P (2021) • Arg-tuProlog: A tuProlog-based argumentation framework (2020) • Labelled Variables in Logic Programming: Foundations (2016) • CILC 2016 – Italian Conference on Computational Logic (2016) • Experimenting with Stochastic Prolog as a Simulation Language (2008) • Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems (2004)
KINS: Knowledge Injection via Network Structuring (01/07/2022) • Logic Programming library for Machine Learning: API design and prototype (01/08/2022) • A Mechanism for Reasoning over Defeasible Preferences in Arg2P (07/09/2021) • Arg-tuProlog: a tuProlog-based argumentation framework (13/10/2020) • Labelled Variables in Logic Programming: Foundations (20/06/2016) • Coordination Models and Technologies toward Self-Organising Systems (31/08/2011) • Experiment with Stochastic Prolog as Simulation Language (10/07/2008)