Petr Hájek

	2011
118		Vladimír Olej, Petr Hájek: Comparison of Fuzzy Operators for IF-Inference Systems of Takagi-Sugeno Type in Ozone Prediction. EANN/AIAI (2) 2011: 92-97
117		Petr Hájek: Deductive Systems of Fuzzy Logic. Proof, Computation and Agency 2011: 67-78
116		Petr Hájek: Municipal credit rating modelling by neural networks. Decision Support Systems 51(1): 108-118 (2011)
115		Petr Hájek: Comments on Interpretability and Decidability in Fuzzy Logic. J. Log. Comput. 21(5): 823-828 (2011)
114		Petr Hájek: Towards metamathematics of weak arithmetics over fuzzy logic. Logic Journal of the IGPL 19(3): 467-475 (2011)
113		Petr Hájek, Vladimír Olej: Credit rating modelling by kernel-based approaches with supervised and semi-supervised learning. Neural Computing and Applications 20(6): 761-773 (2011)
	2010
112		Vladimír Olej, Petr Hájek: IF-Inference Systems Design for Prediction of Ozone Time Series: The Case of Pardubice Micro-region. ICANN (1) 2010: 1-11
111		Petr Hájek: Probabilistic Neural Networks for Credit Rating Modelling. IJCCI (ICFC-ICNC) 2010: 289-294
110		Petr Hájek: Logics for Data Mining. Data Mining and Knowledge Discovery Handbook 2010: 541-551
109		Petr Hájek: On fuzzy modal logics S5(L). Fuzzy Sets and Systems 161(18): 2389-2396 (2010)
108		Siegfried Gottwald, Petr Hájek, Ulrich Höhle, Erich-Peter Klement: Editorial. Fuzzy Sets and Systems 161(3): 299-300 (2010)
107		Petr Cintula, Petr Hájek: Triangular norm based predicate fuzzy logics. Fuzzy Sets and Systems 161(3): 311-346 (2010)
106		Petr Hájek, Martin Holena, Jan Rauch: The GUHA method and its meaning for data mining. J. Comput. Syst. Sci. 76(1): 34-48 (2010)
105		Petr Hájek: On White's Expansion of Lukasiewicz Logic. J. Log. Comput. 20(2): 389-397 (2010)
104		Petr Hájek: On witnessed models in fuzzy logic III - witnessed Gödel logics. Math. Log. Q. 56(2): 171-174 (2010)
	2009
103		Vladimír Olej, Petr Hájek: Municipal Creditworthiness Modelling by Radial Basis Function Neural Networks and Sensitive Analysis of Their Input Parameters. ICANN (2) 2009: 505-514
102		Petr Hájek: Arithmetical complexity of fuzzy predicate logics - A survey II. Ann. Pure Appl. Logic 161(2): 212-219 (2009)
101		Petr Cintula, Petr Hájek: Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. J. Log. Comput. 19(2): 245-260 (2009)
100		Petr Hájek: On Vagueness, Truth Values and Fuzzy Logics. Studia Logica 91(3): 367-382 (2009)
	2008
99		Petr Hájek, Vladimír Olej: Municipal Creditworthiness Modelling by Kohonen's Self-organizing Feature Maps and LVQ Neural Networks. ICAISC 2008: 52-61
98		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
97		Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek: Editorial. Fuzzy Sets and Systems 159(10): 1129-1130 (2008)
96		Petr Hájek, Franco Montagna: A note on the first-order logic of complete BL-chains. Math. Log. Q. 54(4): 435-446 (2008)
95		Petr Hájek, Radko Mesiar: On copulas, quasicopulas and fuzzy logic. Soft Comput. 12(12): 1239-1243 (2008)
94		Petr Hájek: On arithmetical complexity of fragments of prominent fuzzy predicate logics. Soft Comput. 12(4): 335-340 (2008)
93		Petr Hájek: Ontological Proofs of Existence and Non-Existence. Studia Logica 90(2): 257-262 (2008)
	2007
92		Petr Hájek: Mathematical Fuzzy Logic - a Survey and Some News. EUSFLAT Conf. (1) 2007: 21-21
91		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)
90		Petr Hájek: Mathematical Fuzzy Logic and Natural Numbers. Fundam. Inform. 81(1-3): 155-163 (2007)
89		Petr Hájek: Complexity of fuzzy probability logics II. Fuzzy Sets and Systems 158(23): 2605-2611 (2007)
88		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)
87		Petr Hájek: On witnessed models in fuzzy logic. Math. Log. Q. 53(1): 66-77 (2007)
86		Petr Hájek: On witnessed models in fuzzy logic II. Math. Log. Q. 53(6): 610-615 (2007)
	2006
85		Petr Hájek: On Fuzzy Theories with Crisp Sentences. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 194-200
84		Petr Hájek: What is mathematical fuzzy logic. Fuzzy Sets and Systems 157(5): 597-603 (2006)
83		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)
82		Petr Cintula, Petr Hájek: On theories and models in fuzzy predicate logics. J. Symb. Log. 71(3): 863-880 (2006)
81		Petr Hájek: Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa. Studia Logica 84(1): 51-62 (2006)
	2005
80		Petr Hájek: Logics for Data Mining. The Data Mining and Knowledge Discovery Handbook 2005: 589-602
79		Petr Hájek: On arithmetic in the Cantor- Lukasiewicz fuzzy set theory. Arch. Math. Log. 44(6): 763-782 (2005)
78		Petr Hájek: Making fuzzy description logic more general. Fuzzy Sets and Systems 154(1): 1-15 (2005)
77		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)
76		Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(4): 363 (2005)
75		Petr Hájek: A non-arithmetical Gödel logic. Logic Journal of the IGPL 13(4): 435-441 (2005)
74		Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(5): 491 (2005)
73		Petr Hájek: Arithmetical complexity of fuzzy predicate logics - a survey. Soft Comput. 9(12): 935-941 (2005)
	2004
72		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
71		Petr Hájek: A True Unprovable Formula of Fuzzy Predicate Logic. Logic versus Approximation 2004: 1-5
70		Siegfried Gottwald, Petr Hájek: Editorial. Fuzzy Sets and Systems 143(1): 1-3 (2004)
	2003
69		Petr Hájek: Fleas and fuzzy logic: a survey. EUSFLAT Conf. 2003: 599-603
68		Petr Hájek: On generalized quantifiers, finite sets and data mining. IIS 2003: 489-496
67		Petr Hájek: Relations and GUHA-Style Data Mining II. RelMiCS 2003: 163-170
66		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
65		Lluis Godo, Petr Hájek, Francesc Esteva: A Fuzzy Modal Logic for Belief Functions. Fundam. Inform. 57(2-4): 127-146 (2003)
64		Petr Hájek: Fuzzy Logics with Noncommutative Conjuctions. J. Log. Comput. 13(4): 469-479 (2003)
63		Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna: Hoops and Fuzzy Logic. J. Log. Comput. 13(4): 532-555 (2003)
62		Petr Hájek: Basic fuzzy logic and BL-algebras II. Soft Comput. 7(3): 179-183 (2003)
61		Petr Hájek: Observations on non-commutative fuzzy logic. Soft Comput. 8(1): 38-43 (2003)
60		Petr Hájek, Martin Holena: Formal logics of discovery and hypothesis formation by machine. Theor. Comput. Sci. 292(2): 345-357 (2003)
	2002
59		Petr Hájek: Observations on the monoidal t-norm logic. Fuzzy Sets and Systems 132(1): 107-112 (2002)
58		Josep Maria Font, Petr Hájek: On Lukasiewicz's Four-Valued Modal Logic. Studia Logica 70(2): 157-182 (2002)
57		Petr Hájek: A New Small Emendation of Gödel's Ontological Proof. Studia Logica 71(2): 149-164 (2002)
56		Petr Hájek: Monadic Fuzzy Predicate Logics. Studia Logica 71(2): 165-175 (2002)
	2001
55		Lluis Godo, Petr Hájek, Francesc Esteva: A Fuzzy Modal Logic for Belief Functions. IJCAI 2001: 723-732
54		Petr Hájek, Zuzana Haniková: A Set Theory within Fuzzy Logic. ISMVL 2001: 319-323
53		Petr Hájek: Relations in GUHA Style Data Mining. RelMiCS 2001: 81-87
52		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)
51		Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith: Complexity of t-tautologies. Ann. Pure Appl. Logic 113(1-3): 3-11 (2001)
50		Petr Hájek, Sauro Tulipani: Complexity of Fuzzy Probability Logics. Fundam. Inform. 45(3): 207-213 (2001)
49		Petr Hájek, Lluis Godo, Siegfried Gottwald: Editorial. Fuzzy Sets and Systems 124(3): 269-270 (2001)
48		Petr Hájek: On very true. Fuzzy Sets and Systems 124(3): 329-333 (2001)
47		Petr Hájek: Fuzzy Logic and Arithmetical Hierarchy III. Studia Logica 68(1): 129-142 (2001)
	2000
46		Francesc Esteva, Lluis Godo, Petr Hájek, Mirko Navara: Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39(2): 103-124 (2000)
45		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)
44		Petr Hájek, Jeff B. Paris, John C. Shepherdson: The Liar Paradox and Fuzzy Logic. J. Symb. Log. 65(1): 339-346 (2000)
43		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)
42		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
41		Petr Hájek, Jan Rauch: Logics and Statistics for Association Rules and Beyond Abstract of Tutorial. PKDD 1999: 586-587
40		Petr Hájek: Ten Questions and One Problem on Fuzzy Logic. Ann. Pure Appl. Logic 96(1-3): 157-165 (1999)
39		Lluis Godo, Petr Hájek: Fuzzy inference as deduction. Journal of Applied Non-Classical Logics 9(1): (1999)
	1998
38		Petr Hájek: Trakhtenbrot Theorem and Fuzzy Logic. CSL 1998: 1-8
37		Petr Hájek, Martin Holena: Formal Logics of Discovery and Hypothesis Formation by Machine. Discovery Science 1998: 291-302
36		Petr Hájek: Ten claims about fuzzy logic. Soft Comput. 2(1): 14-15 (1998)
35		Petr Hájek: Basic fuzzy logic and BL-algebras. Soft Comput. 2(3): 124-128 (1998)
34		Matthias Baaz, Petr Hájek, David Svejda, Jan Krajícek: Embedding Logics into Product Logic. Studia Logica 61(1): 35-47 (1998)
	1997
33		Milan Daniel, Petr Hájek, Phuong Hoang Nguyen: CADIAG-2 and MYCIN-like systems. Artificial Intelligence in Medicine 9(3): 241-259 (1997)
32		Petr Hájek, Jeff B. Paris: A dialogue on fuzzy logic. Soft Comput. 1(1): 3-5 (1997)
31		Petr Hájek: Fuzzy Logic and Arithmetical Hierarchy, II. Studia Logica 58(1): 129-141 (1997)
	1995
30		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
29		Petr Hájek, Dagmar Harmancová: Medical Fuzz;y Expert Systems and Reasoning about Beliefs. AIME 1995: 403-404
28		Petr Hájek: Fuzzy Logic From The Logical Point of View. SOFSEM 1995: 31-49
27		Petr Hájek, Lluis Godo, Francesc Esteva: Fuzzy logic and probability. UAI 1995: 237-244
26		Petr Hájek, Dagmar Harmancová, Rineke Verbrugge: A qualitative fuzzy possibilistic logic. Int. J. Approx. Reasoning 12(1): 1-19 (1995)
	1994
25		Petr Hájek: Possibilistic Logic as Interpretability Logic. IPMU 1994: 273-280
24		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
23		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
22		Petr Hájek, Dagmar Harmancová: A Comparative Fuzzy Modal Logic. FLAI 1993: 27-34
21		Petr Hájek: Epistemic Entrenchment and Arthmetical Hierarchy (Abstract). Kurt Gödel Colloquium 1993: 41-42
20		Petr Hájek: Epistemic Entrenchment and Arithmetical Hierarchy. Artif. Intell. 62(1): 79-87 (1993)
	1992
19		Petr Hájek, Tomás Havránek, Radim Jirousek: Uncertain information processing in expert systems. CRC Press 1992: I-XIII, 1-285
18		Petr Hájek, David Harmanec: On Belief Functions. Advanced Topics in Artificial Intelligence 1992: 286-307
17		Petr Hájek: On Logics of Approximate Reasoning. Logic at Work 1992: 17-29
	1989
16		Petr Hájek, Antonín Kucera: On Recursion Theory in I Sigma1. J. Symb. Log. 54(2): 576-589 (1989)
	1985
15		Petr Hájek: Combining Functions for Certainty Degrees in Consulting Systems. International Journal of Man-Machine Studies 22(1): 59-76 (1985)
	1983
14		Petr Hájek: Arithmetical Interpretations of Dynamic Logic. J. Symb. Log. 48(3): 704-713 (1983)
	1982
13		Petr Hájek: Applying Artificial Intelligence to Data Analysis. ECAI 1982: 149-150
	1981
12		Petr Hájek: Making Dynamic Logic First-Order. MFCS 1981: 287-295
11		Petr Hájek, P. Kurka: A second-order dynamic logic with array assignments. Fundam. Inform. 4(4): 919-934 (1981)
10		Petr Hájek: Introduction. International Journal of Man-Machine Studies 15(3): 251 (1981)
9		Petr Hájek: Decision Problems of Some Statistically Motivated Monadic Modal Calculi. International Journal of Man-Machine Studies 15(3): 351-358 (1981)
	1979
8		Petr Hájek: Arithmetical Hierarchy and Complexity of Computation. Theor. Comput. Sci. 8: 227-237 (1979)
	1977
7		Petr Hájek: Arithmetical Complexity of Some Problems in Computer Science. MFCS 1977: 282-287
6		Petr Hájek, Tomás Havránek: On Generation of Inductive Hypotheses. International Journal of Man-Machine Studies 9(4): 415-438 (1977)
5		Petr Hájek: Experimental Logics and pi03 Theories. J. Symb. Log. 42(4): 515-522 (1977)
	1976
4		Petr Hájek: Observationsfunktorenkalküle und die Logik der automatisierten Forschung. Elektronische Informationsverarbeitung und Kybernetik 12(4/5): 181-186 (1976)
	1975
3		Petr Hájek: On Logics of Discovery. MFCS 1975: 30-45
	1973
2		Petr Hájek: Some Logical Problems of Automated Research. MFCS 1973: 85-93
	1966
1		Petr Hájek, I. Havel, Michal Chytil: The GUHA method of automatic hypotheses determination. Computing 1(4): 293-308 (1966)

Coauthor Index

1	Matthias Baaz	[34] [51] [74] [76]
2	Michal Chytil	[1]
3	Agata Ciabattoni	[74] [76]
4	Petr Cintula	[82] [91] [101] [107]
5	David Coufal	[72]
6	Milan Daniel	[33]
7	Didier Dubois	[42] [77]
8	Francesc Esteva	[24] [27] [46] [55] [63] [65]
9	Thomas Feglar	[72]
10	Josep Maria Font	[58]
11	Dov M. Gabbay	[74] [76]
12	Pere Garcia	[24]
13	Lluis Godo	[24] [27] [39] [46] [49] [55] [63] [65]
14	Siegfried Gottwald	[49] [70] [77] [88] [97] [108]
15	Zuzana Haniková	[54]
16	Dagmar Harmancová	[22] [24] [26] [29] [45]
17	David Harmanec	[18]
18	I. Havel	[1]
19	Tomás Havránek	[6] [19]
20	Ulrich Höhle	[108]
21	Martin Holena	[37] [60] [66] [106]
22	Rostislav Horcík	[91]
23	Radim Jirousek	[19]
24	Janusz Kacprzyk	[77]
25	Erich-Peter Klement	[108]
26	Jan Krajícek	[34]
27	Antonín Kucera	[16]
28	P. Kurka	[11]
29	Radko Mesiar	[95]
30	Franco Montagna	[51] [63] [96]
31	Mirko Navara	[46]
32	Phuong Hoang Nguyen	[33]
33	Vilém Novák	[88]
34	Manuel Ojeda-Aciego	[97]
35	Vladimír Olej	[98] [99] [103] [112] [113] [118]
36	Jeff B. Paris	[32] [43] [44]
37	Henri Prade	[42] [77]
38	Jan Rauch	[41] [66] [72] [106]
39	John C. Shepherdson	[43] [44] [52]
40	David Svejda	[34]
41	Sauro Tulipani	[50]
42	Helmut Veith	[51]
43	Rineke Verbrugge (L. C. Verbrugge)	[26]
44	Jirí Wiedermann (Juraj Wiedermann)	[30]
45	Richard Zach	[23]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page