HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:unification

Papers
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
Copyright © 2012-2021 easychair.org. All rights reserved.