2008 |
96 | EE | Petr Hájek,
Vladimír Olej:
Municipal Creditworthiness Modelling by Kohonen's Self-organizing Feature Maps and LVQ Neural Networks.
ICAISC 2008: 52-61 |
95 | EE | Petr Hájek,
Vladimír Olej:
Municipal Creditworthiness Modelling by Kohonen's Self-Organizing Feature Maps and Fuzzy Logic Neural Networks.
ICANN (1) 2008: 533-542 |
94 | EE | Manuel Ojeda-Aciego,
Siegfried Gottwald,
Petr Hájek:
Editorial.
Fuzzy Sets and Systems 159(10): 1129-1130 (2008) |
93 | EE | Petr Hájek,
Franco Montagna:
A note on the first-order logic of complete BL-chains.
Math. Log. Q. 54(4): 435-446 (2008) |
92 | EE | Petr Hájek,
Radko Mesiar:
On copulas, quasicopulas and fuzzy logic.
Soft Comput. 12(12): 1239-1243 (2008) |
91 | EE | Petr Hájek:
On arithmetical complexity of fragments of prominent fuzzy predicate logics.
Soft Comput. 12(4): 335-340 (2008) |
90 | EE | Petr Hájek:
Ontological Proofs of Existence and Non-Existence.
Studia Logica 90(2): 257-262 (2008) |
2007 |
89 | EE | Petr Hájek:
Mathematical Fuzzy Logic - a Survey and Some News.
EUSFLAT Conf. (1) 2007: 21-21 |
88 | EE | Petr Cintula,
Petr Hájek,
Rostislav Horcík:
Formal systems of fuzzy logic and their fragments.
Ann. Pure Appl. Logic 150(1-3): 40-65 (2007) |
87 | EE | Petr Hájek:
Mathematical Fuzzy Logic and Natural Numbers.
Fundam. Inform. 81(1-3): 155-163 (2007) |
86 | EE | Petr Hájek:
Complexity of fuzzy probability logics II.
Fuzzy Sets and Systems 158(23): 2605-2611 (2007) |
85 | EE | Vilém Novák,
Siegfried Gottwald,
Petr Hájek:
Selected papers from the International Conference "The Logic of Soft Computing IV" and Fourth workshop of the ERCIM working group on soft computing.
Fuzzy Sets and Systems 158(6): 595-596 (2007) |
84 | EE | Petr Hájek:
On witnessed models in fuzzy logic.
Math. Log. Q. 53(1): 66-77 (2007) |
83 | EE | Petr Hájek:
On witnessed models in fuzzy logic II.
Math. Log. Q. 53(6): 610-615 (2007) |
2006 |
82 | EE | Petr Hájek:
On Fuzzy Theories with Crisp Sentences.
Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 194-200 |
81 | EE | Petr Hájek:
What is mathematical fuzzy logic.
Fuzzy Sets and Systems 157(5): 597-603 (2006) |
80 | EE | Petr Hájek:
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants.
Fuzzy Sets and Systems 157(5): 677-682 (2006) |
79 | EE | Petr Hájek:
Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa.
Studia Logica 84(1): 51-62 (2006) |
2005 |
78 | | Petr Hájek:
Logics for Data Mining.
The Data Mining and Knowledge Discovery Handbook 2005: 589-602 |
77 | EE | Petr Hájek:
On arithmetic in the Cantor- Lukasiewicz fuzzy set theory.
Arch. Math. Log. 44(6): 763-782 (2005) |
76 | EE | Petr Hájek:
Making fuzzy description logic more general.
Fuzzy Sets and Systems 154(1): 1-15 (2005) |
75 | EE | Didier Dubois,
Siegfried Gottwald,
Petr Hájek,
Janusz Kacprzyk,
Henri Prade:
Terminological difficulties in fuzzy set theory - The case of "Intuitionistic Fuzzy Sets".
Fuzzy Sets and Systems 156(3): 485-491 (2005) |
74 | EE | Matthias Baaz,
Agata Ciabattoni,
Dov M. Gabbay,
Petr Hájek:
Editorial.
Logic Journal of the IGPL 13(4): 363 (2005) |
73 | EE | Petr Hájek:
A non-arithmetical Gödel logic.
Logic Journal of the IGPL 13(4): 435-441 (2005) |
72 | EE | Matthias Baaz,
Agata Ciabattoni,
Dov M. Gabbay,
Petr Hájek:
Editorial.
Logic Journal of the IGPL 13(5): 491 (2005) |
71 | EE | Petr Hájek:
Arithmetical complexity of fuzzy predicate logics - a survey.
Soft Comput. 9(12): 935-941 (2005) |
2004 |
70 | EE | Petr Hájek,
Jan Rauch,
David Coufal,
Thomas Feglar:
The GUHA Method, Data Preprocessing and Mining.
Database Support for Data Mining Applications 2004: 135-153 |
69 | EE | Petr Hájek:
A True Unprovable Formula of Fuzzy Predicate Logic.
Logic versus Approximation 2004: 1-5 |
68 | EE | Siegfried Gottwald,
Petr Hájek:
Editorial.
Fuzzy Sets and Systems 143(1): 1-3 (2004) |
2003 |
67 | EE | Petr Hájek:
Fleas and fuzzy logic: a survey.
EUSFLAT Conf. 2003: 599-603 |
66 | | Petr Hájek:
On generalized quantifiers, finite sets and data mining.
IIS 2003: 489-496 |
65 | EE | Petr Hájek:
Relations and GUHA-Style Data Mining II.
RelMiCS 2003: 163-170 |
64 | EE | Petr Hájek,
Martin Holena,
Jan Rauch:
The GUHA Method and Foundations of (Relational) Data Mining.
Theory and Applications of Relational Structures as Knowledge Instruments 2003: 17-37 |
63 | EE | Lluis Godo,
Petr Hájek,
Francesc Esteva:
A Fuzzy Modal Logic for Belief Functions.
Fundam. Inform. 57(2-4): 127-146 (2003) |
62 | EE | Petr Hájek:
Fuzzy Logics with Noncommutative Conjuctions.
J. Log. Comput. 13(4): 469-479 (2003) |
61 | EE | Francesc Esteva,
Lluis Godo,
Petr Hájek,
Franco Montagna:
Hoops and Fuzzy Logic.
J. Log. Comput. 13(4): 532-555 (2003) |
60 | EE | Petr Hájek:
Basic fuzzy logic and BL-algebras II.
Soft Comput. 7(3): 179-183 (2003) |
59 | EE | Petr Hájek:
Observations on non-commutative fuzzy logic.
Soft Comput. 8(1): 38-43 (2003) |
58 | | Petr Hájek,
Martin Holena:
Formal logics of discovery and hypothesis formation by machine.
Theor. Comput. Sci. 292(2): 345-357 (2003) |
2002 |
57 | EE | Petr Hájek:
Observations on the monoidal t-norm logic.
Fuzzy Sets and Systems 132(1): 107-112 (2002) |
56 | | Josep Maria Font,
Petr Hájek:
On Lukasiewicz's Four-Valued Modal Logic.
Studia Logica 70(2): 157-182 (2002) |
55 | | Petr Hájek:
A New Small Emendation of Gödel's Ontological Proof.
Studia Logica 71(2): 149-164 (2002) |
54 | | Petr Hájek:
Monadic Fuzzy Predicate Logics.
Studia Logica 71(2): 165-175 (2002) |
2001 |
53 | | Lluis Godo,
Petr Hájek,
Francesc Esteva:
A Fuzzy Modal Logic for Belief Functions.
IJCAI 2001: 723-732 |
52 | | Petr Hájek,
Zuzana Haniková:
A Set Theory within Fuzzy Logic.
ISMVL 2001: 319-323 |
51 | EE | Petr Hájek:
Relations in GUHA Style Data Mining.
RelMiCS 2001: 81-87 |
50 | | Petr Hájek,
John C. Shepherdson:
A note on the notion of truth in fuzzy logic.
Ann. Pure Appl. Logic 109(1-2): 65-69 (2001) |
49 | | Matthias Baaz,
Petr Hájek,
Franco Montagna,
Helmut Veith:
Complexity of t-tautologies.
Ann. Pure Appl. Logic 113(1-3): 3-11 (2001) |
48 | | Petr Hájek,
Sauro Tulipani:
Complexity of Fuzzy Probability Logics.
Fundam. Inform. 45(3): 207-213 (2001) |
47 | EE | Petr Hájek,
Lluis Godo,
Siegfried Gottwald:
Editorial.
Fuzzy Sets and Systems 124(3): 269-270 (2001) |
46 | EE | Petr Hájek:
On very true.
Fuzzy Sets and Systems 124(3): 329-333 (2001) |
45 | | Petr Hájek:
Fuzzy Logic and Arithmetical Hierarchy III.
Studia Logica 68(1): 129-142 (2001) |
2000 |
44 | EE | Francesc Esteva,
Lluis Godo,
Petr Hájek,
Mirko Navara:
Residuated fuzzy logics with an involutive negation.
Arch. Math. Log. 39(2): 103-124 (2000) |
43 | EE | Petr Hájek,
Dagmar Harmancová:
A Hedge for Gödel Fuzzy Logic.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8(4): 495-498 (2000) |
42 | | Petr Hájek,
Jeff B. Paris,
John C. Shepherdson:
The Liar Paradox and Fuzzy Logic.
J. Symb. Log. 65(1): 339-346 (2000) |
41 | | Petr Hájek,
Jeff B. Paris,
John C. Shepherdson:
Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic.
J. Symb. Log. 65(2): 669-682 (2000) |
40 | | Didier Dubois,
Petr Hájek,
Henri Prade:
Knowledge-Driven versus Data-Driven Logics.
Journal of Logic, Language and Information 9(1): 65-89 (2000) |
1999 |
39 | | Petr Hájek,
Jan Rauch:
Logics and Statistics for Association Rules and Beyond Abstract of Tutorial.
PKDD 1999: 586-587 |
38 | | Petr Hájek:
Ten Questions and One Problem on Fuzzy Logic.
Ann. Pure Appl. Logic 96(1-3): 157-165 (1999) |
37 | | Lluis Godo,
Petr Hájek:
Fuzzy inference as deduction.
Journal of Applied Non-Classical Logics 9(1): (1999) |
1998 |
36 | | Petr Hájek:
Trakhtenbrot Theorem and Fuzzy Logic.
CSL 1998: 1-8 |
35 | EE | Petr Hájek,
Martin Holena:
Formal Logics of Discovery and Hypothesis Formation by Machine.
Discovery Science 1998: 291-302 |
34 | EE | Petr Hájek:
Ten claims about fuzzy logic.
Soft Comput. 2(1): 14-15 (1998) |
33 | EE | Petr Hájek:
Basic fuzzy logic and BL-algebras.
Soft Comput. 2(3): 124-128 (1998) |
32 | | Matthias Baaz,
Petr Hájek,
David Svejda,
Jan Krajícek:
Embedding Logics into Product Logic.
Studia Logica 61(1): 35-47 (1998) |
1997 |
31 | | Milan Daniel,
Petr Hájek,
Phuong Hoang Nguyen:
CADIAG-2 and MYCIN-like systems.
Artificial Intelligence in Medicine 9(3): 241-259 (1997) |
30 | EE | Petr Hájek,
Jeff B. Paris:
A dialogue on fuzzy logic.
Soft Comput. 1(1): 3-5 (1997) |
29 | | Petr Hájek:
Fuzzy Logic and Arithmetical Hierarchy, II.
Studia Logica 58(1): 129-141 (1997) |
1995 |
28 | | Jirí Wiedermann,
Petr Hájek:
Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings
Springer 1995 |
27 | | Petr Hájek,
Dagmar Harmancová:
Medical Fuzz;y Expert Systems and Reasoning about Beliefs.
AIME 1995: 403-404 |
26 | | Petr Hájek:
Fuzzy Logic From The Logical Point of View.
SOFSEM 1995: 31-49 |
25 | EE | Petr Hájek,
Lluis Godo,
Francesc Esteva:
Fuzzy logic and probability.
UAI 1995: 237-244 |
24 | EE | Petr Hájek,
Dagmar Harmancová,
Rineke Verbrugge:
A qualitative fuzzy possibilistic logic.
Int. J. Approx. Reasoning 12(1): 1-19 (1995) |
1994 |
23 | | Petr Hájek:
Possibilistic Logic as Interpretability Logic.
IPMU 1994: 273-280 |
22 | EE | Petr Hájek,
Dagmar Harmancová,
Francesc Esteva,
Pere Garcia,
Lluis Godo:
On Modal Logics for Qualitative Possibility in a Fuzzy Setting.
UAI 1994: 278-285 |
21 | | Petr Hájek,
Richard Zach:
Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations.
Journal of Applied Non-Classical Logics 4(2): (1994) |
1993 |
20 | | Petr Hájek,
Dagmar Harmancová:
A Comparative Fuzzy Modal Logic.
FLAI 1993: 27-34 |
19 | | Petr Hájek:
Epistemic Entrenchment and Arthmetical Hierarchy (Abstract).
Kurt Gödel Colloquium 1993: 41-42 |
18 | | Petr Hájek:
Epistemic Entrenchment and Arithmetical Hierarchy.
Artif. Intell. 62(1): 79-87 (1993) |
1992 |
17 | | Petr Hájek,
David Harmanec:
On Belief Functions.
Advanced Topics in Artificial Intelligence 1992: 286-307 |
16 | | Petr Hájek:
On Logics of Approximate Reasoning.
Logic at Work 1992: 17-29 |
1989 |
15 | | Petr Hájek,
Antonín Kucera:
On Recursion Theory in I Sigma1.
J. Symb. Log. 54(2): 576-589 (1989) |
1985 |
14 | | Petr Hájek:
Combining Functions for Certainty Degrees in Consulting Systems.
International Journal of Man-Machine Studies 22(1): 59-76 (1985) |
1983 |
13 | | Petr Hájek:
Arithmetical Interpretations of Dynamic Logic.
J. Symb. Log. 48(3): 704-713 (1983) |
1982 |
12 | | Petr Hájek:
Applying Artificial Intelligence to Data Analysis.
ECAI 1982: 149-150 |
1981 |
11 | | Petr Hájek:
Making Dynamic Logic First-Order.
MFCS 1981: 287-295 |
10 | | Petr Hájek,
P. Kurka:
A second-order dynamic logic with array assignments.
Fundam. Inform. 4(4): 919-934 (1981) |
9 | | Petr Hájek:
Introduction.
International Journal of Man-Machine Studies 15(3): 251 (1981) |
8 | | Petr Hájek:
Decision Problems of Some Statistically Motivated Monadic Modal Calculi.
International Journal of Man-Machine Studies 15(3): 351-358 (1981) |
1979 |
7 | | Petr Hájek:
Arithmetical Hierarchy and Complexity of Computation.
Theor. Comput. Sci. 8: 227-237 (1979) |
1977 |
6 | | Petr Hájek:
Arithmetical Complexity of Some Problems in Computer Science.
MFCS 1977: 282-287 |
5 | | Petr Hájek,
Tomás Havránek:
On Generation of Inductive Hypotheses.
International Journal of Man-Machine Studies 9(4): 415-438 (1977) |
4 | | Petr Hájek:
Experimental Logics and pi03 Theories.
J. Symb. Log. 42(4): 515-522 (1977) |
1976 |
3 | | Petr Hájek:
Observationsfunktorenkalküle und die Logik der automatisierten Forschung.
Elektronische Informationsverarbeitung und Kybernetik 12(4/5): 181-186 (1976) |
1975 |
2 | | Petr Hájek:
On Logics of Discovery.
MFCS 1975: 30-45 |
1973 |
1 | | Petr Hájek:
Some Logical Problems of Automated Research.
MFCS 1973: 85-93 |