◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Ondrej Majer

4 papers here

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author4

Across the 4 of 4 papers where every author was matched, so the position is known.

fields
  • math.LO2
  • cs.AI1
  • cs.LO1

identity via Semantic Scholar / OpenAlex

activity
20202022
most citedThe (Relevant) Logic of Scientific Discovery

1 citations · 1 across the 2 of their papers we have counts for

collaborators

4 papers

cs.AI2022

Updating belief functions over Belnap--Dunn logic

Sabine Frittella, Ondrej Majer, Sajad Nazari

Belief and plausibility are weaker measures of uncertainty than that of probability. They are motivated by the situations when full probabilistic information is not available. Howe…

math.LO2021★ 1 cited

The (Relevant) Logic of Scientific Discovery

Timothy Childers, Ondrej Majer, Peter Milne

This paper presents a thoroughgoing interpretation of a weak relevant logic built over the Dunn-Belnap four-valued semantics in terms of the communication of information in a netwo…

math.LO2020

Probabilities with Gaps and Gluts

Dominik Klein, Ondrej Majer, Soroush Rafiee Rad

Belnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two…

cs.LO2020

How to reason with inconsistent probabilistic information?

Marta Bílková, Sabine Frittella, Ondrej Majer +1

A recent line of research has developed around logics of belief based on evidence. The approach of Bílková et al understands belief as based on information confirmed by a reliable…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.