Instituciones
Área de conocimientoPortal Institucional (Dialnet CRIS)Identificadores de autorPeriodo de publicación recogido
|
|
|
Las reglas de inferencia en La Conceptografía
José Pedro Úbeda Rives
Quaderns de Filosofia i Ciència, ISSN-e 0213-5965, Nº. 40, 2010, págs. 7-20
Lógicas epistémicas y sistemas multiagentes: los agentes nacen y mueren
José Pedro Úbeda Rives
Quaderns de Filosofia i Ciència, ISSN-e 0213-5965, Nº. 38, 2008, págs. 7-21
Problemas que el Derecho plantea a la lógica
José Pedro Úbeda Rives
Archiv für Rechts-und Sozialphilosophie, ARSP. Beiheft, ISSN 0341-079X, Nº. 110, 2007 (Ejemplar dedicado a: Logic, Argumentation and Interpretatiion), págs. 199-206
Reflexiones sobre el teorema de corte
José Pedro Úbeda Rives
Cuadernos de filosofía y ciencia, ISSN 0212-2669, Nº. 5-6, 1984, págs. 87-94
Roberto Torretti, "Philosophy of geometry from Riemann to Poincaré"
José Pedro Úbeda Rives (res.)
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 10, Nº. 1, 1980, págs. 89-93
El nivel 0 de la jerarquía de Grzegorzcyk es recursivamente enumerable
Joaquín Díaz Boïls, José Pedro Úbeda Rives
Avances y aplicaciones de sistemas inteligentes y nuevas tecnologías / Francklin Rivas Echeverría (comp.), Stalin Marcelo Arciniegas (comp.), 2016, ISBN 9789801118367, págs. 311-320
Lógia Epistémica con grupos variantes de agentes
José Pedro Úbeda Rives
II Congrés català de filosofia: Joan Fuster in memoriam / Enric Casaban Moya (ed. lit.), Xavier Serra Labrado (ed. lit.), 2012, ISBN 9788492542741, págs. 247-263
Una lógica epistémica bidimensional
José Pedro Úbeda Rives
VII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science: Santiago de Compostela, Spain, 18-20 July 2012 / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Concepción Martínez Vidal (dir. congr.), José L. Falguera López (dir. congr.), José Miguel Sagüillo Fernández-Vega (dir. congr.), Víctor Martín Verdejo Aparicio (dir. congr.), Martín Pereira Fariña (dir. congr.), 2012, ISBN 978-84-9887-939-1, págs. 88-94
Funciones parciales m-recursivas y programas
José Pedro Úbeda Rives
XIX Congrés Valencià de Filosofia: València, Facultat de Filosofia i Ciències de l'Educació. 28, 30 i 31 de març de 2012 / coord. por Enric Casaban Moya, 2012, ISBN 978-84-370-9042-9, págs. 7-20
José Pedro Úbeda Rives
Compendio de lógica, argumentación y retórica / coord. por Luis Vega Reñón, Paula Olmos, 2011, ISBN 978-84-9879-191-4, págs. 38-44
Diagonal, argumento / Diagonalización / Método diagonal
José Pedro Úbeda Rives
Compendio de lógica, argumentación y retórica / coord. por Luis Vega Reñón, Paula Olmos, 2011, ISBN 978-84-9879-191-4, págs. 192-193
José Pedro Úbeda Rives
Compendio de lógica, argumentación y retórica / coord. por Luis Vega Reñón, Paula Olmos, 2011, ISBN 978-84-9879-191-4, págs. 429-430
José Pedro Úbeda Rives
Compendio de lógica, argumentación y retórica / coord. por Luis Vega Reñón, Paula Olmos, 2011, ISBN 978-84-9879-191-4, págs. 514-516
¿Son los algoritmos objetos matemáticos?
José Pedro Úbeda Rives, Juan Manuel Lorente Tallada
Estudios de Lógica, Lenguaje y Epistemología / coord. por David Fernández Duque, Emilio Francisco Gómez-Caminero Parejo, Ignacio Hernández Antón, 2010, ISBN 978-84-614-4291-1, págs. 177-189
Relaciones de equivalencia: de máquinas de Turing a funciones parciales computables
José Pedro Úbeda Rives
Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE): 18 - 21 de noviembre / coord. por Jesús Alcolea Banegas, Valeriano Iranzo García, Ana Sánchez, Jordi Valor Abad, 2009, ISBN 978-84-370-7655-3, págs. 129-136
Problemas que el derecho plantea a la lógica
José Pedro Úbeda Rives
Logic, argumentation and interpretation: proceedings of the 22nd IVR World Congress, Granada 2005 = Lógica, argumentación e interpretación / Josep Aguiló Regla (aut.), 2007, ISBN 978-3-515-08914-2, págs. 199-206
La doble negación y el prólogo de la "conceptografía"
José Pedro Úbeda Rives
Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Granada, 29 noviembre - 1 diciembre de 2006) / Fernando Martínez Manrique (dir. congr.), Luis Miguel Peris Viñé (dir. congr.), 2006, ISBN 978-84-9349419-3, págs. 81-83
La lógica formal frente al derecho
José Pedro Úbeda Rives
XVI Congrés Valencià de Filosofia: València, Facultat de Filosofia i Ciències de l'Educació. 6, 7 i 8 d'abril de 2006 / coord. por Enric Casaban Moya, 2006, ISBN 978-84-370-6627-1, págs. 7-25
Modelos finitos y recursividad
José Pedro Úbeda Rives
XV Congrés Valencià de Filosofia. Josep L. Blasco in memoriam: València, Facultat de Filosofia i Ciènces de l'Educació. 1, 2 i 3 d'abril de 2004 / coord. por Enric Casaban Moya; Josep Lluís Blasco (hom.), 2005, ISBN 84-7274-270-9, págs. 233-254
La Lógica de Frege como Lógica polivalente
José Pedro Úbeda Rives
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.), Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 400-402
Cálculo formal para razonamientos
José Pedro Úbeda Rives
XIVè Congrès valenciá de filosofia: Peníscola. 21, 22 i 23 de març de 2002 / coord. por Enric Casaban Moya, 2003, ISBN 84-7274-260-1, págs. 237-261
Representación del conocimiento de un probador automático de teoremas
José Pedro Úbeda Rives
Congress Formal Theories and Empirical Theories: Foundational, Ontosemantic and Pragmatic Aspects = Congreso Teorías formales y teorías Empíricas : Aspectos fundacionales, ontosemánticos y pragmáticos : Santiago de Compostela, 14-16 de noviembre de 2001 / coord. por José Miguel Sagüillo Fernández-Vega, José L. Falguera López, Concepción Martínez Vidal, 2001, ISBN 84-8121-960-6, págs. 517-530
Representación en programación lógica de agentes razonadores
José Pedro Úbeda Rives, Juan Manuel Lorente Tallada, Jesús Alcolea Banegas
XIIIè Congrès valenciá de filosofia: Peníscola. 2, 3 i 4 de novembre de 2000 / coord. por Enric Casaban Moya; Arrigo Diego Manfredini (dir. congr.), 2001, ISBN 84-7274-253-9, págs. 133-153
José Pedro Úbeda Rives
Actas del III Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España / Marisol de Mora Charles (dir. congr.), 2000, ISBN 84-600-9579-7, págs. 83-94
Programación lógica y cambio de teoría
José Pedro Úbeda Rives, Juan Manuel Lorente Tallada, Enric Casaban Moya
XIIè Congrés Valencià de Filosofia: Alcoi. 9,10, i 11 d'octubre de 1997 / coord. por Enric Casaban Moya; Francesc Ferrando i Sanjuán (dir. congr.), 1998, ISBN 84-7274-233-4, págs. 125-133
Detección y tratamiento de la circularidad en Prolog
José Pedro Úbeda Rives, Juan Manuel Lorente Tallada
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.), Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 88-89
Juan Manuel Lorente Tallada, José Pedro Úbeda Rives
Actas del II Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Bellaterra 6-8 de febrero de 1997] / coord. por Anna Estany Profitós, J. Daniel Quesada Casajuana, 1997, ISBN 84-600-9372-7, págs. 444-447
Análisis de autómatas con PROLOG
Juan Manuel Lorente Tallada, José Pedro Úbeda Rives
Lenguajes naturales y lenguajes formales : actas del XII congreso de lenguajes naturales y lenguajes formales : (La Seu d'Urgel, 23-27 de septiembre de 1996) / coord. por Carlos Martín Vide, 1996, ISBN 84-477-0575-7, págs. 479-486
Representación de la relación de afianzamiento epistémico en PROLOG
José Pedro Úbeda Rives, Juan Manuel Lorente Tallada
Verdad: lógica, representación y mundo / Concepción Martínez Vidal (ed. lit.), María Uxía Rivas Monroy (ed. lit.), Luis Villegas Forero (ed. lit.), 1996, ISBN 84-8121-396-9, págs. 355-367
El sistema formal de "La Conceptografía" de Gottlob Frege
José Pedro Úbeda Rives
XIè Congrés Valencià de Filosofia: Ier Congrés de Filosofia a Andorra (Andorra la Vella. 6, 7 i 8 d'octubre de 1995) / Societat de Filosofia del País Valencià (col.), Societat Andorrana de Ciències (col.), 1996, ISBN 84-7274-222-9, págs. 101-108
Gramáticas que reconocen gramáticas
José Pedro Úbeda Rives, Juan Manuel Lorente Tallada
Lenguajes naturales y lenguajes formales: actas del XI congreso de lenguajes naturales y lenguajes formales: (Tortosa, 1995) / coord. por Carlos Martín Vide, 1995, ISBN 84-477-0501-3, págs. 603-610
Consecuencia de secuencias en Prolog
Juan Manuel Lorente Tallada, José Pedro Úbeda Rives
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) / coord. por Carlos Martín Vide, 1994, ISBN 84-477-0396-7, págs. 467-474
Arnaldo Martínez Calvo, María Isabel Vera-Muñoz, José Pedro Úbeda Rives
Universidad de Alicante / Universitat d'Alacant, 1987. ISBN 84-600-4970-1
José Pedro Úbeda Rives
Tesis doctoral dirigida por Manuel Garrido (dir. tes.). Universitat de València (1978).
Comprensiones categoriales y subrecursión
Tesis doctoral dirigida por José Pedro Úbeda Rives (dir. tes.). Universitat de València (2012).
Angel Rafael Sanchez Soria
Tesis doctoral dirigida por José Pedro Úbeda Rives (dir. tes.). Universitat de València (2007).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados