|Title:||Justification logic with approximate conditional probabilities||Journal:||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)||Volume:||10445 LNCS||First page:||681||Last page:||686||Conference:||6th International Workshop Logic, Rationality, and Interaction, LORI 2017, Sapporo, Japan, September 11–14, 2017, A. Baltag, J. Seligman, T. Yamada (Eds.)||Issue Date:||1-Jan-2017||Rank:||M33||ISBN:||978-3-662-55665-8||ISSN:||0302-9743||DOI:||10.1007/978-3-662-55665-8_52||Abstract:||
The importance of logics with approximate conditional probabilities is reflected by the fact that they can model non-monotonic reasoning. We introduce a new logic of this kind, CPJ, which extends justification logic and supports non-monotonic reasoning with and about evidences.
|Publisher:||Springer Link||Project:||Representations of logical structures and formal languages and their application in computing
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
SNSF, project 200021 165549
Show full item record
checked on Feb 5, 2023
checked on Feb 6, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.