Combining Probability and First-Order Logic

被引：0
|
作者：
Leiva, Mario A. [1 ,2 ]
Garcia, Alejandro J. [1 ,2 ]
Shakarian, Paulo [3 ]
Simari, Gerardo I. [1 ,2 ]
机构：
[1] Univ Nacl del Sur UNS, Dept Cs e Ing Comp, Bahia Blanca, Argentina
[2] UNS CONICET, Inst Cs e Ing Comp, Bahia Blanca, Argentina
[3] Cyber Reconnaissance Inc, Tempe, AZ USA
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2021年 / 345期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：4 / 4
页数：1
相关论文
共 50 条
  • [1] A first-order conditional probability logic
    Milosevic, Milos
    Ognjanovic, Zoran
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (01) : 235 - 253
  • [2] A FIRST-ORDER CONDITIONAL PROBABILITY LOGIC WITH ITERATIONS
    Milosevic, Milos
    Ognjanovic, Zoran
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2013, 93 (107): : 19 - 27
  • [3] Combining First-Order Classical and Intuitionistic Logic
    Toyooka, Masanobu
    Sano, Katsuhiko
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (358): : 25 - 40
  • [4] A First-order Logic for Reasoning about Knowledge and Probability
    Tomovic, S.
    Ognjanovic, Z.
    Doder, D.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020, 21 (02)
  • [5] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [6] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [7] A First-Order Logic of Probability and Only Knowing in Unbounded Domains
    Belle, Vaishak
    Lakemeyer, Gerhard
    Levesque, Hector J.
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 893 - 899
  • [8] On Combining Algebraic Specifications with First-Order Logic via Athena
    Ksystra, Katerina
    Triantafyllou, Nikos
    Stefaneas, Petros
    ALGEBRAIC MODELING OF TOPOLOGICAL AND COMPUTATIONAL STRUCTURES AND APPLICATIONS, 2017, 219 : 399 - 422
  • [9] Structured sequent calculi for combining intuitionistic and classical first-order logic
    Lucio, P
    FRONTIERS OF COMBINING SYSTEMS, 2000, 1794 : 88 - 104
  • [10] 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
12345