Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
An Example HyperVenn Proof
Year:2014
Research Areas
  • Information technology and adata processing
Information
Abstract
HyperVenn is a heterogeneous logic resulting from combining the individual homogeneous logics for Euler/Venn diagrams and blocks world diagrams. We provide an example proof from the system along with a brief discussion of some of its inference rules.
International
Si
JCR
Si
Title
Lecture Notes in Computer Science
ISBN
0302-9743
Impact factor JCR
0,402
Impact info
Volume
8578
10.1007/978-3-662-44043-8_8
Journal number
From page
51
To page
53
Month
AGOSTO
Ranking
Participants
  • Autor: Nikolaus Guyon Swoboda (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)