Uncertain Reasoning in Justification Logicbooks.google.co.uk › books
books.google.co.uk
2 Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović, and Thomas Studer. First steps towards probabilistic justification logic. Logic Journal of the IGPL, ...
Uncertain Reasoning in Justification Logic - Ioannis Kokkinisbooks.google.com › books › about › Uncertain_Reasoning_in_Justification...
books.google.com
Ioannis Kokkinis. Lulu.com, Reviews. Reviews aren't verified, but Google checks for and removes fake content when it's identified ...
Foundations of Information and Knowledge Systems: 9th ...books.google.co.uk › books
books.google.co.uk
The Complexity of Non-Iterated Probabilistic Justification Logic Ioannis Kokkinis(B) Institute of Computer Science, University of Bern, Bern, ...
Ioannis Kokkinis | Scinapse
www.scinapse.io
In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its ...
[ ] The Complexity of Probabilistic Justification Logic
arxiv.org
Authors: Ioannis Kokkinis. (Submitted on 14 Aug 2017). Abstract: Probabilistic justification logic is a modal logic with two kind of modalities: probability measures and explicit justification terms. We present a tableau procedure that can be used to decide the satisfiability problem for this logic in polynomial space. We show that ...
"dblp++Ioannis+Kokkinis" - Blog Malin
www.blog-malin.com
Kokkinis Zoran Ognjanovic Thomas Studer Probabilistic Justification Logic ...
All web results to the name "Ioannis Kokkinis"
Accepted Papers – Logical Foundations Of Computer Sciencelfcs.ws.gc.cuny.edu › lfcs › accepted-papers
lfcs.ws.gc.cuny.edu
ON ALGORITHMICALLY RANDOM INFINITE STRUCTURES; Ioannis Kokkinis, Zoran Ognjanovic and Thomas Studer. Probabilistic Justification Logic; Vladimir Krupski and ...
References - cgi .cse. unsw. edu.a ucgi.cse.unsw.edu.au › ~eptcs › references
cgi.cse.unsw.edu.au
Ioannis Kokkinis, Petar Maksimovi\'c, Zoran Ognjanovi\'c & Thomas Studer (2015): First steps towards probabilistic justification logic.
(PDF) The Complexity of Probabilistic Justification Logic | Ioannis...
www.academia.edu
Probabilistic justification logic is a modal logic with two kind of modalities: probability measures and explicit justification terms. We present a tableau...
ABM 2014
www.math.lmu.de
Ioannis Kokkinis: "First Steps towards Probabilistic Justification Logic" Justification logic includes formulas of the form t:α meaning "the agent ...
Accepted Papers - FoIKS
foiks.scch.at
Ioannis Kokkinis. The Complexity of Non-Iterated Probabilistic Justification Logic. - Olivier Pivert and Henri Prade. Possibilistic Conditional ...
Best Papers – Joint Alumni Association in Computer Science
www.jointalumni.ch
2016, PhD DIUF for “Entity-Centric Knowledge Discovery for Idiosyncratic Domains“, by Roman Prokofyev , PhD INF for “Uncertain Reasoning in Justification Logic”, by Ioannis Kokkinis , Master DIUF for “Dynamic Tailored Intervention System”, by Fabio Sodani , Master INF for “Improving ...
[PDF] Probabilistic Justification Logic | Semantic Scholar
www.semanticscholar.org
A probabilistic justification logic is presented to study rational belief, degrees of belief and justifications, and its satisfiability problem is decidable...
Schedule | Logical Foundations Of Computer Science
lfcs.ws.gc.cuny.edu
2:30 – 3:00 Ioannis Kokkinis, Zoran Ognjanovic and Thomas Studer. Probabilistic Justification Logic 3:00 – 3:30 Vladimir Krupski and Alexey Yatmanov. Sequent Calculus for Intuitionistic Epistemic Logic IEL 3:30 – 4:00 Tudor Protopopescu. An Arithmetical Interpretation of Verification and Intuitionistic ...
Zoran Ognjanovic's selected publications
www.mi.sanu.ac.rs
Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović, Thomas Studer, First steps towards probabilistic justification logic, Logic Journal of the IGPL 23(4), ...
[ v2] On the complexity of probabilistic justification logic
arxiv.org
From: Ioannis Kokkinis [view email] [v1] Mon, 20 Jul :59:15 GMT (14kb,D) [v2] Tue, 21 Jul :32:41 GMT (14kb,D) [v3] Thu, 5 Jul ...
Related search requests for Ioannis Kokkinis
Zoran Ognjanović Wanted List Thomas Studer | Malvin Gattinger |
People Forename "Ioannis" (1375) Name "Kokkinis" (56) |
sorted by relevance / date