Skip to main content
Català
English
Español
Search form
Search
Log-in
About IIIA
Presentation
History
Contributions to Artificial Intelligence 1986 - 1995
Contributions to Artificial Intelligence 1996 - 2001
Location
Work with us
Departments
Projects
Current Projects
Past Projects
Publications
Publications
Thesis
Staff
Current staff
Former staff
Mateu Villaret
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Staff
>
Mateu Villaret
Mateu Villaret
Current staff
Former staff
Mateu Villaret
Email:
villaret@ima.udg.es
Web:
http://ima.udg.es/~villaret
Position:
Former PhD students
Publications
Projects
27 Publications
2017
Alexander Baumgartner,
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
;
Higher-Order Pattern Anti-Unification in Linear Time
.
Journal of Automated Reasoning;
2017.
Download PDF
Manfred Schmidt-Schauß,
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
;
Nominal Unification of Higher Order Expressions with Recursive Let
.
Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016;
2017.
Download PDF
2015
Miquel Bofill,
Felip Manyà
,
Amanda Vidal
,
Mateu Villaret
;
Finding Hard Instances of Satisfiability in Lukasiewicz Logics
.
2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015;
2015.
Download PDF
Alexander Baumgartner,
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
;
Nominal Anti-Unification
.
Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15;
2015.
Download PDF
Miquel Bofill,
Felip Manyà
,
Amanda Vidal
,
Mateu Villaret
;
The Complexity of 3-Valued Lukasiewicz Rules
.
12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015);
2015.
Download PDF
2014
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
;
Anti-unification for Unranked Terms and Hedges
.
Journal of Automated Reasoning;
2014.
Download PDF
2013
Alexander Baumgartner,
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
;
A Variant of Higher-Order Anti-Unification
.
Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13;
2013.
Download PDF
2012
Carlos Ansótegui
, Miquel Bofill,
Felip Manyà
,
Mateu Villaret
;
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers
.
ISMVL 2012;
2012.
Download PDF
Jordi Levy
,
Mateu Villaret
;
Nominal Unification from a Higher-Order Perspective
.
ACM Transactions on Computational Logics;
2012.
Download PDF
2011
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
;
Anti-Unification for Unranked Terms and Hedges
.
Proc. of the 22st Int. Conf. on Rewriting Techniques and Applications, RTA'11;
2011.
Download PDF
Carlos Ansótegui
, Miquel Bofill,
Felip Manyà
,
Mateu Villaret
;
Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic
.
41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011;
2011.
Download PDF
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
On the complexity of Bounded Second-Order Unification and Stratified Context Unification
.
Logic Journal of the IGPL;
2011.
Download PDF
2010
Jordi Levy
,
Mateu Villaret
;
An Efficient Nominal Unification Algorithm
.
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010;
2010.
Download PDF
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
;
On the Relation Between Context and Sequence Unification
.
Journal of Symbolic Computation;
2010.
Download PDF
2009
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
On the Complexity of Bounded Second-order Unification and Stratified Context Unification
.
Journal of Algorithms in Cognition, Informatics, and Logic;
2009.
Download PDF
Jordi Levy
,
Mateu Villaret
;
Simplifying the Signature in Second-Order Unification
.
Applicable Algebra in Engineering, Communication and Computing;
2009.
Download PDF
2008
Jordi Levy
,
Mateu Villaret
;
Nominal Unification from a Higher-Order Perspective
.
Proc. of the 19th International Conference on Rewriting Techniques and Applications, RTA'08;
2008.
Download PDF
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
The Complexity of Monadic Second-Order Unification
.
SIAM Journal on Computing;
2008.
Download PDF
2007
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
;
Sequence Unification Through Currying
.
Proc. of the 18th International Conference on Rewriting Techniques and Applications, RTA'07;
2007.
Download PDF
2006
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
Bounded Second-Order Unification Is NP-Complete
.
Lecture Notes in Computer Science;
2006.
Download PDF
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
Stratified Context Unification is NP-complete
.
Lecture Notes in Computer Science;
2006.
Download PDF
2005
Mateu Villaret
;
On some variants of second-order unification
.
Monografies del IA;
2005.
Download PDF
Jordi Levy
,
Joachim Niehren
,
Mateu Villaret
;
Well-Nested Context Unification
.
Lecture Notes in Artificial Intelligence;
2005.
Download PDF
2004
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
Monadic Second-Order Unifications is NP Complete
.
Lecture Notes in Computer Science;
2004.
Download PDF
2002
Jordi Levy
,
Mateu Villaret
;
Currying Second-Order Unification Problems
.
Lecture Notes in Computer Science;
2002.
Download PDF
2001
Jordi Levy
,
Mateu Villaret
;
Context unification and Traversal Equations
.
Lecture Notes in Computer Science;
2001.
Download PDF
2000
Jordi Levy
,
Mateu Villaret
;
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints
.
Lecture Notes in Computer Science;
2000.
Download PDF
No results found