Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
unification
Publications
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
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
Copyright © 2012-2024 easychair.org. All rights reserved.