| A degree-theoretic framework for feasible knowledge |
| Libor Běhounek |
| Year: 2020 |
abstract in proceedings
|
| A many-valued semantics for multi-agent probabilistic-doxastic reasoning |
| Libor Běhounek |
| Year: 2020 |
presentations (congresses, symposia, conferences, workshops)
|
| Fuzzy neighborhood semantics for multi-agent probabilistic reasoning in games |
| Martina Daňková, Libor Běhounek |
| Year: 2020 |
abstract in proceedings
|
| Fuzzy Relational Modalities Admitting Truth-Valueless Propositions |
| Libor Běhounek, Antonín Dvořák |
| Year: 2020, Fuzzy Sets and Systems |
journal article
|
| Multi-agent probabilistic-doxastic reasoning formalized in Lukasiewicz logic |
| Libor Běhounek |
| Year: 2020 |
presentations (congresses, symposia, conferences, workshops)
|
| Variable-domain fuzzy sets - Part I |
| Libor Běhounek, Martina Daňková |
| Year: 2020, Fuzzy Sets and Systems |
journal article
|
| Variable-domain fuzzy sets - Part II |
| Libor Běhounek, Martina Daňková |
| Year: 2020, Fuzzy Sets and Systems |
journal article
|
| A formalism for resource-sensitive epistemic logic |
| Libor Běhounek |
| Year: 2019 |
presentations (congresses, symposia, conferences, workshops)
|
| A fuzzy semantic model for multi-agent probabilistic reasoning |
| Martina Daňková, Libor Běhounek |
| Year: 2019 |
presentations (congresses, symposia, conferences, workshops)
|
| A many-valued semantics for feasible knowledge |
| Libor Běhounek |
| Year: 2019 |
presentations (congresses, symposia, conferences, workshops)
|
| A probabilistic semantics for unknown fuzzy degrees with Monte Carlo approximation |
| Libor Běhounek |
| Year: 2019 |
presentations (congresses, symposia, conferences, workshops)
|
| Institute for Investigation of Artificial Intelligence (IIIA) CSIC |
| Libor Běhounek |
| Year: 2019 |
work experience abroad
|
| Missing Values and Dragonfly Operations in Fuzzy Relational Compositions |
| Martin Štěpnička, Thi Hong Nhung CAO, Libor Běhounek, Michal Burda, Aleš Dolný |
| Year: 2019, INT J APPROX REASON |
journal article
|
| Non-monotonic abstract multiset consequence relations |
| Libor Běhounek, Petr Cintula, Tomáš Lávička |
| Year: 2019 |
presentations (congresses, symposia, conferences, workshops)
|
| Teaching 'Formal set theory' with regard to students' comprehension |
| Libor Běhounek |
| Year: 2019 |
presentations (congresses, symposia, conferences, workshops)
|
| Extending Aggregation Functions for Undefined Inputs |
| Libor Běhounek, Martina Daňková |
| Year: 2018 |
abstract in proceedings
|
| Extending Aggregation Functions for Undefined Inputs |
| Libor Běhounek, Martina Daňková |
| Year: 2018 |
presentations (congresses, symposia, conferences, workshops)
|
| First-order fuzzy modal logic with variable domains |
| Libor Běhounek, Antonín Dvořák |
| Year: 2018 |
presentations (congresses, symposia, conferences, workshops)
|
| Fuzzy intensional semantics |
| Libor Běhounek, Ondrej Majer |
| Year: 2018, Journal of Applied Non-Classical Logics |
journal article
|
| Hájek-style modalities in fuzzy intensional semantics |
| Libor Běhounek, Ondrej Majer |
| Year: 2018 |
presentations (congresses, symposia, conferences, workshops)
|
| Kripke modalities with truth-functional gaps |
| Libor Běhounek, Antonín Dvořák |
| Year: 2018 |
presentations (congresses, symposia, conferences, workshops)
|
| Kripke modalities with truth-functional gaps |
| Libor Běhounek, Antonín Dvořák |
| Year: 2018 |
abstract in proceedings
|
| Non-denoting terms in fuzzy logic: An initial exploration |
| Libor Běhounek, Antonín Dvořák |
| Year: 2018 |
abstract in proceedings
|
| Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation |
| Libor Běhounek, Antonín Dvořák |
| Year: 2018 |
abstract in proceedings
|
| Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation |
| Libor Běhounek, Antonín Dvořák |
| Year: 2018 |
presentations (congresses, symposia, conferences, workshops)
|
| A free semantics for fuzzy logic |
| Libor Běhounek |
| Year: 2017 |
presentations (congresses, symposia, conferences, workshops)
|
| A minimalistic many-valued theory of types |
| Libor Běhounek |
| Year: 2017, J LOGIC COMPUT |
journal article
|
| Determinate truth in fuzzy plurivaluationism |
| Libor Běhounek |
| Year: 2017 |
abstract in proceedings
|
| First-order fuzzy logic |
| Libor Běhounek |
| Year: 2017 |
presentations (congresses, symposia, conferences, workshops)
|
| Free quantification in fuzzy logic |
| Libor Běhounek |
| Year: 2017 |
presentations (congresses, symposia, conferences, workshops)
|
| Free quantification in fuzzy logic |
| Libor Běhounek |
| Year: 2017 |
abstract in proceedings
|
| Fuzzy intensional semantics |
| Libor Běhounek, Ondrej Majer |
| Year: 2017 |
presentations (congresses, symposia, conferences, workshops)
|
| On the interpretation of undefined degrees in partial fuzzy logic |
| Libor Běhounek |
| Year: 2017 |
presentations (congresses, symposia, conferences, workshops)
|
| On the interpretation of undefined degrees in partial fuzzy logic |
| Libor Běhounek |
| Year: 2017 |
abstract in proceedings
|
| Zentralblatt Review: Della Stella, M.E., Guido, C.: Functional many-valued relations |
| Libor Běhounek |
| Year: 2017 |
published expert opinions, reviews
|
| Determinate truth in the fuzzy plurivaluationistic account of vagueness |
| Libor Běhounek |
| Year: 2016 |
presentations (congresses, symposia, conferences, workshops)
|
| Formal calculi of fuzzy relations |
| Libor Běhounek |
| Year: 2016 |
presentations (congresses, symposia, conferences, workshops)
|
| Fuzzy higher-order logic and higher-order vagueness |
| Libor Běhounek |
| Year: 2016 |
presentations (congresses, symposia, conferences, workshops)
|
| Fuzzy solutions to classical problems |
| Libor Běhounek |
| Year: 2016 |
presentations (congresses, symposia, conferences, workshops)
|
| Maxima and minima in fuzzified linear orderings |
| Libor Běhounek |
| Year: 2016, FUZZY SET SYST |
journal article
|
| Representing strategic games and their equilibria in many-valued logics |
| Libor Běhounek, Petr Cintula, Tomáš Kroupa, Christian Fermüller |
| Year: 2016, LOG J IGPL |
journal article
|
| Towards fuzzy partial set theory |
| Libor Běhounek, Martina Daňková |
| Year: 2016 |
abstract in proceedings
|
| Towards predicate fuzzy partial logic |
| Libor Běhounek |
| Year: 2016 |
presentations (congresses, symposia, conferences, workshops)
|
| Fuzzy partial logic: combining graduality and undefinedness |
| Libor Běhounek, Vilém Novák |
| Year: 2015 |
presentations (congresses, symposia, conferences, workshops)
|
| Graded dominance and related graded properties of fuzzy connectives |
| Libor Běhounek, Ulrich Bodenhofer, Petr Cintula, Susanne Saminger-Platz, Peter Sarkoci |
| Year: 2015, FUZZY SET SYST |
journal article
|
| Towards Fuzzy Partial Logic |
| Libor Běhounek, Vilém Novák |
| Year: 2015 |
abstract in proceedings
|
| Towards fuzzy partial logic of the first and higher orders |
| Libor Běhounek |
| Year: 2015 |
presentations (congresses, symposia, conferences, workshops)
|
| A ground many-valued type theory and its extensions |
| Libor Běhounek |
| Year: 2014 |
presentations (congresses, symposia, conferences, workshops)
|
| Church-style type theories over finitary weakly implicative logics |
| Libor Běhounek |
| Year: 2014 |
presentations (congresses, symposia, conferences, workshops)
|
| In which sense is fuzzy logic a logic for vagueness? |
| Libor Běhounek |
| Year: 2014, CEUR Workshop Proceedings |
journal article
|
| Set theory and arithmetic in fuzzy logic |
| Libor Běhounek, Zuzana Haniková |
| Year: 2014, Springer |
specialist book chapter
|
| Technische Universitaet Wien |
| Libor Běhounek |
| Year: 2014 |
work experience abroad
|
| Technische Universitaet Wien |
| Libor Běhounek |
| Year: 2013 |
work experience abroad
|
| Technische Universitaet Wien |
| Libor Běhounek |
| Year: 2011 |
work experience abroad
|
| Johannes Kepler Universitaet Linz |
| Libor Běhounek |
| Year: 2007 |
work experience abroad
|
| Manchester University |
| Libor Běhounek |
| Year: 2006 |
work experience abroad
|
| Johannes Kepler Universitaet Linz |
| Libor Běhounek |
| Year: 2005 |
work experience abroad
|
No record found.
