Tag Clouds

4 docs / Tag “tuProlog”  /  2P-Kt 

page_white_acrobat  2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
book  Progettazione e implementazione  di un'interfaccia Android  per il motore Prolog 2P-Kt (Document “Theses.DiPietro2PKtAndroid2020” does not contain a “Thesis” object, 22/07/2020) — Andrea Dipietro
book  2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (completed, 12/12/2019) — Enrico Siboni
book  Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (completed, 22/07/2020) — Ilaria Crivellari

109 docs / tuProlog tag 

book  Simulazione di Agenti BDI basati su Prolog in Alchemist (Document “Theses.BdiAlchemistNicolini2019” does not contain a “Thesis” object, 12/12/2019) — Filippo Nicolini
page_white_acrobat  simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (paper in proceedings, 2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
book  Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog (completed, 16/02/2006) — Emanuele Nanetti
book  Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing (completed, 13/07/2016) — Federico Venturini
book  Progetto e sviluppo di una libreria tuProlog per il linguaggio SQL (completed, 09/10/2007) — Matteo Iuliani
page_white_acrobat  The Butlers Framework for Socio-Technical Smart Spaces (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti
book  Design di una interfaccia grafica per query multiple su motori inferenziali (completed, 18/01/2008) — Marco Casadio
book  Dalla programmazione logica contestuale alla programmazione del Web: implementazione in tuProlog (out-of-date, ) — 
book  Scripting in Java 6: esperimenti in tuProlog (completed, 25/06/2009) — Andrea Del Bene
page_white_acrobat  Context Reasoning and Prediction in Smart Environments: the Home Manager case (paper in proceedings, 2017) — Roberta Calegari, Enrico Denti
book  Refactoring dell'interprete tuProlog su piattaforma .NET per il supporto alla gestione delle eccezioni (completed, 18/03/2010) — Antonio Danilo Santoro
page_white_acrobat  Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (paper in proceedings, 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
page_white_acrobat  LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (article in journal, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
book  Porting e testing su piattaforma Android di un interprete Prolog (completed, 20/07/2011) — Andrea Pasquini
page_white_acrobat  Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings, 2008) — Giulio Piancastelli, Enrico Denti
book  Gestione dell'input nell'interfaccia grafica di tuProlog per Java ed Eclipse (completed, 18/06/2014) — Matteo Librenti
book  Sviluppo dei predicati di I/O standard ISO per l' interprete tuProlog (completed, 14/01/2010) — Sara Sabioni
book  Estensione del plugin tuProlog su piattaforma Eclipse: supporto per istanze multiple dell'interprete (completed, 10/10/2006) — Michele Dinardo
page_white_acrobat  tuProlog 2.0: One Step Beyond (article in journal, 2007) — Giulio Piancastelli, Andrea Omicini
book  Estensione di un motore Prolog per la programmazione a vincoli (completed, 15/12/2005) — Alex Benini
page_white_acrobat  Logic Programming as a Service (LPaaS): Intelligence for the IoT (paper in proceedings, 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
book  Test di accettazione: strumenti a confronto (completed, 11/12/2014) — Marcello Colameo
book  Integrazione della funzionalità di syntax highlighting per l'interprete tuProlog in ambiente Eclipse (completed, 15/12/2005) — Daniele Sabatini
book  Riprogettazione dell'editor dell'interprete tuProlog (out-of-date, ) — Raffaele Serra
book  Analisi di prestazione del motore tuProlog su piattaforma Java (completed, 19/03/2009) — Michele Damian
page_white_text (courses)  Execute-order-validate architecture for SmartContracts on top of the Tendermint consensus engine
book  Integrazione di codice tuProlog in linguaggi .NET approcci a confronto (completed, 19/12/2012) — Fabio Gravina
book  Progetto e sviluppo del supporto all'interoperabilità fra l'interprete tuProlog e linguaggi su piattaforma Microsoft.NET  (completed, 21/10/2008) — Marco Albertin
page_white_acrobat  Multi-paradigm Bi-directional Java/Prolog Programming in tuProlog (rejected) — Enrico Denti, Andrea Omicini, Mirko Viroli
book  Progetto e sviluppo di middleware per l’interfacciamento di sensori per la domotica in ambiente Java (completed, 13/07/2016) — Federico Baldassarre
page_white_acrobat  Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
page_white_acrobat  Arg-tuProlog: A tuProlog-based argumentation framework (paper in proceedings, 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
book  Interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET (completed, 14/12/2011) — Valerio Pipolo
book  Estensione della Socket Library per tuProlog (completed, 19/12/2012) — Adelina Benedetti
book  Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans (completed, 26/10/2006) — Luca Coccini Gailli
page_white_acrobat  2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
book  Estensione del plug-in tuProlog su piattaforma Eclipse: reingegnerizzazione della interazione con l'ambiente (completed, 26/07/2006) — Stefano Bonetti
book  Refactoring e testing dell'interprete tuProlog (completed, 13/06/2013) — Emanuele Signorin
book  Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Java Micro Edition (J2ME) (completed, 17/12/2007) — Enrico Angelini
book  Studio di fattibilità per la migrazione di un'applicazione dalla piattaforma java alla piattaforma  .NET:  un caso applicativo (completed, 05/12/2002) — Antonio Poggiali
book  Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans ($thesisStatusEngSingularShortMap.get($status).toLowerCase(), ) — Luca Coccini Gailli
book  Studio di fattibilità per l'integrazione di un motore Prolog in Mozilla (completed, 14/12/2004) — Amedeo Simeone
book  Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java (completed, 11/02/2016) — Vito Colletta
page_white_text (courses.sd2021.projects)  tuProlog Playground
book  Multi-paradigm & multi-language programming: tuProlog , Scala, Javascript, Java (out-of-date, ) — 
page_white_text (courses.sd2021.projects)  Interfaccia client-side JavaScript per TuSoW
page_white_acrobat  Towards Logic Programming as a Service: Experiments in tuProlog (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
book  Porting di interfacce grafiche Java su piattaforma .NET tramite traduzione automatica del bytecode: un caso concreto (out-of-date, ) — 
page_white_powerpoint  Towards Logic Programming as a Service: Experiments in tuProlog (talk, 29/07/2016) — Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani)
book  Adeguamento del plug-in per l'interprete tuProlog su piattaforma Eclipse (completed, 21/03/2011) — Orfeo Ciano
book  Progettazione e implementazione  di un'interfaccia Android  per il motore Prolog 2P-Kt (completed, 22/07/2020) — Andrea Dipietro
book  Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog ($thesisStatusEngSingularShortMap.get($status).toLowerCase(), ) — 
book  Modularizzazione dell’interprete tuProlog su piattaforma Java 9 (completed, 15/10/2018) — Maria Russo
book  Progetto e sviluppo di una nuova GUI per l'interprete tuProlog (completed, 25/07/2008) — Juri Castellani
book  Progetto e sviluppo di un plug-in per l'interprete tuProlog in ambiente Eclipse (completed, 14/03/2005) — Stefano Rizzi
book  Analisi di prestazione di un interprete prolog su piattaforma Java (completed, 13/12/2005) — Fabio Tosi
book  tuProlog in the Cloud (out-of-date, ) — 
book  Multi-paradigm programming: tuProlog & Scala (out-of-date, ) — 
page_white_acrobat  The Architecture and Design of a Malleable Object-Oriented Prolog Engine (paper in proceedings, 2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
book  2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (completed, 12/12/2019) — Enrico Siboni
page_white_powerpoint  Labelled Variables in Logic Programming: A First Prototype in tuProlog (talk, 23/09/2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)
book  Multi-paradigm programming: tuProlog & Java 8 (out-of-date, ) — 
book  Estensione e riorganizzazione della GUI di un interprete Prolog su piattaforma Java (completed, 16/12/2011) — Michele Castagna
book  Progettazione e sviluppo di una architettura di supporto per esperimenti di cognitive robotics basati su tuProlog e kit LEGO Mindstorms (completed, 12/07/2003) — Alex Benini
book  Applicazioni multi-linguaggio e multi-paradigma in tuProlog.NET (completed, 25/03/2013) — Mirko Davoli
book  Migrazione di tuProlog su piattaforma Java2 Micro Edition (J2ME) (completed, 22/09/2003) — Michele Pace
book  Progetto di una libreria CLP per tuProlog (out-of-date, ) — 
book  Studio di fattibilità per il deployment del plug-in tuProlog su piattaforma Eclipse (completed, 25/07/2008) — Paolo Barboni
book  Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse (completed, 24/07/2017) — Federico Stella
book  Estensione dell'interfaccia grafica in tuProlog per Android (completed, 19/12/2013) — Mirco Mastrovito
page_white_acrobat  Labelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
book  Progetto e sviluppo di una libreria tuProlog per il Web Semantico (completed, 07/10/2009) — Martina Paianini
book  Implementazione automatica di protocolli di interazione AUML mediante reti di Petri (completed, 28/03/2012) — Marco Alberti
page_white_powerpoint  Logic Programming as a Service (LPaaS): Intelligence for the IoT (talk, 16/05/2017) — Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani)
book  Gestione della tail recursion in tuProlog (completed, 03/10/2011) — Silvia Umiliacchi
book  Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (completed, 22/07/2020) — Ilaria Crivellari
book  Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (completed, 22/07/2020) — Riccardo Varotto
page_white_acrobat  Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (paper in proceedings, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
book  Programmazione multi-linguaggio in tuProlog.NET: esempi e casi d'uso (completed, 18/03/2014) — Marco Donato Torsello
page_white_powerpoint  Arg-tuProlog: a modular logic argumentation tool for PIL (talk, 10/12/2020) — Giuseppe Pisano (Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
book  Labelled tuProlog: Architettura ed Implementazione  (out-of-date, 13/03/2017) — Tiziano Distefano
book  tuProlog as a Service: intelligenza per scenari IoT (completed, 13/03/2017) — Andrea Muccioli
page_white_powerpoint  Arg-tuProlog: a tuProlog-based argumentation framework (talk, 13/10/2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
book  Ottimizzazione dell'architettura dell'interprete tuProlog (out-of-date, ) — Ali Nadjoui
book  Ottimizzazione dell'engine dell'interprete tuProlog (out-of-date, ) — 
page_white_acrobat  Building Smart Spaces on the Home Manager platform (article in journal, 2016) — Roberta Calegari, Enrico Denti
book  Porting dell'interprete tuProlog su piattaforma Android: nuova GUI (completed, 15/03/2012) — Gianluca Privitera
book  Multi-paradigm programming: Java/Javascript in Rhino (out-of-date, ) — 
book  Portabilità di applicazioni multi-paradigma verso l'architettura Android ART: studio di fattibilità (out-of-date, ) — Francesca Cappa
book  Logic-based coordination: a semantic approach to self-composition of services (completed, 21/03/2019) — Ashley Caselli
page_white_acrobat  Semantic Tuple Centres (article in journal, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
book  Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Microsoft .NET (completed, 10/10/2007) — Mattia Generali
page_white_acrobat  Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (paper in proceedings, 2019) — Andrea Omicini, Roberta Calegari
book  Soluzioni per il deployment di un plugin Eclipse (completed, 14/12/2011) — Lorena Qendro
page_white_text (courses)  tuProlog Engine
book  Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog (completed, 20/06/2007) — Robertino Aniello
page_white_acrobat  Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (paper in proceedings, 2015) — Enrico Denti, Roberta Calegari
book  Testing dell' interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET ($thesisStatusEngSingularShortMap.get($status).toLowerCase(), ) — 
book  Class loading in Android: applicazione a tuProlog (completed, 18/03/2014) — Alessio Mercurio
book  Attualizzazione del supporto al multitasking in tuProlog (completed, 13/02/2013) — Eleonora Cau
book  Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java (completed, 12/10/2015) — Alberto Sita
book  tuProlog vs "rest of the world": un confronto ragionato (out-of-date, ) — 
page_white_acrobat  tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (paper in proceedings, 2001) — Enrico Denti, Andrea Omicini, Alessandro Ricci
page_white_acrobat  Logic Programming in Space-Time: The Case of Situatedness in LPaaS (paper in proceedings, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
book  Implementazione del plug-in per l'interprete tuProlog su piattaforma NetBeans: sviluppo di un nuovo prototipo (completed, 15/03/2007) — Riccardo Malara
book  Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (completed, 24/07/2017) — Alberto Sita
page_white_acrobat  tuProlog: Making Prolog Ubiquitous (article in journal, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari
book  Testing esaustivo di un interprete Prolog su piattaforma Java (completed, 14/12/2011) — Fabrizio Sabbioni
book  tuProlog.NET: analisi di sostenibilità del processo di sviluppo (completed, 03/10/2018) — Matteo Castiglio

Tags:
Created by Andrea Omicini on 09/08/2021 19:03

Logo

tuProlog License

tuProlog is an open source technology released under the Apache 2.0 License

tuProlog Related

Arg2P  |  LPaaS  |  ReSpecT  |  TuCSoN

tuProlog Resources

Contacts

Roberta Calegari email  |  Giovanni Ciatto email  |  Enrico Denti email  |  Andrea Omicini email

Downloads

GitHub  |  Maven Central  |  Bintray  |  NPM  |  Latest JVM release

Sources

GitHub  |  GitLab

Social

FaceBook

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY