Inmaculada Perez de Guzmán
According to our database1,
Inmaculada Perez de Guzmán
authored at least 51 papers
between 1992 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2019
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
2017
2014
2011
Ideal non-deterministic operators as a formal framework to reduce the key finding problem.
Int. J. Comput. Math., 2011
Proceedings of the Advances in Computational Intelligence, 2011
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2011
2010
Math. Log. Q., 2010
2009
Int. J. Comput. Math., 2009
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009
2008
Generalization of some properties of relations in the context of functional temporal×modal logic.
Int. J. Comput. Math., 2008
Discret. Appl. Math., 2008
2006
Inteligencia Artif., 2006
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
Proceedings of the Advances in Artificial Intelligence, 2006
2005
2004
Inteligencia Artif., 2004
Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004
A/D Case: A New Heart for FD3.
Proceedings of the ICEIS 2004, 2004
2003
Kybernetika, 2003
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.
Proceedings of the Current Topics in Artificial Intelligence, 2003
2002
Reports Math. Log., 2002
Acta Informatica, 2002
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002
Proceedings of the Advances in Artificial Intelligence, 2002
Proceedings of the Advances in Artificial Intelligence, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
Proceedings of the Artificial Intelligence: Methodology, 2002
2001
2000
J. Appl. Non Class. Logics, 2000
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
Proceedings of the Computational Logic, 2000
1999
Ann. Math. Artif. Intell., 1999
Multiple-Valued Tableaux with delta-reductions.
Proceedings of the International Conference on Artificial Intelligence, 1999
Proceedings of the Progress in Artificial Intelligence, 1999
1998
1996
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996
Executing Intensional Logic with the TAS Tool.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
J. Appl. Non Class. Logics, 1995
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches.
Log. J. IGPL, 1995
A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories.
Acta Informatica, 1995
1994
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994
A Temporal Logic for Program Specification.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
TAS-D++ vs tablas semanticas.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
1992
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time.
J. Appl. Non Class. Logics, 1992