Ostravská univerzita používá na svých webových stránkách soubory cookies i další analytické nástroje. Rozumím

OU

Libor Běhounek


titul, jméno, příjmení:Mgr. Libor Běhounek, Ph.D.
místnost, podlaží, budova: C 708, budova C
funkce:
obor činnosti:matematická logika
katedra / středisko (fakulta): Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
telefon, mobil: 553 46 1410
e-mail:
osobní WWW stránka:



Nenalezen žádný záznam.



Variable-domain fuzzy sets - Part II
Libor Běhounek, Martina Daňková
Rok: 2020, Fuzzy Sets and Systems
článek v odborném periodiku

Fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Rok: 2018, Journal of Applied Non-Classical Logics
článek v odborném periodiku

A minimalistic many-valued theory of types
Libor Běhounek
Rok: 2017, J LOGIC COMPUT
článek v odborném periodiku

Maxima and minima in fuzzified linear orderings
Libor Běhounek
Rok: 2016, FUZZY SET SYST
článek v odborném periodiku

A degree-theoretic framework for feasible knowledge
Libor Běhounek
Rok: 2020
stať ve sborníku

A many-valued semantics for multi-agent probabilistic-doxastic reasoning
Libor Běhounek
Rok: 2020
prezentace (kongresy, sympózia, konference, workshopy)

Fuzzy neighborhood semantics for multi-agent probabilistic reasoning in games
Martina Daňková, Libor Běhounek
Rok: 2020
stať ve sborníku

Fuzzy Relational Modalities Admitting Truth-Valueless Propositions
Libor Běhounek, Antonín Dvořák
Rok: 2020, Fuzzy Sets and Systems
článek v odborném periodiku

Matematická logika a teorie množin / Mathematical Logic and Set Theory
Libor Běhounek, Martina Daňková
Rok: 2020
učební texty, skripta, výukové programy, příručky

Multi-agent probabilistic-doxastic reasoning formalized in Lukasiewicz logic
Libor Běhounek
Rok: 2020
prezentace (kongresy, sympózia, konference, workshopy)

Variable-domain fuzzy sets - Part I
Libor Běhounek, Martina Daňková
Rok: 2020, Fuzzy Sets and Systems
článek v odborném periodiku

Variable-domain fuzzy sets - Part II
Libor Běhounek, Martina Daňková
Rok: 2020, Fuzzy Sets and Systems
článek v odborném periodiku

A formalism for resource-sensitive epistemic logic
Libor Běhounek
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)

A fuzzy semantic model for multi-agent probabilistic reasoning
Martina Daňková, Libor Běhounek
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)

A many-valued semantics for feasible knowledge
Libor Běhounek
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)

A probabilistic semantics for unknown fuzzy degrees with Monte Carlo approximation
Libor Běhounek
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)

Institute for Investigation of Artificial Intelligence (IIIA) CSIC
Libor Běhounek
Rok: 2019
působení v zahraničí

Missing Values and Dragonfly Operations in Fuzzy Relational Compositions
Martin Štěpnička, Thi Hong Nhung CAO, Libor Běhounek, Michal Burda, Aleš Dolný
Rok: 2019, INT J APPROX REASON
článek v odborném periodiku

Non-monotonic abstract multiset consequence relations
Libor Běhounek, Petr Cintula, Tomáš Lávička
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)

Teaching 'Formal set theory' with regard to students' comprehension
Libor Běhounek
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)

Extending Aggregation Functions for Undefined Inputs
Libor Běhounek, Martina Daňková
Rok: 2018
stať ve sborníku

Extending Aggregation Functions for Undefined Inputs
Libor Běhounek, Martina Daňková
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)

First-order fuzzy modal logic with variable domains
Libor Běhounek, Antonín Dvořák
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)

Fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Rok: 2018, Journal of Applied Non-Classical Logics
článek v odborném periodiku

Hájek-style modalities in fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)

Kripke modalities with truth-functional gaps
Libor Běhounek, Antonín Dvořák
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)

Kripke modalities with truth-functional gaps
Libor Běhounek, Antonín Dvořák
Rok: 2018
stať ve sborníku

Non-denoting terms in fuzzy logic: An initial exploration
Libor Běhounek, Antonín Dvořák
Rok: 2018
stať ve sborníku

Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation
Libor Běhounek, Antonín Dvořák
Rok: 2018
stať ve sborníku

Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation
Libor Běhounek, Antonín Dvořák
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)

A free semantics for fuzzy logic
Libor Běhounek
Rok: 2017
prezentace (kongresy, sympózia, konference, workshopy)

A minimalistic many-valued theory of types
Libor Běhounek
Rok: 2017, J LOGIC COMPUT
článek v odborném periodiku

Determinate truth in fuzzy plurivaluationism
Libor Běhounek
Rok: 2017
stať ve sborníku

First-order fuzzy logic
Libor Běhounek
Rok: 2017
prezentace (kongresy, sympózia, konference, workshopy)

Free quantification in fuzzy logic
Libor Běhounek
Rok: 2017
prezentace (kongresy, sympózia, konference, workshopy)

Free quantification in fuzzy logic
Libor Běhounek
Rok: 2017
stať ve sborníku

Fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Rok: 2017
prezentace (kongresy, sympózia, konference, workshopy)

On the interpretation of undefined degrees in partial fuzzy logic
Libor Běhounek
Rok: 2017
prezentace (kongresy, sympózia, konference, workshopy)

On the interpretation of undefined degrees in partial fuzzy logic
Libor Běhounek
Rok: 2017
stať ve sborníku

Zentralblatt Review: Della Stella, M.E., Guido, C.: Functional many-valued relations
Libor Běhounek
Rok: 2017
zveřejněné odborné posudky, recenze

Determinate truth in the fuzzy plurivaluationistic account of vagueness
Libor Běhounek
Rok: 2016
prezentace (kongresy, sympózia, konference, workshopy)

Formal calculi of fuzzy relations
Libor Běhounek
Rok: 2016
prezentace (kongresy, sympózia, konference, workshopy)

Fuzzy higher-order logic and higher-order vagueness
Libor Běhounek
Rok: 2016
prezentace (kongresy, sympózia, konference, workshopy)

Fuzzy solutions to classical problems
Libor Běhounek
Rok: 2016
prezentace (kongresy, sympózia, konference, workshopy)

Maxima and minima in fuzzified linear orderings
Libor Běhounek
Rok: 2016, FUZZY SET SYST
článek v odborném periodiku

Representing strategic games and their equilibria in many-valued logics
Libor Běhounek, Petr Cintula, Tomáš Kroupa, Christian Fermüller
Rok: 2016, LOG J IGPL
článek v odborném periodiku

Towards fuzzy partial set theory
Libor Běhounek, Martina Daňková
Rok: 2016
stať ve sborníku

Towards predicate fuzzy partial logic
Libor Běhounek
Rok: 2016
prezentace (kongresy, sympózia, konference, workshopy)

Fuzzy partial logic: combining graduality and undefinedness
Libor Běhounek, Vilém Novák
Rok: 2015
prezentace (kongresy, sympózia, konference, workshopy)

Graded dominance and related graded properties of fuzzy connectives
Libor Běhounek, Ulrich Bodenhofer, Petr Cintula, Susanne Saminger-Platz, Peter Sarkoci
Rok: 2015, FUZZY SET SYST
článek v odborném periodiku

Towards Fuzzy Partial Logic
Libor Běhounek, Vilém Novák
Rok: 2015
stať ve sborníku

Towards fuzzy partial logic of the first and higher orders
Libor Běhounek
Rok: 2015
prezentace (kongresy, sympózia, konference, workshopy)

A ground many-valued type theory and its extensions
Libor Běhounek
Rok: 2014
prezentace (kongresy, sympózia, konference, workshopy)

Church-style type theories over finitary weakly implicative logics
Libor Běhounek
Rok: 2014
prezentace (kongresy, sympózia, konference, workshopy)

In which sense is fuzzy logic a logic for vagueness?
Libor Běhounek
Rok: 2014, CEUR Workshop Proceedings
článek v odborném periodiku

Set theory and arithmetic in fuzzy logic
Libor Běhounek, Zuzana Haniková
Rok: 2014, Springer
kapitola v odborné knize

Technische Universitaet Wien
Libor Běhounek
Rok: 2014
působení v zahraničí

Technische Universitaet Wien
Libor Běhounek
Rok: 2013
působení v zahraničí

Technische Universitaet Wien
Libor Běhounek
Rok: 2011
působení v zahraničí

Johannes Kepler Universitaet Linz
Libor Běhounek
Rok: 2007
působení v zahraničí

Manchester University
Libor Běhounek
Rok: 2006
působení v zahraničí

Johannes Kepler Universitaet Linz
Libor Běhounek
Rok: 2005
působení v zahraničí

Nenalezen žádný záznam.

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů



AutorNázev práceTypRok
Rašková MonikaMnožinové pojmy v trojhodnotové Lukasiewiczově logicediplomová 2016 


Nenalezen žádný záznam.

facebook
instagram
youtube
twitter
linked in
soundcloud
rss
social hub