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