Superposition-based equality handling for analytic tableaux

被引：0
|
作者：
Giese, Martin [1 ]
机构：
[1] Johann Radon Institute for Computational and Applied Mathematics, Austrian Academy of Sciences, Altenbergerstr. 69, A-4040 Linz, Austria
来源：
Journal of Automated Reasoning | 2007年 / 38卷 / 1-3期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Conference article (CA)
引用
收藏
页码：127 / 153
相关论文
共 50 条
  • [31] A Superposition-Based Analog Data Compression Scheme for Massively-Parallel Neural Recordings
    Rieseler, Jonas David
    Kuhl, Matthias
    2017 IEEE BIOMEDICAL CIRCUITS AND SYSTEMS CONFERENCE (BIOCAS), 2017,
  • [32] Superposition-Based URLLC Traffic Scheduling in 5G and Beyond Wireless Networks
    Almekhlafi, Mohammed
    Arfaoui, Mohamed Amine
    Assi, Chadi
    Ghrayeb, Ali
    IEEE TRANSACTIONS ON COMMUNICATIONS, 2022, 70 (09) : 6295 - 6309
  • [33] Superposition-Based Adaptive Modulated Space Time Block Coding for MIMO-OFDM Systems
    Jung, Junwoo
    Kwon, Byungchan
    Park, Hyungwon
    Lim, Jaesung
    IEEE COMMUNICATIONS LETTERS, 2010, 14 (01) : 30 - 32
  • [34] Analytic tableaux and model elimination
    Coldwell, J
    Wrightson, G
    AUSTRALIAN COMPUTER JOURNAL, 1998, 30 (01): : 1 - 11
  • [35] Database Repairs and Analytic Tableaux
    Leopoldo Bertossi
    Camilla Schwind
    Annals of Mathematics and Artificial Intelligence, 2004, 40 : 5 - 35
  • [36] Database repairs and analytic tableaux
    Bertossi, L
    Schwind, C
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 40 (1-2) : 5 - 35
  • [37] ADDING EQUALITY TO SEMANTIC TABLEAUX.
    Reeves, S.V.
    Journal of Automated Reasoning, 1987, 3 (03): : 225 - 246
  • [38] Generalised handling of variables in disconnection tableaux
    Letz, R
    Stenz, G
    AUTOMATED REASONING, PROCEEDINGS, 2004, 3097 : 289 - 306
  • [39] HANDLING EQUALITY
    不详
    MECHANICAL HANDLING INTERNATIONAL, 1976, 63 (03): : 42 - 42
  • [40] KORNER CRITERION OF RELEVANCE AND ANALYTIC TABLEAUX
    SCHRODER, J
    JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (02) : 183 - 192
12345