Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Petr Hájek 0001
@article{DBLP:journals/rsl/BadiaCHT22,
author = {Guillermo Badia and
Petr Cintula and
Petr H{\'{a}}jek and
Andrew Tedder},
title = {How Much Propositional Logic Suffices for Rosser's Essential Undecidability
Theorem?},
journal = {Rev. Symb. Log.},
volume = {15},
number = {2},
pages = {487--504},
year = {2022},
url = {https://doi.org/10.1017/S175502032000012X},
doi = {10.1017/S175502032000012X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/BadiaCHT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HajekH13,
author = {Petr H{\'{a}}jek and
Zuzana Hanikov{\'{a}}},
title = {Interpreting lattice-valued set theory in fuzzy set theory},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {77--90},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs023},
doi = {10.1093/JIGPAL/JZS023},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HajekH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hajek13,
author = {Petr H{\'{a}}jek},
title = {On equality and natural numbers in Cantor-{\L}ukasiewicz set theory},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {91--100},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzq019},
doi = {10.1093/JIGPAL/JZQ019},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hajek13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hajek13a,
author = {Petr H{\'{a}}jek},
title = {Some remarks on Cantor-{\L}ukasiewicz fuzzy set theory},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {183--186},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs014},
doi = {10.1093/JIGPAL/JZS014},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hajek13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4953,
author = {Petr H{\'{a}}jek and
Llu{\'{\i}}s Godo and
Francesc Esteva},
title = {Fuzzy Logic and Probability},
journal = {CoRR},
volume = {abs/1302.4953},
year = {2013},
url = {http://arxiv.org/abs/1302.4953},
eprinttype = {arXiv},
eprint = {1302.4953},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-4953.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6813,
author = {Petr H{\'{a}}jek and
Dagmar Harmancov{\'{a}} and
Francesc Esteva and
Pere Garcia and
Llu{\'{\i}}s Godo},
title = {On Modal Logics for Qualitative Possibility in a Fuzzy Setting},
journal = {CoRR},
volume = {abs/1302.6813},
year = {2013},
url = {http://arxiv.org/abs/1302.6813},
eprinttype = {arXiv},
eprint = {1302.6813},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hajek11,
author = {Petr H{\'{a}}jek},
title = {Towards metamathematics of weak arithmetics over fuzzy logic},
journal = {Log. J. {IGPL}},
volume = {19},
number = {3},
pages = {467--475},
year = {2011},
url = {https://doi.org/10.1093/jigpal/jzp091},
doi = {10.1093/JIGPAL/JZP091},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hajek11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hajek11,
author = {Petr H{\'{a}}jek},
title = {Comments on Interpretability and Decidability in Fuzzy Logic},
journal = {J. Log. Comput.},
volume = {21},
number = {5},
pages = {823--828},
year = {2011},
url = {https://doi.org/10.1093/logcom/exp058},
doi = {10.1093/LOGCOM/EXP058},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hajek11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Hajek11,
author = {Petr H{\'{a}}jek},
editor = {Johan van Benthem and
Amitabha Gupta and
Rohit Parikh},
title = {Deductive Systems of Fuzzy Logic},
booktitle = {Proof, Computation and Agency - Logic at the Crossroads},
series = {Synthese library},
volume = {352},
pages = {67--78},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-94-007-0080-2\_5},
doi = {10.1007/978-94-007-0080-2\_5},
timestamp = {Tue, 16 May 2017 14:01:41 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Hajek11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/GottwaldHHK10,
author = {Siegfried Gottwald and
Petr H{\'{a}}jek and
Ulrich H{\"{o}}hle and
Erich{-}Peter Klement},
title = {Editorial},
journal = {Fuzzy Sets Syst.},
volume = {161},
number = {3},
pages = {299--300},
year = {2010},
url = {https://doi.org/10.1016/j.fss.2009.09.004},
doi = {10.1016/J.FSS.2009.09.004},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/GottwaldHHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/CintulaH10,
author = {Petr Cintula and
Petr H{\'{a}}jek},
title = {Triangular norm based predicate fuzzy logics},
journal = {Fuzzy Sets Syst.},
volume = {161},
number = {3},
pages = {311--346},
year = {2010},
url = {https://doi.org/10.1016/j.fss.2009.09.006},
doi = {10.1016/J.FSS.2009.09.006},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/CintulaH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Hajek10,
author = {Petr H{\'{a}}jek},
title = {On fuzzy modal logics {S5(L)}},
journal = {Fuzzy Sets Syst.},
volume = {161},
number = {18},
pages = {2389--2396},
year = {2010},
url = {https://doi.org/10.1016/j.fss.2009.11.011},
doi = {10.1016/J.FSS.2009.11.011},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Hajek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HajekHR10,
author = {Petr H{\'{a}}jek and
Martin Holena and
Jan Rauch},
title = {The {GUHA} method and its meaning for data mining},
journal = {J. Comput. Syst. Sci.},
volume = {76},
number = {1},
pages = {34--48},
year = {2010},
url = {https://doi.org/10.1016/j.jcss.2009.05.004},
doi = {10.1016/J.JCSS.2009.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HajekHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hajek10,
author = {Petr H{\'{a}}jek},
title = {On White's Expansion of Lukasiewicz Logic},
journal = {J. Log. Comput.},
volume = {20},
number = {2},
pages = {389--397},
year = {2010},
url = {https://doi.org/10.1093/logcom/exp050},
doi = {10.1093/LOGCOM/EXP050},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hajek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hajek10,
author = {Petr H{\'{a}}jek},
title = {On witnessed models in fuzzy logic {III} - witnessed G{\"{o}}del
logics},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {171--174},
year = {2010},
url = {https://doi.org/10.1002/malq.200810047},
doi = {10.1002/MALQ.200810047},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hajek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Hajek10,
author = {Petr H{\'{a}}jek},
title = {Some (non)tautologies of {\l}ukasiewicz and Product Logic},
journal = {Rev. Symb. Log.},
volume = {3},
number = {2},
pages = {273--278},
year = {2010},
url = {https://doi.org/10.1017/S1755020309990414},
doi = {10.1017/S1755020309990414},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Hajek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/dmkdh/Hajek10,
author = {Petr H{\'{a}}jek},
editor = {Oded Maimon and
Lior Rokach},
title = {Logics for Data Mining},
booktitle = {Data Mining and Knowledge Discovery Handbook, 2nd ed},
pages = {541--551},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-0-387-09823-4\_26},
doi = {10.1007/978-0-387-09823-4\_26},
timestamp = {Tue, 25 Feb 2020 11:33:46 +0100},
biburl = {https://dblp.org/rec/reference/dmkdh/Hajek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Hajek09,
author = {Petr H{\'{a}}jek},
title = {Arithmetical complexity of fuzzy predicate logics - {A} survey {II}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {212--219},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.015},
doi = {10.1016/J.APAL.2009.05.015},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Hajek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CintulaH09,
author = {Petr Cintula and
Petr H{\'{a}}jek},
title = {Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {245--260},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn052},
doi = {10.1093/LOGCOM/EXN052},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CintulaH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hajek09,
author = {Petr H{\'{a}}jek},
title = {On Vagueness, Truth Values and Fuzzy Logics},
journal = {Stud Logica},
volume = {91},
number = {3},
pages = {367--382},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9179-0},
doi = {10.1007/S11225-009-9179-0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hajek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Ojeda-AciegoGH08,
author = {Manuel Ojeda{-}Aciego and
Siegfried Gottwald and
Petr H{\'{a}}jek},
title = {Editorial},
journal = {Fuzzy Sets Syst.},
volume = {159},
number = {10},
pages = {1129--1130},
year = {2008},
url = {https://doi.org/10.1016/j.fss.2007.12.002},
doi = {10.1016/J.FSS.2007.12.002},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Ojeda-AciegoGH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HajekM08,
author = {Petr H{\'{a}}jek and
Franco Montagna},
title = {A note on the first-order logic of complete BL-chains},
journal = {Math. Log. Q.},
volume = {54},
number = {4},
pages = {435--446},
year = {2008},
url = {https://doi.org/10.1002/malq.200710058},
doi = {10.1002/MALQ.200710058},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HajekM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hajek08,
author = {Petr H{\'{a}}jek},
title = {Ontological Proofs of Existence and Non-Existence},
journal = {Stud Logica},
volume = {90},
number = {2},
pages = {257--262},
year = {2008},
url = {https://doi.org/10.1007/s11225-008-9151-4},
doi = {10.1007/S11225-008-9151-4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hajek08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Hajek08,
author = {Petr H{\'{a}}jek},
title = {On arithmetical complexity of fragments of prominent fuzzy predicate
logics},
journal = {Soft Comput.},
volume = {12},
number = {4},
pages = {335--340},
year = {2008},
url = {https://doi.org/10.1007/s00500-007-0181-z},
doi = {10.1007/S00500-007-0181-Z},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/Hajek08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/HajekM08,
author = {Petr H{\'{a}}jek and
Radko Mesiar},
title = {On copulas, quasicopulas and fuzzy logic},
journal = {Soft Comput.},
volume = {12},
number = {12},
pages = {1239--1243},
year = {2008},
url = {https://doi.org/10.1007/s00500-008-0286-z},
doi = {10.1007/S00500-008-0286-Z},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/HajekM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CintulaHH07,
author = {Petr Cintula and
Petr H{\'{a}}jek and
Rostislav Horc{\'{\i}}k},
title = {Formal systems of fuzzy logic and their fragments},
journal = {Ann. Pure Appl. Log.},
volume = {150},
number = {1-3},
pages = {40--65},
year = {2007},
url = {https://doi.org/10.1016/j.apal.2007.09.002},
doi = {10.1016/J.APAL.2007.09.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CintulaHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/NovakGH07,
author = {Vil{\'{e}}m Nov{\'{a}}k and
Siegfried Gottwald and
Petr H{\'{a}}jek},
title = {Selected papers from the International Conference "The Logic
of Soft Computing IV" and Fourth workshop of the {ERCIM} working
group on soft computing},
journal = {Fuzzy Sets Syst.},
volume = {158},
number = {6},
pages = {595--596},
year = {2007},
url = {https://doi.org/10.1016/j.fss.2006.11.005},
doi = {10.1016/J.FSS.2006.11.005},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/NovakGH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Hajek07,
author = {Petr H{\'{a}}jek},
title = {Complexity of fuzzy probability logics {II}},
journal = {Fuzzy Sets Syst.},
volume = {158},
number = {23},
pages = {2605--2611},
year = {2007},
url = {https://doi.org/10.1016/j.fss.2007.07.001},
doi = {10.1016/J.FSS.2007.07.001},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Hajek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Hajek07,
author = {Petr H{\'{a}}jek},
title = {Mathematical Fuzzy Logic and Natural Numbers},
journal = {Fundam. Informaticae},
volume = {81},
number = {1-3},
pages = {155--163},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi81-1-3-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Hajek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hajek07,
author = {Petr H{\'{a}}jek},
title = {On witnessed models in fuzzy logic},
journal = {Math. Log. Q.},
volume = {53},
number = {1},
pages = {66--77},
year = {2007},
url = {https://doi.org/10.1002/malq.200610027},
doi = {10.1002/MALQ.200610027},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hajek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hajek07a,
author = {Petr H{\'{a}}jek},
title = {On witnessed models in fuzzy logic {II}},
journal = {Math. Log. Q.},
volume = {53},
number = {6},
pages = {610--615},
year = {2007},
url = {https://doi.org/10.1002/malq.200710019},
doi = {10.1002/MALQ.200710019},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hajek07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/Hajek07,
author = {Petr H{\'{a}}jek},
editor = {Martin Stepnicka and
Vil{\'{e}}m Nov{\'{a}}k and
Ulrich Bodenhofer},
title = {Mathematical Fuzzy Logic - a Survey and Some News},
booktitle = {New Dimensions in Fuzzy Logic and Related Technologies. Proceedings
of the 5th {EUSFLAT} Conference, Ostrava, Czech Republic, September
11-14, 2007, Volume 1: Invited Lectures and Special Sessions},
pages = {21--21},
publisher = {Universitas Ostraviensis},
year = {2007},
url = {http://www.eusflat.org/proceedings/EUSFLAT\_2007/papers/(A2)\_Petr\_Hajek.pdf},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusflat/Hajek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Hajek06,
author = {Petr H{\'{a}}jek},
title = {What is mathematical fuzzy logic},
journal = {Fuzzy Sets Syst.},
volume = {157},
number = {5},
pages = {597--603},
year = {2006},
url = {https://doi.org/10.1016/j.fss.2005.10.004},
doi = {10.1016/J.FSS.2005.10.004},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Hajek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Hajek06a,
author = {Petr H{\'{a}}jek},
title = {Computational complexity of t-norm based propositional fuzzy logics
with rational truth constants},
journal = {Fuzzy Sets Syst.},
volume = {157},
number = {5},
pages = {677--682},
year = {2006},
url = {https://doi.org/10.1016/j.fss.2005.12.008},
doi = {10.1016/J.FSS.2005.12.008},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Hajek06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CintulaH06,
author = {Petr Cintula and
Petr H{\'{a}}jek},
title = {On theories and models in fuzzy predicate logics},
journal = {J. Symb. Log.},
volume = {71},
number = {3},
pages = {863--880},
year = {2006},
url = {https://doi.org/10.2178/jsl/1154698581},
doi = {10.2178/JSL/1154698581},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CintulaH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hajek06,
author = {Petr H{\'{a}}jek},
title = {Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa},
journal = {Stud Logica},
volume = {84},
number = {1},
pages = {51--62},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-9002-0},
doi = {10.1007/S11225-006-9002-0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hajek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hajek06,
author = {Petr H{\'{a}}jek},
editor = {Stefano Aguzzoli and
Agata Ciabattoni and
Brunella Gerla and
Corrado Manara and
Vincenzo Marra},
title = {On Fuzzy Theories with Crisp Sentences},
booktitle = {Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers
in Honor of Daniele Mundici on the Occasion of His 60th birthday},
series = {Lecture Notes in Computer Science},
volume = {4460},
pages = {194--200},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75939-3\_12},
doi = {10.1007/978-3-540-75939-3\_12},
timestamp = {Sun, 25 Oct 2020 23:08:31 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Hajek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/06/Hajek06,
author = {Petr H{\'{a}}jek},
editor = {Elie Sanchez},
title = {What does mathematical fuzzy logic offer to description logic?},
booktitle = {Fuzzy Logic and the Semantic Web},
series = {Capturing Intelligence},
pages = {91--100},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/s1574-9576(06)80007-9},
doi = {10.1016/S1574-9576(06)80007-9},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/06/Hajek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Hajek05,
author = {Petr H{\'{a}}jek},
title = {On arithmetic in the Cantor- Lukasiewicz fuzzy set theory},
journal = {Arch. Math. Log.},
volume = {44},
number = {6},
pages = {763--782},
year = {2005},
url = {https://doi.org/10.1007/s00153-005-0284-0},
doi = {10.1007/S00153-005-0284-0},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Hajek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Hajek05,
author = {Petr H{\'{a}}jek},
title = {Making fuzzy description logic more general},
journal = {Fuzzy Sets Syst.},
volume = {154},
number = {1},
pages = {1--15},
year = {2005},
url = {https://doi.org/10.1016/j.fss.2005.03.005},
doi = {10.1016/J.FSS.2005.03.005},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Hajek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/DuboisGHKP05,
author = {Didier Dubois and
Siegfried Gottwald and
Petr H{\'{a}}jek and
Janusz Kacprzyk and
Henri Prade},
title = {Terminological difficulties in fuzzy set theory - The case of "Intuitionistic
Fuzzy Sets"},
journal = {Fuzzy Sets Syst.},
volume = {156},
number = {3},
pages = {485--491},
year = {2005},
url = {https://doi.org/10.1016/j.fss.2005.06.001},
doi = {10.1016/J.FSS.2005.06.001},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/DuboisGHKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BaazCGH05,
author = {Matthias Baaz and
Agata Ciabattoni and
Dov M. Gabbay and
Petr H{\'{a}}jek},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {13},
number = {4},
pages = {363},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi029},
doi = {10.1093/JIGPAL/JZI029},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BaazCGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hajek05,
author = {Petr H{\'{a}}jek},
title = {A non-arithmetical G{\"{o}}del logic},
journal = {Log. J. {IGPL}},
volume = {13},
number = {4},
pages = {435--441},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi033},
doi = {10.1093/JIGPAL/JZI033},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hajek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BaazCGH05a,
author = {Matthias Baaz and
Agata Ciabattoni and
Dov M. Gabbay and
Petr H{\'{a}}jek},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {491},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi036},
doi = {10.1093/JIGPAL/JZI036},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BaazCGH05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/Hajek05,
author = {Petr H{\'{a}}jek},
title = {Fleas and Fuzzy Logic},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {11},
number = {1-2},
pages = {137--152},
year = {2005},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-11-number-1-2-2005/mvlsc-11-1-2-p-137-152/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/Hajek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Hajek05,
author = {Petr H{\'{a}}jek},
title = {Arithmetical complexity of fuzzy predicate logics - a survey},
journal = {Soft Comput.},
volume = {9},
number = {12},
pages = {935--941},
year = {2005},
url = {https://doi.org/10.1007/s00500-004-0448-6},
doi = {10.1007/S00500-004-0448-6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/Hajek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/datamining2005/Hajek05,
author = {Petr H{\'{a}}jek},
editor = {Oded Maimon and
Lior Rokach},
title = {Logics for Data Mining},
booktitle = {The Data Mining and Knowledge Discovery Handbook},
pages = {589--602},
publisher = {Springer},
year = {2005},
timestamp = {Wed, 12 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/datamining2005/Hajek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/GottwaldH04,
author = {Siegfried Gottwald and
Petr H{\'{a}}jek},
title = {Editorial},
journal = {Fuzzy Sets Syst.},
volume = {143},
number = {1},
pages = {1--3},
year = {2004},
url = {https://doi.org/10.1016/j.fss.2003.10.039},
doi = {10.1016/J.FSS.2003.10.039},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/GottwaldH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hajek04,
author = {Petr H{\'{a}}jek},
editor = {Wolfgang Lenski},
title = {A True Unprovable Formula of Fuzzy Predicate Logic},
booktitle = {Logic versus Approximation, Essays Dedicated to Michael M. Richter
on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3075},
pages = {1--5},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25967-1\_1},
doi = {10.1007/978-3-540-25967-1\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hajek04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cinq/HajekRCF04,
author = {Petr H{\'{a}}jek and
Jan Rauch and
David Coufal and
Thomas Feglar},
editor = {Rosa Meo and
Pier Luca Lanzi and
Mika Klemettinen},
title = {The {GUHA} Method, Data Preprocessing and Mining},
booktitle = {Database Support for Data Mining Applications: Discovering Knowledge
with Inductive Queries},
series = {Lecture Notes in Computer Science},
volume = {2682},
pages = {135--153},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-44497-8\_7},
doi = {10.1007/978-3-540-44497-8\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cinq/HajekRCF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GodoHE03,
author = {Llu{\'{\i}}s Godo and
Petr H{\'{a}}jek and
Francesc Esteva},
title = {A Fuzzy Modal Logic for Belief Functions},
journal = {Fundam. Informaticae},
volume = {57},
number = {2-4},
pages = {127--146},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GodoHE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/HajekN03,
author = {Petr H{\'{a}}jek and
Vil{\'{e}}m Nov{\'{a}}k},
title = {The sorites paradox and fuzzy logic},
journal = {Int. J. Gen. Syst.},
volume = {32},
number = {4},
pages = {373--383},
year = {2003},
url = {https://doi.org/10.1080/0308107031000152522},
doi = {10.1080/0308107031000152522},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgs/HajekN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hajek03,
author = {Petr H{\'{a}}jek},
title = {Fuzzy Logics with Noncommutative Conjuctions},
journal = {J. Log. Comput.},
volume = {13},
number = {4},
pages = {469--479},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.4.469},
doi = {10.1093/LOGCOM/13.4.469},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hajek03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/EstevaGHM03,
author = {Francesc Esteva and
Llu{\'{\i}}s Godo and
Petr H{\'{a}}jek and
Franco Montagna},
title = {Hoops and Fuzzy Logic},
journal = {J. Log. Comput.},
volume = {13},
number = {4},
pages = {532--555},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.4.532},
doi = {10.1093/LOGCOM/13.4.532},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/EstevaGHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Hajek03,
author = {Petr H{\'{a}}jek},
title = {Basic fuzzy logic and BL-algebras {II}},
journal = {Soft Comput.},
volume = {7},
number = {3},
pages = {179--183},
year = {2003},
url = {https://doi.org/10.1007/s00500-002-0195-5},
doi = {10.1007/S00500-002-0195-5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/Hajek03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Hajek03a,
author = {Petr H{\'{a}}jek},
title = {Observations on non-commutative fuzzy logic},
journal = {Soft Comput.},
volume = {8},
number = {1},
pages = {38--43},
year = {2003},
url = {https://doi.org/10.1007/s00500-002-0246-y},
doi = {10.1007/S00500-002-0246-Y},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/Hajek03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HajekH03,
author = {Petr H{\'{a}}jek and
Martin Holena},
title = {Formal logics of discovery and hypothesis formation by machine},
journal = {Theor. Comput. Sci.},
volume = {292},
number = {2},
pages = {345--357},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00175-5},
doi = {10.1016/S0304-3975(02)00175-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HajekH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Hajek03,
author = {Petr H{\'{a}}jek},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Relations and GUHA-Style Data Mining {II}},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {163--170},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_14},
doi = {10.1007/978-3-540-24771-5\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Hajek03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/Hajek03,
author = {Petr H{\'{a}}jek},
editor = {Michael Wagenknecht and
Rainer Hampel},
title = {Fleas and fuzzy logic: a survey},
booktitle = {Proceedings of the 3rd Conference of the European Society for Fuzzy
Logic and Technology, Zittau, Germany, September 10-12, 2003},
pages = {599--603},
publisher = {University of Applied Sciences at Zittau/G{\"{o}}rlitz, Germany},
year = {2003},
url = {http://www.eusflat.org/proceedings/EUSFLAT\_2003/papers/01Hajek.pdf},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusflat/Hajek03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iis/Hajek03,
author = {Petr H{\'{a}}jek},
editor = {Mieczyslaw A. Klopotek and
Slawomir T. Wierzchon and
Krzysztof Trojanowski},
title = {On generalized quantifiers, finite sets and data mining},
booktitle = {Intelligent Information Processing and Web Mining, Proceedings of
the International {IIS:} IIPWM'03 Conference held in Zakopane, Poland,
June 2-5, 2003},
series = {Advances in Soft Computing},
pages = {489--496},
publisher = {Springer},
year = {2003},
timestamp = {Wed, 12 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iis/Hajek03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/RelMiCS/HajekHR03,
author = {Petr H{\'{a}}jek and
Martin Holena and
Jan Rauch},
editor = {Harrie C. M. de Swart and
Ewa Orlowska and
Gunther Schmidt and
Marc Roubens},
title = {The {GUHA} Method and Foundations of (Relational) Data Mining},
booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments,
{COST} Action 274, TARSKI, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2929},
pages = {17--37},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24615-2\_2},
doi = {10.1007/978-3-540-24615-2\_2},
timestamp = {Sun, 02 Oct 2022 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/HajekHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Hajek02,
author = {Petr H{\'{a}}jek},
title = {Observations on the monoidal t-norm logic},
journal = {Fuzzy Sets Syst.},
volume = {132},
number = {1},
pages = {107--112},
year = {2002},
url = {https://doi.org/10.1016/S0165-0114(02)00057-X},
doi = {10.1016/S0165-0114(02)00057-X},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Hajek02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/FontH02,
author = {Josep Maria Font and
Petr H{\'{a}}jek},
title = {On Lukasiewicz's Four-Valued Modal Logic},
journal = {Stud Logica},
volume = {70},
number = {2},
pages = {157--182},
year = {2002},
url = {https://doi.org/10.1023/A:1015111314455},
doi = {10.1023/A:1015111314455},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/FontH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hajek02,
author = {Petr H{\'{a}}jek},
title = {A New Small Emendation of G{\"{o}}del's Ontological Proof},
journal = {Stud Logica},
volume = {71},
number = {2},
pages = {149--164},
year = {2002},
url = {https://doi.org/10.1023/A:1016583920890},
doi = {10.1023/A:1016583920890},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hajek02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hajek02a,
author = {Petr H{\'{a}}jek},
title = {Monadic Fuzzy Predicate Logics},
journal = {Stud Logica},
volume = {71},
number = {2},
pages = {165--175},
year = {2002},
url = {https://doi.org/10.1023/A:1016544704961},
doi = {10.1023/A:1016544704961},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hajek02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HajekS01,
author = {Petr H{\'{a}}jek and
John C. Shepherdson},
title = {A note on the notion of truth in fuzzy logic},
journal = {Ann. Pure Appl. Log.},
volume = {109},
number = {1-2},
pages = {65--69},
year = {2001},
url = {https://doi.org/10.1016/S0168-0072(01)00041-0},
doi = {10.1016/S0168-0072(01)00041-0},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HajekS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BaazH01,
author = {Matthias Baaz and
Petr H{\'{a}}jek and
Franco Montagna and
Helmut Veith},
title = {Complexity of t-tautologies},
journal = {Ann. Pure Appl. Log.},
volume = {113},
number = {1-3},
pages = {3--11},
year = {2001},
url = {https://doi.org/10.1016/S0168-0072(01)00048-3},
doi = {10.1016/S0168-0072(01)00048-3},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BaazH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/HajekGG01,
author = {Petr H{\'{a}}jek and
Llu{\'{\i}}s Godo and
Siegfried Gottwald},
title = {Editorial},
journal = {Fuzzy Sets Syst.},
volume = {124},
number = {3},
pages = {269--270},
year = {2001},
url = {https://doi.org/10.1016/S0165-0114(01)00097-5},
doi = {10.1016/S0165-0114(01)00097-5},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/HajekGG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Hajek01,
author = {Petr H{\'{a}}jek},
title = {On very true},
journal = {Fuzzy Sets Syst.},
volume = {124},
number = {3},
pages = {329--333},
year = {2001},
url = {https://doi.org/10.1016/S0165-0114(01)00103-8},
doi = {10.1016/S0165-0114(01)00103-8},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Hajek01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HajekT01,
author = {Petr H{\'{a}}jek and
Sauro Tulipani},
title = {Complexity of Fuzzy Probability Logics},
journal = {Fundam. Informaticae},
volume = {45},
number = {3},
pages = {207--213},
year = {2001},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi45-3-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HajekT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hajek01,
author = {Petr H{\'{a}}jek},
title = {Fuzzy Logic and Arithmetical Hierarchy {III}},
journal = {Stud Logica},
volume = {68},
number = {1},
pages = {129--142},
year = {2001},
url = {https://doi.org/10.1023/A:1011906423560},
doi = {10.1023/A:1011906423560},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hajek01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Hajek01,
author = {Petr H{\'{a}}jek},
editor = {Harrie C. M. de Swart},
title = {Relations in {GUHA} Style Data Mining},
booktitle = {Relational Methods in Computer Science, 6th International Conference,
RelMICS 2001, and 1st Workshop of {COST} Action 274 {TARSKI} Oisterwijk,
The Netherlands, October 16-21, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2561},
pages = {81--87},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36280-0\_6},
doi = {10.1007/3-540-36280-0\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Hajek01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GodoHE01,
author = {Llu{\'{\i}}s Godo and
Petr H{\'{a}}jek and
Francesc Esteva},
editor = {Bernhard Nebel},
title = {A Fuzzy Modal Logic for Belief Functions},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {723--732},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GodoHE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Hanikova01,
author = {Petr H{\'{a}}jek and
Zuzana Hanikov{\'{a}}},
title = {A Set Theory within Fuzzy Logic},
booktitle = {31st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2001, Warsaw, Poland, May 22-24, 2001, Proceedings},
pages = {319--323},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISMVL.2001.924590},
doi = {10.1109/ISMVL.2001.924590},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Hanikova01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/EstevaGHN00,
author = {Francesc Esteva and
Llu{\'{\i}}s Godo and
Petr H{\'{a}}jek and
Mirko Navara},
title = {Residuated fuzzy logics with an involutive negation},
journal = {Arch. Math. Log.},
volume = {39},
number = {2},
pages = {103--124},
year = {2000},
url = {https://doi.org/10.1007/s001530050006},
doi = {10.1007/S001530050006},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/EstevaGHN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/HajekH00,
author = {Petr H{\'{a}}jek and
Dagmar Harmancov{\'{a}}},
title = {A Hedge for G{\"{o}}del Fuzzy Logic},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {8},
number = {4},
pages = {495--498},
year = {2000},
url = {https://doi.org/10.1142/S0218488500000332},
doi = {10.1142/S0218488500000332},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/HajekH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/DuboisHP00,
author = {Didier Dubois and
Petr H{\'{a}}jek and
Henri Prade},
title = {Knowledge-Driven versus Data-Driven Logics},
journal = {J. Log. Lang. Inf.},
volume = {9},
number = {1},
pages = {65--89},
year = {2000},
url = {https://doi.org/10.1023/A:1008370109997},
doi = {10.1023/A:1008370109997},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/DuboisHP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HajekPS00,
author = {Petr H{\'{a}}jek and
Jeff B. Paris and
John C. Shepherdson},
title = {The Liar Paradox and Fuzzy Logic},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {339--346},
year = {2000},
url = {https://doi.org/10.2307/2586541},
doi = {10.2307/2586541},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HajekPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HajekPS00a,
author = {Petr H{\'{a}}jek and
Jeff B. Paris and
John C. Shepherdson},
title = {Rational Pavelka Predicate Logic Is {A} Conservative Extension of
Lukasiewicz Predicate Logic},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {669--682},
year = {2000},
url = {https://doi.org/10.2307/2586560},
doi = {10.2307/2586560},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HajekPS00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Hajek99,
author = {Petr H{\'{a}}jek},
title = {Ten Questions and One Problem on Fuzzy Logic},
journal = {Ann. Pure Appl. Log.},
volume = {96},
number = {1-3},
pages = {157--165},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00037-2},
doi = {10.1016/S0168-0072(98)00037-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Hajek99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GodoH99,
author = {Llu{\'{\i}}s Godo and
Petr H{\'{a}}jek},
title = {Fuzzy inference as deduction},
journal = {J. Appl. Non Class. Logics},
volume = {9},
number = {1},
pages = {37--60},
year = {1999},
url = {https://doi.org/10.1080/11663081.1999.10510957},
doi = {10.1080/11663081.1999.10510957},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/GodoH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/HajekR99,
author = {Petr H{\'{a}}jek and
Jan Rauch},
editor = {Jan M. Zytkow and
Jan Rauch},
title = {Logics and Statistics for Association Rules and Beyond Abstract of
Tutorial},
booktitle = {Principles of Data Mining and Knowledge Discovery, Third European
Conference, {PKDD} '99, Prague, Czech Republic, September 15-18, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1704},
pages = {586--587},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-48247-5\_80},
doi = {10.1007/978-3-540-48247-5\_80},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/HajekR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/kl/Hajek98,
author = {Petr H{\'{a}}jek},
title = {Metamathematics of Fuzzy Logic},
series = {Trends in Logic},
volume = {4},
publisher = {Kluwer},
year = {1998},
url = {https://doi.org/10.1007/978-94-011-5300-3},
doi = {10.1007/978-94-011-5300-3},
isbn = {978-1-4020-0370-7},
timestamp = {Tue, 23 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/kl/Hajek98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BaazHSK98,
author = {Matthias Baaz and
Petr H{\'{a}}jek and
David Svejda and
Jan Kraj{\'{\i}}cek},
title = {Embedding Logics into Product Logic},
journal = {Stud Logica},
volume = {61},
number = {1},
pages = {35--47},
year = {1998},
url = {https://doi.org/10.1023/A:1005026229560},
doi = {10.1023/A:1005026229560},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BaazHSK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Hajek98,
author = {Petr H{\'{a}}jek},
title = {Ten claims about fuzzy logic},
journal = {Soft Comput.},
volume = {2},
number = {1},
pages = {14--15},
year = {1998},
url = {https://doi.org/10.1007/s005000050027},
doi = {10.1007/S005000050027},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/Hajek98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Hajek98a,
author = {Petr H{\'{a}}jek},
title = {Basic fuzzy logic and BL-algebras},
journal = {Soft Comput.},
volume = {2},
number = {3},
pages = {124--128},
year = {1998},
url = {https://doi.org/10.1007/s005000050043},
doi = {10.1007/S005000050043},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/Hajek98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hajek98,
author = {Petr H{\'{a}}jek},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Trakhtenbrot Theorem and Fuzzy Logic},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {1--8},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_1},
doi = {10.1007/10703163\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hajek98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/HajekH98,
author = {Petr H{\'{a}}jek and
Martin Holena},
editor = {Setsuo Arikawa and
Hiroshi Motoda},
title = {Formal Logics of Discovery and Hypothesis Formation by Machine},
booktitle = {Discovery Science, First International Conference, {DS} '98, Fukuoka,
Japan, December 14-16, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1532},
pages = {291--302},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49292-5\_26},
doi = {10.1007/3-540-49292-5\_26},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dis/HajekH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/DanielHN97,
author = {Milan Daniel and
Petr H{\'{a}}jek and
Phuong Hoang Nguyen},
title = {{CADIAG-2} and MYCIN-like systems},
journal = {Artif. Intell. Medicine},
volume = {9},
number = {3},
pages = {241--259},
year = {1997},
url = {https://doi.org/10.1016/S0933-3657(96)00376-4},
doi = {10.1016/S0933-3657(96)00376-4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/artmed/DanielHN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hajek97,
author = {Petr H{\'{a}}jek},
title = {Fuzzy Logic and Arithmetical Hierarchy, {II}},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {129--141},
year = {1997},
url = {https://doi.org/10.1023/A:1004948116720},
doi = {10.1023/A:1004948116720},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hajek97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/HajekP97,
author = {Petr H{\'{a}}jek and
Jeff B. Paris},
title = {A dialogue on fuzzy logic},
journal = {Soft Comput.},
volume = {1},
number = {1},
pages = {3--5},
year = {1997},
url = {https://doi.org/10.1007/s005000050001},
doi = {10.1007/S005000050001},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/HajekP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HajekGE96,
author = {Petr H{\'{a}}jek and
Llu{\'{\i}}s Godo and
Francesc Esteva},
title = {A complete many-valued logic with product-conjunction},
journal = {Arch. Math. Log.},
volume = {35},
number = {3},
pages = {191--208},
year = {1996},
url = {https://doi.org/10.1007/BF01268618},
doi = {10.1007/BF01268618},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/HajekGE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/0001H96,
author = {Petr H{\'{a}}jek and
Dagmar Harmancov{\'{a}}},
title = {The Prague seminar of applied mathematical logic and its work on fuzzy
logic},
journal = {Fuzzy Sets Syst.},
volume = {82},
number = {1},
pages = {128--129},
year = {1996},
url = {https://doi.org/10.1016/0165-0114(96)87707-4},
doi = {10.1016/0165-0114(96)87707-4},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/0001H96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/HajekK96,
author = {Petr H{\'{a}}jek and
Ladislav J. Kohout},
title = {Fuzzy Implications and generalized Quantifiers},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {4},
number = {3},
pages = {225--234},
year = {1996},
url = {https://doi.org/10.1142/S0218488596000135},
doi = {10.1142/S0218488596000135},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/HajekK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/HajekHV95,
author = {Petr H{\'{a}}jek and
Dagmar Harmancov{\'{a}} and
Rineke Verbrugge},
title = {A qualitative fuzzy possibilistic logic},
journal = {Int. J. Approx. Reason.},
volume = {12},
number = {1},
pages = {1--19},
year = {1995},
url = {https://doi.org/10.1016/0888-613X(94)00011-Q},
doi = {10.1016/0888-613X(94)00011-Q},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/HajekHV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/HajekH95,
author = {Petr H{\'{a}}jek and
Dagmar Harmancov{\'{a}}},
editor = {Pedro Barahona and
Mario Stefanelli and
Jeremy C. Wyatt},
title = {Medical Fuzz;y Expert Systems and Reasoning about Beliefs},
booktitle = {Artificial Intelligence Medicine, 5th Conference on Artificial Intelligence
in Medicine in Europe, AIME'95, Pavia, Italy, June 25-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {934},
pages = {403--404},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60025-6\_159},
doi = {10.1007/3-540-60025-6\_159},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/aime/HajekH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Hajek95,
author = {Petr H{\'{a}}jek},
editor = {Miroslav Bartosek and
Jan Staudek and
Jir{\'{\i}} Wiedermann},
title = {Fuzzy Logic From The Logical Point of View},
booktitle = {{SOFSEM} '95, 22nd Seminar on Current Trends in Theory and Practice
of Informatics, Milovy, Czech Republic, November 23 - December 1,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1012},
pages = {31--49},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60609-2\_2},
doi = {10.1007/3-540-60609-2\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Hajek95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HajekGE95,
author = {Petr H{\'{a}}jek and
Llu{\'{\i}}s Godo and
Francesc Esteva},
editor = {Philippe Besnard and
Steve Hanks},
title = {Fuzzy logic and probability},
booktitle = {{UAI} '95: Proceedings of the Eleventh Annual Conference on Uncertainty
in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20,
1995},
pages = {237--244},
publisher = {Morgan Kaufmann},
year = {1995},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=439\&\#38;proceeding\_id=11},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/HajekGE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1995,
editor = {Jir{\'{\i}} Wiedermann and
Petr H{\'{a}}jek},
title = {Mathematical Foundations of Computer Science 1995, 20th International
Symposium, MFCS'95, Prague, Czech Republic, August 28 - September
1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {969},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60246-1},
doi = {10.1007/3-540-60246-1},
isbn = {3-540-60246-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/HarmanecH94,
author = {David Harmanec and
Petr H{\'{a}}jek},
title = {A Qualitative Belief Logic},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {2},
number = {2},
pages = {227--236},
year = {1994},
url = {https://doi.org/10.1142/S0218488594000171},
doi = {10.1142/S0218488594000171},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/HarmanecH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/HajekZ94,
author = {Petr H{\'{a}}jek and
Richard Zach},
title = {Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical
Foundations},
journal = {J. Appl. Non Class. Logics},
volume = {4},
number = {2},
pages = {215--220},
year = {1994},
url = {https://doi.org/10.1080/11663081.1994.10510833},
doi = {10.1080/11663081.1994.10510833},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/HajekZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/Hajek94,
author = {Petr H{\'{a}}jek},
editor = {Bernadette Bouchon{-}Meunier and
Ronald R. Yager and
Lotfi A. Zadeh},
title = {Possibilistic Logic as Interpretability Logic},
booktitle = {Advances in Intelligent Computing - IPMU'94, 5th International Conference
on Processing and Management of Uncertainty in Knowledge-Based Systems,
Paris, France, July 4-8, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {945},
pages = {273--280},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0035960},
doi = {10.1007/BFB0035960},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/Hajek94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HajekHEGG94,
author = {Petr H{\'{a}}jek and
Dagmar Harmancov{\'{a}} and
Francesc Esteva and
Pere Garcia and
Llu{\'{\i}}s Godo},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
David Poole},
title = {On Modal Logics for Qualitative Possibility in a Fuzzy Setting},
booktitle = {{UAI} '94: Proceedings of the Tenth Annual Conference on Uncertainty
in Artificial Intelligence, Seattle, Washington, USA, July 29-31,
1994},
pages = {278--285},
publisher = {Morgan Kaufmann},
year = {1994},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=514\&\#38;proceeding\_id=10},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/HajekHEGG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0032850,
author = {Petr H{\'{a}}jek and
Pavel Pudl{\'{a}}k},
title = {Metamathematics of First-Order Arithmetic},
series = {Perspectives in mathematical logic},
publisher = {Springer},
year = {1993},
url = {http://www.springer.com/mathematics/book/978-3-540-63648-9},
isbn = {978-3-540-63648-9},
timestamp = {Wed, 12 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0032850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Hajek93,
author = {Petr H{\'{a}}jek},
title = {Epistemic Entrenchment and Arithmetical Hierarchy},
journal = {Artif. Intell.},
volume = {62},
number = {1},
pages = {79--87},
year = {1993},
url = {https://doi.org/10.1016/0004-3702(93)90046-E},
doi = {10.1016/0004-3702(93)90046-E},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Hajek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Hajek93,
author = {Petr H{\'{a}}jek},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Epistemic Entrenchment and Arthmetical Hierarchy (Abstract)},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {41--42},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022550},
doi = {10.1007/BFB0022550},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Hajek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HajekH93,
author = {Petr H{\'{a}}jek and
Dagmar Harmancov{\'{a}}},
editor = {Erich{-}Peter Klement and
Wolfgang Slany},
title = {A Comparative Fuzzy Modal Logic},
booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {695},
pages = {27--34},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56920-0\_5},
doi = {10.1007/3-540-56920-0\_5},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ogai/HajekH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0069811,
author = {Petr H{\'{a}}jek and
Tom{\'{a}}s Havr{\'{a}}nek and
Radim Jirousek},
title = {Uncertain information processing in expert systems},
publisher = {{CRC} Press},
year = {1992},
isbn = {978-0-8493-6368-9},
timestamp = {Wed, 12 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0069811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HajekM92,
author = {Petr H{\'{a}}jek and
Franco Montagna},
title = {The logic of\emph{II}\({}_{\mbox{1}}\)-conservativity continued},
journal = {Arch. Math. Log.},
volume = {32},
number = {1},
pages = {57--63},
year = {1992},
url = {https://doi.org/10.1007/BF01270395},
doi = {10.1007/BF01270395},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HajekM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/HajekH92,
author = {Petr H{\'{a}}jek and
David Harmanec},
editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and
Olga Step{\'{a}}nkov{\'{a}} and
Robert Trappl},
title = {On Belief Functions},
booktitle = {Advanced Topics in Artificial Intelligence, International Summer School,
Prague, Czechoslovakia, July 6-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {617},
pages = {286--307},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55681-8\_41},
doi = {10.1007/3-540-55681-8\_41},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/HajekH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/law/Hajek92,
author = {Petr H{\'{a}}jek},
editor = {Michael Masuch and
L{\'{a}}szl{\'{o}} P{\'{o}}los},
title = {On Logics of Approximate Reasoning},
booktitle = {Knowledge Representation and Reasoning Under Uncertainty, Logic at
Work [International Conference Logic at Work, Amsterdam, The Netherlands,
December 17-19, 1992]},
series = {Lecture Notes in Computer Science},
volume = {808},
pages = {17--29},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-58095-6\_2},
doi = {10.1007/3-540-58095-6\_2},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/law/Hajek92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/HajekS91,
author = {Petr H{\'{a}}jek and
V{\'{\i}}tezslav Svejdar},
title = {A note on the normal form of closed formulas of interpretability logic},
journal = {Stud Logica},
volume = {50},
number = {1},
pages = {25--28},
year = {1991},
url = {https://doi.org/10.1007/BF00370384},
doi = {10.1007/BF00370384},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/HajekS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HajekM90,
author = {Petr H{\'{a}}jek and
Franco Montagna},
title = {The logic of {\(\pi\)}\({}_{\mbox{1}}\)-conservativity},
journal = {Arch. Math. Log.},
volume = {30},
number = {2},
pages = {113--123},
year = {1990},
url = {https://doi.org/10.1007/BF01634981},
doi = {10.1007/BF01634981},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HajekM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CloteHP90,
author = {Peter Clote and
Petr H{\'{a}}jek and
Jeff B. Paris},
title = {On some formalized conservation results in arithmetic},
journal = {Arch. Math. Log.},
volume = {30},
number = {4},
pages = {201--218},
year = {1990},
url = {https://doi.org/10.1007/BF01792983},
doi = {10.1007/BF01792983},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CloteHP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HajekK89,
author = {Petr H{\'{a}}jek and
Anton{\'{\i}}n Kucera},
title = {On Recursion Theory in {I} Sigma\({}_{\mbox{1}}\)},
journal = {J. Symb. Log.},
volume = {54},
number = {2},
pages = {576--589},
year = {1989},
url = {https://doi.org/10.2307/2274871},
doi = {10.2307/2274871},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HajekK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/HajekHHD89,
author = {Petr H{\'{a}}jek and
Marie H{\'{a}}jkov{\'{a}} and
Tom{\'{a}}s Havr{\'{a}}nek and
Milan Daniel},
title = {The expert system shell {EQUANT-PC:} brief information},
journal = {Kybernetika},
volume = {25},
number = {7},
pages = {4--9},
year = {1989},
url = {http://www.kybernetika.cz/content/1989/7/4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/HajekHHD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HajekP87,
author = {Petr H{\'{a}}jek and
Jeff B. Paris},
title = {Combinatorial principles concerning approximations of functions},
journal = {Arch. Math. Log.},
volume = {26},
number = {1},
pages = {13--28},
year = {1987},
url = {https://doi.org/10.1007/BF02017489},
doi = {10.1007/BF02017489},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HajekP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hajek86,
author = {Petr H{\'{a}}jek},
title = {A simple dynamic logic},
journal = {Theor. Comput. Sci.},
volume = {46},
pages = {239--259},
year = {1986},
url = {https://doi.org/10.1016/0304-3975(86)90032-0},
doi = {10.1016/0304-3975(86)90032-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hajek86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Hajek85,
author = {Petr H{\'{a}}jek},
title = {Combining Functions for Certainty Degrees in Consulting Systems},
journal = {Int. J. Man Mach. Stud.},
volume = {22},
number = {1},
pages = {59--76},
year = {1985},
url = {https://doi.org/10.1016/S0020-7373(85)80077-8},
doi = {10.1016/S0020-7373(85)80077-8},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/Hajek85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hajek83,
author = {Petr H{\'{a}}jek},
title = {Arithmetical Interpretations of Dynamic Logic},
journal = {J. Symb. Log.},
volume = {48},
number = {3},
pages = {704--713},
year = {1983},
url = {https://doi.org/10.2307/2273463},
doi = {10.2307/2273463},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hajek83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Hajek82,
author = {Petr H{\'{a}}jek},
title = {Applying Artificial Intelligence to Data Analysis},
booktitle = {5th European Conference on Artificial Intelligence, {ECAI} 1982, Paris,
1982, Proceedings},
pages = {149--150},
year = {1982},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Hajek82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HajekK81,
author = {Petr H{\'{a}}jek and
Petr Kurka},
title = {A second-order dynamic logic with array assignments},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {919--934},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HajekK81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Hajek81,
author = {Petr H{\'{a}}jek},
title = {Introduction},
journal = {Int. J. Man Mach. Stud.},
volume = {15},
number = {3},
pages = {251},
year = {1981},
url = {https://doi.org/10.1016/S0020-7373(81)80008-9},
doi = {10.1016/S0020-7373(81)80008-9},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/Hajek81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Hajek81a,
author = {Petr H{\'{a}}jek},
title = {Decision Problems of Some Statistically Motivated Monadic Modal Calculi},
journal = {Int. J. Man Mach. Stud.},
volume = {15},
number = {3},
pages = {351--358},
year = {1981},
url = {https://doi.org/10.1016/S0020-7373(81)80017-X},
doi = {10.1016/S0020-7373(81)80017-X},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/Hajek81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hajek81,
author = {Petr H{\'{a}}jek},
editor = {Jozef Gruska and
Michal Chytil},
title = {Making Dynamic Logic First-Order},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {287--295},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_95},
doi = {10.1007/3-540-10856-4\_95},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hajek81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/HajekKK80,
author = {Petr H{\'{a}}jek and
Pavel Kal{\'{a}}sek and
Petr Kurka},
title = {On dynamic logic},
journal = {Kybernetika},
volume = {16},
number = {7},
pages = {1--41},
year = {1980},
url = {http://www.kybernetika.cz/content/1980/7/1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/HajekKK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hajek79,
author = {Petr H{\'{a}}jek},
title = {Arithmetical Hierarchy and Complexity of Computation},
journal = {Theor. Comput. Sci.},
volume = {8},
pages = {227--237},
year = {1979},
url = {https://doi.org/10.1016/0304-3975(79)90046-X},
doi = {10.1016/0304-3975(79)90046-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hajek79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BalcarH78,
author = {Bohuslav Balcar and
Petr H{\'{a}}jek},
title = {On Sequences of Degrees of Constructibility (Solution of Friedman'S
Problem 75)},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {291--296},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241903},
doi = {10.1002/MALQ.19780241903},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BalcarH78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/HajekH77,
author = {Petr H{\'{a}}jek and
Tom{\'{a}}s Havr{\'{a}}nek},
title = {On Generation of Inductive Hypotheses},
journal = {Int. J. Man Mach. Stud.},
volume = {9},
number = {4},
pages = {415--438},
year = {1977},
url = {https://doi.org/10.1016/S0020-7373(77)80011-4},
doi = {10.1016/S0020-7373(77)80011-4},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/HajekH77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hajek77,
author = {Petr H{\'{a}}jek},
title = {Experimental Logics and pi\({}^{\mbox{0}}\)\({}_{\mbox{3}}\) Theories},
journal = {J. Symb. Log.},
volume = {42},
number = {4},
pages = {515--522},
year = {1977},
url = {https://doi.org/10.2307/2271872},
doi = {10.2307/2271872},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hajek77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hajek77,
author = {Petr H{\'{a}}jek},
editor = {Jozef Gruska},
title = {Arithmetical Complexity of Some Problems in Computer Science},
booktitle = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {53},
pages = {282--287},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08353-7\_146},
doi = {10.1007/3-540-08353-7\_146},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hajek77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Hajek76,
author = {Petr H{\'{a}}jek},
title = {Observationsfunktorenkalk{\"{u}}le und die Logik der automatisierten
Forschung},
journal = {J. Inf. Process. Cybern.},
volume = {12},
number = {4/5},
pages = {181--186},
year = {1976},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Hajek76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Hajek75,
author = {Petr H{\'{a}}jek},
title = {Observationsfunktorenkalk{\"{u}}le und die Logik der automatisierten
Forschung},
journal = {J. Inf. Process. Cybern.},
volume = {11},
number = {10-12},
pages = {579},
year = {1975},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Hajek75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hajek75,
author = {Petr H{\'{a}}jek},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {On Logics of Discovery},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {30--45},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_180},
doi = {10.1007/3-540-07389-2\_180},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hajek75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Hajek74,
author = {Petr H{\'{a}}jek},
title = {Automatic listing of important observational statements. {III}},
journal = {Kybernetika},
volume = {10},
number = {2},
pages = {95--124},
year = {1974},
url = {http://www.kybernetika.cz/content/1974/2/95},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/Hajek74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Hajek73,
author = {Petr H{\'{a}}jek},
title = {Automatic listing of important observational statements. {I}},
journal = {Kybernetika},
volume = {9},
number = {3},
pages = {187--205},
year = {1973},
url = {http://www.kybernetika.cz/content/1973/3/187},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/Hajek73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Hajek73a,
author = {Petr H{\'{a}}jek},
title = {Automatic listing of important observational statements. {II}},
journal = {Kybernetika},
volume = {9},
number = {4},
pages = {251--271},
year = {1973},
url = {http://www.kybernetika.cz/content/1973/4/251},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/Hajek73a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/HajekH73,
author = {Petr H{\'{a}}jek and
Dagmar Harmancov{\'{a}}},
title = {On generalized credence functions},
journal = {Kybernetika},
volume = {9},
number = {5},
pages = {343--356},
year = {1973},
url = {http://www.kybernetika.cz/content/1973/5/343},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/HajekH73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hajek73,
author = {Petr H{\'{a}}jek},
title = {Some Logical Problems of Automated Research},
booktitle = {Mathematical Foundations of Computer Science: Proceedings of Symposium
and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
September 3-8, 1973},
pages = {85--93},
publisher = {Mathematical Institute of the Slovak Academy of Sciences},
year = {1973},
timestamp = {Wed, 12 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hajek73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/HajekBR71,
author = {Petr H{\'{a}}jek and
Kamila Bendov{\'{a}} and
Zdenek Renc},
title = {The {GUHA} method and the three-valued logic},
journal = {Kybernetika},
volume = {7},
number = {6},
pages = {421--435},
year = {1971},
url = {http://www.kybernetika.cz/content/1971/6/421},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/HajekBR71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Hajek68,
author = {Petr H{\'{a}}jek},
title = {The problem of a general conception of the {GUHA} method},
journal = {Kybernetika},
volume = {4},
number = {6},
pages = {505--515},
year = {1968},
url = {http://www.kybernetika.cz/content/1968/6/505},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/Hajek68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/HajekHC67,
author = {Petr H{\'{a}}jek and
Ivan Havel and
Metodej K. Chytil},
title = {The {GUHA} method of systematical hypotheses searching. {II}},
journal = {Kybernetika},
volume = {3},
number = {5},
pages = {430--437},
year = {1967},
url = {http://www.kybernetika.cz/content/1967/5/430},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/HajekHC67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/HajekHC66,
author = {Petr H{\'{a}}jek and
Ivan Havel and
Metodej K. Chytil},
title = {The {GUHA} method of automatic hypotheses determination},
journal = {Computing},
volume = {1},
number = {4},
pages = {293--308},
year = {1966},
url = {https://doi.org/10.1007/BF02345483},
doi = {10.1007/BF02345483},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/HajekHC66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/HajekHC66,
author = {Petr H{\'{a}}jek and
Ivan Havel and
Metodej K. Chytil},
title = {{GUHA} - the method of systematical hypotheses searching},
journal = {Kybernetika},
volume = {2},
number = {1},
pages = {31--47},
year = {1966},
url = {http://www.kybernetika.cz/content/1966/1/31},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/HajekHC66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-06 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
