| 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 |
prezentace (kongresy, sympózia, konference, workshopy)
|
| Extending Aggregation Functions for Undefined Inputs |
| Libor Běhounek, Martina Daňková |
| Rok: 2018 |
stať ve sborníku
|
| 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 |
prezentace (kongresy, sympózia, konference, workshopy)
|
| Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation |
| Libor Běhounek, Antonín Dvořák |
| Rok: 2018 |
stať ve sborníku
|
| 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 |
stať ve sborníku
|
| Free quantification in fuzzy logic |
| Libor Běhounek |
| Rok: 2017 |
prezentace (kongresy, sympózia, konference, workshopy)
|
| 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 |
stať ve sborníku
|
| On the interpretation of undefined degrees in partial fuzzy logic |
| Libor Běhounek |
| Rok: 2017 |
prezentace (kongresy, sympózia, konference, workshopy)
|
| 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.
