stefanogermano

stefanogermano's Stars

• probs-lab/probs-ontology

  Ontology, scripts and documentation for the PRObs ontology

  Language:JavaScript1

• KRR-Oxford/Guarded-saturation

  Resolution-based rewriting algorithm from Guarded Tuple Generating Dependencies (GTGDs) to Datalog

  Language:Java21

• DeMaCS-UNICAL/LoIDE

  Web-based IDE for Logic Programming

  255

• CityPulse/Decision-Support-and-Contextual-Filtering

  The Decision Support component utilises contextual information to provide optimal solutions of smart city applications. The Contextual Filtering component continuously identifies and filters critical events that might affect the optimal result of the decision making task.

  Language:Java11

• hexhex/actionplugin-addons

  Addons to the actionplugin for HEX

  Language:C++1

• hexhex/actionplugin

  Language:C++1

• hexhex/core

  DLVHEX solver: core system and plugin API

  Language:C++248

• DeMaCS-UNICAL/Angry-HEX

  An artificial player for the popular video game Angry Birds

  Language:Java186

• DeMaCS-UNICAL/EmbASP

  A general framework for embedding Logic Programming in complex systems

  277