Skip to content
View stefanogermano's full-sized avatar

Organizations

@hexhex @CityPulse @DeMaCS-UNICAL @KRR-Oxford @ukfires @ProofDrivenQuerying @TEC-Toolkit @probs-lab

Block or report stefanogermano

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. DeMaCS-UNICAL/Angry-HEX DeMaCS-UNICAL/Angry-HEX Public

    An artificial player for the popular video game Angry Birds

    Java 18 6

  2. DeMaCS-UNICAL/EmbASP DeMaCS-UNICAL/EmbASP Public

    A general framework for embedding Logic Programming in complex systems

    27 7

  3. DeMaCS-UNICAL/LoIDE DeMaCS-UNICAL/LoIDE Public

    Web-based IDE for Logic Programming

    25 5

  4. KRR-Oxford/Guarded-saturation KRR-Oxford/Guarded-saturation Public

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

    Java 2 1

  5. KRR-Oxford/RSAComb KRR-Oxford/RSAComb Public

    Re-implementation of the combined approach for CQ answering over RSA ontologies

    Scala 2

  6. probs-lab/probs-ontology probs-lab/probs-ontology Public

    Ontology, scripts and documentation for the PRObs ontology

    JavaScript 1