Keyword:unification

Papers
A Philosophical Unification of Arithmetics and Electronic Machine. Frank Appiah EasyChair Preprint no. 8691
Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables Nikolai Kudasov EasyChair Preprint no. 8680
Fuzzy Order-Sorted Feature Term Unification Gian Carlo Milanese and Gabriella Pasi EasyChair Preprint no. 8674
Partial Regularization of First-Order Resolution Proofs Jan Gorzny, Ezequiel Postan and Bruno Woltzenlogel Paleo In:GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)
Partial Regularization of First-Order Resolution Proofs Jan Gorzny, Ezequiel Postan and Bruno Woltzenlogel Paleo EasyChair Preprint no. 360
Efficiency of a good but not linear nominal unification algorithm Weixi Ma, Jeremy Siek, David Christiansen and Daniel Friedman EasyChair Preprint no. 243
Logtk : A Logic ToolKit for Automated Reasoning and its Implementation Simon Cruanes In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Recent Advances in Unification for the EL Family Franz Baader, Stefan Borgwardt and Barbara Morawska In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Is it possible to unify sequential programs? Tatyana Novikova and Vladimir Zakharov In:UNIF 2013. 27th International Workshop on Unification
Hierarchical Combination of Unication Algorithms (Extended Abstract) Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran and Christophe Ringeissen In:UNIF 2013. 27th International Workshop on Unification
Hybrid Unification in the Description Logic EL Franz Baader, Oliver Fernandez Gil and Barbara Morawska In:UNIF 2013. 27th International Workshop on Unification