Skip to content

@serrodcal-MULCIA serrodcal-MULCIA

Change the repository type filter

All

    Repositories list

    15 repositories

    • TFMSTGCA

      Public
      Final work of the masters on Simulation of tumor growths with cellular automata.
      HTML
      •0•0•0•1•Updated Dec 25, 2017Dec 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.
      TeX
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Sep 18, 2017Sep 18, 2017

    • PLExercises2

      Public
      Exercises of Prolog for Logic Programming
      Prolog
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 28, 2017Jun 28, 2017

    • SVRAI

      Public
      End work for Synthesis, Verification and Reasoning about Intelligent Agents for MULCIA (University of Seville)
      TeX
      •
      MIT License
      •0•0•0•0•Updated Jun 27, 2017Jun 27, 2017

    • PLNFinalWork

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 19, 2017Jun 19, 2017

    • PLExercises1

      Public
      Exercises of Prolog for Logic Programming
      Prolog
      •0•0•0•0•Updated May 28, 2017May 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.
      Python
      •
      Apache License 2.0
      •0•1•0•0•Updated Apr 27, 2017Apr 27, 2017

    • MCVACelullarAutomataMusic

      Public
      0•0•0•0•Updated Feb 14, 2017Feb 14, 2017

    • ICKakuro

      Public
      Kakuro deductive resolution in CLIPS for Knowledge Engineering in MULCIA at University of Seville
      CLIPS
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Feb 14, 2017Feb 14, 2017

    • AANeuroph

      Public
      GNU General Public License v3.0
      •0•0•0•0•Updated Feb 11, 2017Feb 11, 2017

    • RAIsabelleHOL

      Public
      Isabelle
      •0•0•0•0•Updated Jan 31, 2017Jan 31, 2017

    • AAFoil

      Public
      Exercises with FOIL
      Prolog
      •0•0•0•0•Updated Jan 15, 2017Jan 15, 2017

    • AAAleph

      Public
      Exercises with Aleph
      Prolog
      •0•0•0•0•Updated Jan 15, 2017Jan 15, 2017

    • MCVACAMUS

      Public
      Game of Life Music (CAMUS)
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 7, 2017Jan 7, 2017

    • AAFindS1

      Public
      Implementation of exercise proposed in AA
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Nov 25, 2016Nov 25, 2016