PDI - Resultado de Búsqueda

Académico

Universidad Católica del Maule

Talca, Chile

MATHEMATICAL LOGIC; NUMBER THEORY; ALGORITMOS; TEORIA DE NUMEROS; LOGICA

Profesor asistente Full Time

UNIVERSIDAD DE CONCEPCION

Ingeniería

Concepción, Chile

1992 - 2007


Buchi's Problem in Modular Arithmetic for Arbitrary Quadratic Polynomials Vidaux X.; Vsemirnov M. Article ISI SCOPUS CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES (2019)
Optimal bounds for Buchi's problem in modular arithmetic Saez, P; Vidaux, X; Vsemirnov M. Article JOURNAL OF NUMBER THEORY (2015)
A method to find functional dependencies through refutations and duality of hypergraphs Joel Fuentes, Pablo Sáez, Gilberto Gutiérrez, Isaac Scherson Article Computer Journal (2014)
The k closest pairs in spatial databases. When only one set is indexed Gilberto Gutiérrez, Pablo Sáez Article Geoinformatica (2013)
A characterization of Büchi's integer sequences of length 3 Pablo Sáez, Xavier Vidaux Article Acta Arithmetica (2011)
A quadratic algorithm for the 2-cyclic robotic scheduling problem Pablo Sáez Article Theoretical Computer Science (2009)
Aprendizaje basado en resolución de problemas en ingeniería informática Pablo Sáez, César Monsalve Article Formación Universitaria (2008)
Deductive systems' representation and an incompleteness result in the situation calculus Sáez, P Article ISI BIOINSPIRED SYSTEMS FOR TRANSLATIONAL APPLICATIONS: FROM ROBOTICS TO SOCIAL ENGINEERING, PT II, IWINAC 2024 (2005)
Automating proofs of integrity constraints in the situation calculus Leopoldo Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramanian Article Lecture Notes in Artificial Intelligence (1996)


Studies On 2-Cyclic Robotic Scheduling Sáez, P ConferencePaper ISI CIE: 2009 INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3 (2009)
An interface between the situation calculus and logic programming Sáez, P ConferencePaper ISI MICAI 2007: SIXTH MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS (2008)


MATHEMATICS OF DISCRETE LOGARITHMS FONDECYT (1151326) Proyecto 2015-2019 Coinvestigador(a)
Büchi's problem and definability in rings of interest in classical mathematics FONDECYT (1130134) Proyecto 2013-2016 Coinvestigador(a)
Demostración de la no existencia de un sistema deductivo para el cálculo de situaciones Universidad de Concepción (201.093.004-1.0) Proyecto 2001-2002 Inv. Principal
Implementación del formalismo de Reiter para definición de bases de datos en el cálculo de situaciones FONDECYT (19930554) Proyecto 1993-1996 Tesista

Profesor Titular

Matemática

UNIVERSIDAD DE CONCEPCIÓN

Concepción, Chile

Académico

Escuela de Ingeniería Civil Informática

Universidad Católica del Maule

Talca, Chile