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 |