All pages tagged with tuProlog

• tuProlog Playground
• tuProlog Web IDE
• Execute-order-validate architecture for SmartContracts on top of the Tendermint consensus engine
• Web Server per l’utilizzo di Solver di Logic Programming
• Automatic multi-platform implementation of AUML interaction protocols with the help of Petri nets
• RDFLibrary
• tuProlog Engine
• Interfaccia client-side JavaScript per TuSoW
• tuProlog Socket Library
• tuProlog: Making Prolog Ubiquitous
• Building Smart Spaces on the Home Manager platform
• Multi-paradigm Bi-directional Java/Prolog Programming in tuProlog
• 2P-Kt: A Logic-Based Ecosystem for Symbolic AI
• Arg-tuProlog: A tuProlog-based argumentation framework
• Context Reasoning and Prediction in Smart Environments: the Home Manager case
• Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence
• The Butlers Framework for Socio-Technical Smart Spaces
• Labelled Variables in Logic Programming: Foundations
• LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
• Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
• Logic Programming as a Service (LPaaS): Intelligence for the IoT
• Towards Logic Programming as a Service: Experiments in tuProlog
• Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
• Semantic Tuple Centres
• simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
• Logic Programming in Space-Time: The Case of Situatedness in LPaaS
• tuProlog 2.0: One Step Beyond
• Designing a Development Environment for Logic and Multi-Paradigm Programming
• tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures
• The Architecture and Design of a Malleable Object-Oriented Prolog Engine
• Multi-paradigm Java-Prolog Integration in tuProlog
• Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
• Arg-tuProlog: a tuProlog-based argumentation framework
• Arg-tuProlog: a modular logic argumentation tool for PIL
• Labelled Variables in Logic Programming: A First Prototype in tuProlog
• Logic Programming as a Service (LPaaS): Intelligence for the IoT
• Towards Logic Programming as a Service: Experiments in tuProlog
• Modular logic argumentation in Arg-tuProlog
• tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures
• tuProlog.NET: analisi di sostenibilità del processo di sviluppo
• Modularizzazione dell’interprete tuProlog su piattaforma Java 9
• Gestione dell'input nell'interfaccia grafica di tuProlog per Java ed Eclipse
• 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI
• Implementazione automatica di protocolli di interazione AUML mediante reti di Petri
• Progetto e sviluppo del supporto all'interoperabilità fra l'interprete tuProlog e linguaggi su piattaforma Microsoft.NET
• Analisi di prestazione del motore tuProlog su piattaforma Java
• Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Java Micro Edition (J2ME)
• Studio di fattibilità per il deployment del plug-in tuProlog su piattaforma Eclipse
• Simulazione di Agenti BDI basati su Prolog in Alchemist
• Estensione di un motore Prolog per la programmazione a vincoli
• Estensione del plug-in tuProlog su piattaforma Eclipse: reingegnerizzazione della interazione con l'ambiente
• Design di una interfaccia grafica per query multiple su motori inferenziali
• Logic-based coordination: a semantic approach to self-composition of services
• Progetto e sviluppo di una nuova GUI per l'interprete tuProlog
• Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans
• Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans
• Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin
• Dalla programmazione logica contestuale alla programmazione del Web: implementazione in tuProlog
• Scripting in Java 6: esperimenti in tuProlog
• Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt
• Estensione del plugin tuProlog su piattaforma Eclipse: supporto per istanze multiple dell'interprete
• Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java
• Test di accettazione: strumenti a confronto
• Analisi di prestazione di un interprete prolog su piattaforma Java
• Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Microsoft .NET
• Progetto e sviluppo di una libreria tuProlog per il linguaggio SQL
• tuProlog as a Service: intelligenza per scenari IoT
• Progetto e sviluppo di middleware per l’interfacciamento di sensori per la domotica in ambiente Java
• Labelled tuProlog: Architettura ed Implementazione
• Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing
• Progettazione e sviluppo di una architettura di supporto per esperimenti di cognitive robotics basati su tuProlog e kit LEGO Mindstorms
• Programmazione multi-linguaggio in tuProlog.NET: esempi e casi d'uso
• Multi-paradigm programming: Java/Javascript in Rhino
• Multi-paradigm & multi-language programming: tuProlog , Scala, Javascript, Java
• Multi-paradigm programming: tuProlog & Scala
• Implementazione del plug-in per l'interprete tuProlog su piattaforma NetBeans: sviluppo di un nuovo prototipo
• Applicazioni multi-linguaggio e multi-paradigma in tuProlog.NET
• Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog
• Integrazione di codice tuProlog in linguaggi .NET approcci a confronto
• Migrazione di tuProlog su piattaforma Java2 Micro Edition (J2ME)
• Studio di fattibilità per la migrazione di un'applicazione dalla piattaforma java alla piattaforma .NET: un caso applicativo
• Porting di interfacce grafiche Java su piattaforma .NET tramite traduzione automatica del bytecode: un caso concreto
• Refactoring e testing dell'interprete tuProlog
• Integrazione della funzionalità di syntax highlighting per l'interprete tuProlog in ambiente Eclipse
• Refactoring dell'interprete tuProlog su piattaforma .NET per il supporto alla gestione delle eccezioni
• Sviluppo dei predicati di I/O standard ISO per l' interprete tuProlog
• Studio di fattibilità per l'integrazione di un motore Prolog in Mozilla
• Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog
• Progetto e sviluppo di un plug-in per l'interprete tuProlog in ambiente Eclipse
• Interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET
• Testing dell' interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET
• Adeguamento del plug-in per l'interprete tuProlog su piattaforma Eclipse
• Progetto e sviluppo di una libreria tuProlog per il Web Semantico
• Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML
• Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog
• Estensione della Socket Library per tuProlog
• Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse
• Portabilità di applicazioni multi-paradigma verso l'architettura Android ART: studio di fattibilità
• Porting e testing su piattaforma Android di un interprete Prolog
• Porting dell'interprete tuProlog su piattaforma Android: nuova GUI
• Estensione dell'interfaccia grafica in tuProlog per Android
• Class loading in Android: applicazione a tuProlog
• tuProlog in the Cloud
• Riprogettazione dell'editor dell'interprete tuProlog
• Ottimizzazione dell'engine dell'interprete tuProlog
• Estensione e riorganizzazione della GUI di un interprete Prolog su piattaforma Java
• Testing esaustivo di un interprete Prolog su piattaforma Java
• Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java
• Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog
• Multi-paradigm programming: tuProlog & Java 8
• Ottimizzazione dell'architettura dell'interprete tuProlog
• Soluzioni per il deployment di un plugin Eclipse
• Gestione della tail recursion in tuProlog
• Attualizzazione del supporto al multitasking in tuProlog
• tuProlog vs "rest of the world": un confronto ragionato
• Progetto di una libreria CLP per tuProlog