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