First-order logic for reasoning under uncertainty using rough sets

被引：0
|
作者：
Parsons, S.
Kubat, M.
机构：
来源：
Journal of Intelligent Manufacturing | 1994年 / 5卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Buchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order
    Milchior, Arthur
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2017), 2017, 10185 : 439 - 453
  • [32] A First-Order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 515 - 543
  • [33] Extended First-Order Logic
    Brown, Chad E.
    Smolka, Gert
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2009, 5674 : 164 - 179
  • [34] First-Order Logic with Adverbs
    Haze, Tristan Grotvedt
    LOGIC AND LOGICAL PHILOSOPHY, 2024, 33 (02) : 289 - 324
  • [35] FIRST-ORDER HOMOTOPICAL LOGIC
    Helfer, Joseph
    JOURNAL OF SYMBOLIC LOGIC, 2023,
  • [36] GEOMETRISATION OF FIRST-ORDER LOGIC
    Dyckhoff, Roy
    Negri, Sara
    BULLETIN OF SYMBOLIC LOGIC, 2015, 21 (02) : 123 - 163
  • [37] First-Order Logic of Change
    Swietorzecka, Kordula
    LOGIC JOURNAL OF THE IGPL, 2024, 32 (01) : 35 - 46
  • [38] Coherentisation of First-Order Logic
    Dyckhoff, Roy
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323
  • [39] FIRST-ORDER LOGIC OF TERMS
    SVENONIU.L
    JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 177 - 188
  • [40] First-order logic: An introduction
    Adler, JE
    JOURNAL OF PHILOSOPHY, 2000, 97 (10): : 577 - 580
12345