Skip to content
@serrodcal-MULCIA

serrodcal-MULCIA

Repositorio para alojamiento de todo el software generado para la realización del MULCIA (Máster en Lógica, Computación e Inteligencia Artificial).
  • Madrid

Popular repositories Loading

  1. PLNLangDetection PLNLangDetection Public

    Second work proposed for the subject of Natural Language Processing that consists of making a system that detects the languages of the text given.

    Python 1

  2. RAIsabelleHOL RAIsabelleHOL Public

    Isabelle

  3. ICKakuro ICKakuro Public

    Kakuro deductive resolution in CLIPS for Knowledge Engineering in MULCIA at University of Seville

    CLIPS

  4. AAFindS1 AAFindS1 Public

    Implementation of exercise proposed in AA

    Python

  5. MCVACAMUS MCVACAMUS Public

    Game of Life Music (CAMUS)

    Python

  6. AAFoil AAFoil Public

    Exercises with FOIL

    Prolog

Repositories

Showing 10 of 15 repositories
  • TFMSTGCA Public

    Final work of the masters on Simulation of tumor growths with cellular automata.

    serrodcal-MULCIA/TFMSTGCA’s past year of commit activity
    HTML 0 0 0 1 Updated Dec 25, 2017
  • CBModeloDebilAmos Public

    Se trata de estudiar el diseño y la verificación formal de dos programas moleculares en el modelo débil de Amos que resuelven (a) el problema de la generación de permutaciones; y (b) el problema del camino hamiltoniano en su versión dirigida y sin nodos distinguidos.

    serrodcal-MULCIA/CBModeloDebilAmos’s past year of commit activity
    TeX 0 GPL-3.0 0 0 0 Updated Sep 18, 2017
  • PLExercises2 Public

    Exercises of Prolog for Logic Programming

    serrodcal-MULCIA/PLExercises2’s past year of commit activity
    Prolog 0 Apache-2.0 0 0 0 Updated Jun 28, 2017
  • SVRAI Public

    End work for Synthesis, Verification and Reasoning about Intelligent Agents for MULCIA (University of Seville)

    serrodcal-MULCIA/SVRAI’s past year of commit activity
    TeX 0 MIT 0 0 0 Updated Jun 27, 2017
  • PLNFinalWork Public
    serrodcal-MULCIA/PLNFinalWork’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Jun 19, 2017
  • PLExercises1 Public

    Exercises of Prolog for Logic Programming

    serrodcal-MULCIA/PLExercises1’s past year of commit activity
    Prolog 0 0 0 0 Updated May 28, 2017
  • PLNLangDetection Public

    Second work proposed for the subject of Natural Language Processing that consists of making a system that detects the languages of the text given.

    serrodcal-MULCIA/PLNLangDetection’s past year of commit activity
    Python 1 Apache-2.0 0 0 0 Updated Apr 27, 2017
  • MCVACelullarAutomataMusic Public
    serrodcal-MULCIA/MCVACelullarAutomataMusic’s past year of commit activity
    0 0 0 0 Updated Feb 14, 2017
  • ICKakuro Public

    Kakuro deductive resolution in CLIPS for Knowledge Engineering in MULCIA at University of Seville

    serrodcal-MULCIA/ICKakuro’s past year of commit activity
    CLIPS 0 GPL-3.0 0 0 0 Updated Feb 14, 2017
  • AANeuroph Public
    serrodcal-MULCIA/AANeuroph’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Feb 11, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…