Todas las páginas
- APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- APLI2 CS
- Archivo de congresos anteriores
- A Formalization of Abstract Properties of Confluent Reductions in PVS
- A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- A formally verified prover for the ALC description logic
- A formally verified prover for the ALC description logic (in PVS)
- A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic)
- A formally verified prover for the ALC description logic in PVS
- A short survey of automated reasoning
- Categoría: Lecturas
- Computational Logic Group
- Constraint Logic Programming using Eclipse
- Deduction using the ProofWeb system
- Delicioso
- Enlaces
- Enumeración de los racionales
- Formalización del conocimiento matemático
- Formalizing basic first order model theory
- Formalizing Desargues' theorem in Coq using ranks
- Formal Correctness Proof for DPLL Procedure
- Formal Proof
- Formal Proof: Theory and Practice
- Formal Proof: The Four-Color Theorem
- Gestión Mecanizada del conocimiento matemático
- Group members
- How to (really) trust a mathematical proof
- Investigación de los Factores Críticos de los Procesos de Fabricación Básicos del Sector Aeronáutico Andaluz, SENSOR-IA
- Lecturas
- Lecturas comentadas
- Lecturas del año 2009
- Lecturas del año 2010
- Lecturas del año 2011
- Lecturas del año 2012
- Lecturas del año 2013
- Lecturas del año 2014
- Logic for Computer Science
- Main Page
- Marco Lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492, subprograma TIN)
- Marrones
- Marrones2
- Material de interés para el Seminario del GLC
- Mathematics and computer science: The interplay
- Members
- MenuXML
- Paella
- Portada
- Producciones
- Programas sencillos para problemas complejos
- Projects
- Propuesta del Seminario tecnológico CTA en Inteligencia Artificial
- PROTEMO
- Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- Proyectos relacionados
- Publications
- Razonamiento formalizado
- Realización del Estudio del Arte para el Proyecto EVAPREX
- Refinements
- Related courses
- Semantic Wikipedia
- Seminarios anteriores
- Seminario del Grupo de Lógica Computacional
- Seminario de Lógica y Computación
- Seminario tecnológico CTA en Inteligencia Artificial
- Sistemas verificados para el razonamiento en la web semántica
- Solución declarativa de problemas
- Solving challenging grid puzzles with answer set programming
- Stem
- Tecnologías
- Theories
- Theory of Refinements in PVS
- TinyDelicious
- Verificación de sistemas SAT
- Verificación de traductores de problemas combinatorios en SAT
- Verification of the formal concept analysis in PVS
- Weteve (Proyecto Minerva plataforma de servicios en movilidad 2C-040)