Discover Italy's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Italy.
friguzzi/cplint
cplint is a suite of programs for reasoning with probabilistic logic programsfriguzzi/aleph
Port of Aleph to SWI-PrologAAAI-DISIM-UnivAQ/DALI
DALI Multi Agent System Frameworknicoladileo/NephroDoctor
NephroDoctor: A simple Medical Expert System written in Prologfriguzzi/matrix
Operations with matrices, SWI packfriguzzi/trill-on-swish
The Trill probabilistic ontology reasoner on SWISHdi-unipi-socc/EdgeUsher
A declarative prototype to solve the VNF placement in Cloud-Edge scenarios.rzese/trill
TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.fabriziogaliano/docker-snort-ids
Docker image with Snort and Barnyardteto1992/greenICTer
A logic programming solution to assess the ecological footprint of your ICT systemilario-pierbattista/prolog-utils
Materiale ausiliario ed esercitazioni di Prologdi-unipi-socc/daplacer
Tool for data-aware application placement and routing in the Cloud-IoT continuummarcoramilli/spampig
SpamPIGArnaudFadja/phil
PHIL is a parameter learning algorithm that learns the parameters of Hierarchical Probabilistic Logic Programs applying gradient descent and Expectation Maximizationdmeoli/PESAD
Prolog Expert System on Anxiety Disordersfriguzzi/cplint_datasets
Datasets for cplintdi-unipi-socc/fogbrainx
continuous reasoning for managing next-gen Cloud-IoT applications in continuity with the CI/CD pipelinePrincic-1837592/MCSEA
My Learning Units for the course "Methods in Computer Science Education: Design" at Sapienzasacerdot/Minimalist-Type-Theory-In-Lambda-Prolog
An implementation in Lambda-Prolog of the Minimalist Type Theoryfferri/CLPplan
symbolic planning using Prolog and CLPFDmatteoredaelli/proloGraph
A demo for a REST server developed in prologfriguzzi/auc
Library for computing the Area Under the Receiving Operating Characteristics and Precision Recall curvesDangerBlack/quest-describer
A First Order Logic as describer for RPG questBiuni/Prolog-AI
๐พ Notes, examples and exercises in Prolog by the Artificial Intelligence course.lamba92/prolog-project
A prolog projectderogab/little-man-computer
Little Man Computer: a college project w/ @dlcgold at unimibdi-unipi-socc/SecFog
A tool for security assessment of multi-service IoT application deployment in the Fog.di-unipi-socc/fogbrain
continuous reasoning engine for managing next-gen distributed applicationsfriguzzi/pascal
Probabilistic inductive constraint logicpeppocola/Cdl_Assistant
Project for Fundamentals of Artificial Intelligence exam (UniBa)di-unipi-socc/dips
giancosta86/WebSolver
Prolog web architecture for meta-interpretersfriguzzi/trill_on_swish
Cliopatria pack for trillabeer-dyoub/EthicalEvalMAS
A MAS system for ethical monitoring and evaluation of dialog systemschrvadala/tableauSolver
Prolog algorithm that applies the method of analytic tableaux and creates a graphical representation of a propositional tableauamarusofi/LMC
Simulazione del parser e dell'interprete del Little Man Computer in Prolog e LispCoffeeStraw/CCS_Prolog
Interpreter for CCS language (Calculus of Communicating Systems) written in SWI-Prolog.pietrotrope/OOP-extension
Object Oriented Prolog extension written in PrologZeptogram/OOP
Object Oriented Prolog extension, made for an university project.OSHW/Loop-Amp
RCHourglass Antenna Loop amplifierholydrinker/argumentation-framework
Prolog Framework for Bipolar Abstract ArgumentationGianFederico/expert_sys_hardware_problems
A simple toy example in Prolog that attempts to implement a small expert system to assist individuals in identifying hardware-related problems with their PC.Mooyeee/RE2NFA-Prolog
A Regular Expression to NFA Automata translator implemented in Prolog done for the Programming Languages course, Universitร Milano-Bicocca.adelloste/logica
Prolog - Logica per l'Informaticadi-unipi-socc/SecFaaS2Fog
di-unipi-socc/sk
Sanfra1407/Clausify
A Prolog software I wrote during my university studies. That's it.hvfrancesco/homino
A diy Arduino compatible board with some moloko vellocet addition (e.g. featuring on-board 433Mhz RF transceiver for experiments on home-automation and microcontroller communication)di-unipi-socc/MultiDIPS
AlbertoCampini/IALAB
Intelligenza Artificiale e Laboratoriomatteoredaelli/dmcommunity-challenges
My solutions for challenges from https://dmcommunity.org/challenge/AngeloFerrando/nuMonitor
NeejaYanglea/Prolog-exercises
a few exercises in Prolog for Logic course at RomaTre UniversityLolloneS/multivariate_polynomials
Progetto SWI-Prolog e Common Lisp sui polinomi multivariatigoldenmat/IA
Progetto Intelligenza Artificialealessiocarrafa/plSolver
Solver written in PrologBalestrino/Dual-Linear-12V-PSU
luigidr/qt-opencv-warmup
Examples for getting started with OpenCV and Qtfedelodo/LP-Parser-JSON
Simple JSON parser in Common Lisp and Prolog for a school project.lorenzoranucci/rectangle_packing
Rectangle packing algorithm in Prolog and ASPconner985/UnityLogic
BDI Agents and Artifacts in Unitymario-gianni/clp_planning
clp fd planning solver and action theories examplespinasu/Piedmont-CSP
A Contraint Satisfaction Problem solved in Prolog.ArnaudFadja/phil_datasets
This repository contains examples of Hierarchical Probabilistic Logic Programs datasets.ktzee/dotfiles
Just my shitty conf files.fanakin/arnlib
utilities and qt wrapper for several Aurion toolsdtfabio/Travel-Better-Prolog
A system expert that generate a destination of a vacationdtfabio/Fast-Diagnosis
A system expert that is able to return a person's illness based on the symptoms he hasIASI-SAKS/hyperion
Java test program analyzerLove Open Source and this site? Check out how you can help us