Tutti i documenti taggati con logic programming

• ICLP 2022
• A Multi-Theory Logic Programming Language for the World Wide Web
• Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
• Object-Oriented Computations in Logic Programming
• Minority Game: A Logic-Based Approach in TuCSoN
• Exploiting Logic Programming in Robot Applications
• Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
• Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How?
• Logic Programming as a Service (LPaaS): Intelligence for the IoT
• Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
• CSM User's Guide
• Open Logic Theory Composition in a Software Engineering Perspective
• From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
• A Mechanism for Reasoning over Defeasible Preferences in Arg2P
• Logic Programming as a Service
• Logic Programming in Space-Time: The Case of Situatedness in LPaaS
• Theory and Practice of Logic Programming
• Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
• A Multi-Theory Logic Language for the World Wide Web
• Il prototipo APPEAL
• Argumentation and Logic Programming for Explainable and Ethical AI
• Journal of Logic and Computation
• Objects with State in Contextual Logic Programming
• Implementing Contexts in Logic Programming
• CILC 2022 – Italian Conference on Computational Logic
• Explainability through argumentation in logic programming
• 2P-Kt: logic programming with objects & functions in Kotlin
• Argumentation and Logic Programming for Explainable and Ethical AI
• A Mechanism for Reasoning over Defeasible Preferences in Arg2P
• Towards Logic Programming as a Service: Experiments in tuProlog
• Objects as Evolving Contexts
• Merging Logic Programming into Web-based Technology: A Coordination-based Approach
• Web Server per l’utilizzo di Solver di Logic Programming
• Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog
• Implementing Contexts in Logic Programming
• Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
• Multi-paradigm Bi-directional Java/Prolog Programming in tuProlog
• La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente
• 2P-Kt: logic programming with objects & functions in Kotlin
• On Correctness and Completeness of an n Queens Program
• Extending Logic Programming with Labelled Variables: Model and Semantics
• International Journal of Software Engineering and Knowledge Engineering
• A Structured Logic Programming Approach to Robot Programming
• ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops
• Explainability through argumentation in logic programming
• STAI 2023
• A Logic Programming Framework for Web Application Development
• LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
• ALP Newsletter
• From the Blockchain to Logic Programming and back: Research perspectives
• Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
• Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
• ICLP 2023
• tuProlog: Making Prolog Ubiquitous
• PLILP’93
• Journal of Logical and Algebraic Methods in Programming
• Declarative Agent Languages and Technologies VIII
• Exploiting Logic Programming in Robot Applications
• Labelled Variables in Logic Programming: Foundations
• From the Blockchain to Logic Programming and Back: Research Perspectives
• Multi-paradigm Java-Prolog Integration in tuProlog
• Robot Control Systems as Contextual Logic Programs
• Techniques for Implementing Contexts in Logic Programming
• A Multi-Agent Framework and Programming Environment for Autonomous Robotics
• Logic Programming in Space-Time: The Case of Situatedness in LPaaS
• The Architecture and Design of a Malleable Object-Oriented Prolog Engine
• Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML
• Object-Oriented Computations in Logic Programming