Certified First-Order AC-Unification and Applications (vol 68, 25, 2024)

被引：0
|
作者：
Ayala-Rincon, Mauricio [1 ]
Fernandez, Maribel [2 ]
Ferreira Silva, Gabriel [1 ]
Kutsia, Temur [3 ]
Nantes-Sobrinho, Daniele [1 ,4 ]
机构：
[1] Univ Brasilia, Dept Comp Sci, Brasilia, Brazil
[2] Kings Coll London, Dept Informat, London, England
[3] Johannes Kepler Univ Linz, Res Inst Symbol Computat, Linz, Austria
[4] Imperial Coll, Dept Comp, London, England
来源：
JOURNAL OF AUTOMATED REASONING | 2025年 / 69卷 / 01期
关键词：
D O I：
10.1007/s10817-024-09715-4
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页数：1
相关论文
共 50 条
  • [1] Certified First-Order AC-Unification and Applications
    Ayala-Rincon, Mauricio
    Fernandez, Maribel
    Ferreira Silva, Gabriel
    Kutsia, Temur
    Nantes-Sobrinho, Daniele
    JOURNAL OF AUTOMATED REASONING, 2024, 68 (04)
  • [2] Certified First-Order AC-Unification and ApplicationsCertified First-Order AC-Unification and ApplicationsM. Ayala-Rincón et al.
    Mauricio Ayala-Rincón
    Maribel Fernández
    Gabriel Ferreira Silva
    Temur Kutsia
    Daniele Nantes-Sobrinho
    Journal of Automated Reasoning, 2024, 68 (4)
  • [3] AC-unification of higher-order patterns
    Boudet, A
    Contejean, E
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 97, 1997, 1330 : 267 - 281
  • [4] First-order unification by structural recursion
    McBride, C
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 : 1061 - 1075
  • [5] First-order unification by structural recursion
    Department of Computer Science, University of Durham, South Road, Durham DH1 3LE, United Kingdom
    J. Funct. Program., 1600, 6 (1061-1075):
  • [6] First-Order Unification on Compressed Terms
    Gascon, Adria
    Maneth, Sebastian
    Ramos, Lander
    22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 51 - 60
  • [7] Unification in first-order transitive modal logic
    Dzik, Wojciech
    Wojtylak, Piotr
    LOGIC JOURNAL OF THE IGPL, 2019, 27 (05) : 693 - 717
  • [8] First-order unification in the PVS proof assistant
    Avelar, Andreia Borges
    Galdino, Andre Luiz
    Cavalcanti de Moura, Flavio Leonardo
    Ayala-Rincon, Mauricio
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (05) : 758 - 789
  • [9] Comparing Unification Algorithms in First-Order Theorem Proving
    Hoder, Krystof
    Voronkov, Andrei
    KI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5803 : 435 - 443
  • [10] A Unification and Generalization of Exact Distributed First-Order Methods
    Jakovetic, Dusan
    IEEE TRANSACTIONS ON SIGNAL AND INFORMATION PROCESSING OVER NETWORKS, 2019, 5 (01): : 31 - 46
12345