Keyword:unification

Publications
Unification as a Simple Theorem Prover Murat Sinan Aygün EasyChair Preprint 15904
A Philosophical Unification of Arithmetics and Electronic Machine. Frank Appiah EasyChair Preprint 8691
Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables Nikolai Kudasov EasyChair Preprint 8680
Fuzzy Order-Sorted Feature Term Unification Gian Carlo Milanese and Gabriella Pasi EasyChair Preprint 8674
Partial Regularization of First-Order Resolution Proofs Jan Gorzny, Ezequiel Postan and Bruno Woltzenlogel Paleo EasyChair Preprint 360
Efficiency of a good but not linear nominal unification algorithm Weixi Ma, Jeremy Siek, David Christiansen and Daniel Friedman EasyChair Preprint 243
Algebraic Indexing to Parallelize Atom Comparison in the ATP Saturation Loop Theodore Kim and Adam Pease In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Refining Unification with Abstraction Ahmed Bhayat, Konstantin Korovin, Laura Kovacs and Johannes Schoisswohl In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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)
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
Hybrid Unification in the Description Logic EL Franz Baader, Oliver Fernandez Gil and Barbara Morawska 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
Is it possible to unify sequential programs? Tatyana Novikova and Vladimir Zakharov In:UNIF 2013. 27th International Workshop on Unification