Aggregation Operators with Undefined Inputs or Outputs |
Libor Běhounek, Martina Daňková |
Year: 2022, INT J UNCERTAIN FUZZ |
journal article
|
Making the domains of fuzzy sets explicit |
Libor Běhounek |
Year: 2022 |
presentations (congresses, symposia, conferences, workshops)
|
A graded semantics for counterfactuals |
Libor Běhounek, Ondrej Majer |
Year: 2021, Synthese |
journal article
|
Do these degrees really go to eleven? |
Libor Běhounek |
Year: 2021 |
presentations (congresses, symposia, conferences, workshops)
|
On the connexivity of fuzzy counterfactuals |
Libor Běhounek |
Year: 2021 |
presentations (congresses, symposia, conferences, workshops)
|
On the connexivity of fuzzy counterfactuals |
Libor Běhounek |
Year: 2021 |
presentations (congresses, symposia, conferences, workshops)
|
Relevant consequence relations |
Guillermo Badia, Libor Běhounek, Petr Cintula, Andrew Tedder |
Year: 2021 |
presentations (congresses, symposia, conferences, workshops)
|
Sup-T Compositions of Partial Fuzzy Relations |
Libor Běhounek, Martina Daňková |
Year: 2021 |
abstract in proceedings
|
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
|
Matematická logika a teorie množin / Mathematical Logic and Set Theory |
Libor Běhounek, Martina Daňková |
Year: 2020 |
learning texts, university textbooks, tutorials, handbooks
|
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 |
abstract in proceedings
|
Kripke modalities with truth-functional gaps |
Libor Běhounek, Antonín Dvořák |
Year: 2018 |
presentations (congresses, symposia, conferences, workshops)
|
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 |
presentations (congresses, symposia, conferences, workshops)
|
Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation |
Libor Běhounek, Antonín Dvořák |
Year: 2018 |
abstract in proceedings
|
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 |
abstract in proceedings
|
Free quantification in fuzzy logic |
Libor Běhounek |
Year: 2017 |
presentations (congresses, symposia, conferences, workshops)
|
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.