dblp.uni-trier.dewww.uni-trier.de

Petr Hájek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
96EEPetr Hájek, Vladimír Olej: Municipal Creditworthiness Modelling by Kohonen's Self-organizing Feature Maps and LVQ Neural Networks. ICAISC 2008: 52-61
95EEPetr 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
94EEManuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek: Editorial. Fuzzy Sets and Systems 159(10): 1129-1130 (2008)
93EEPetr Hájek, Franco Montagna: A note on the first-order logic of complete BL-chains. Math. Log. Q. 54(4): 435-446 (2008)
92EEPetr Hájek, Radko Mesiar: On copulas, quasicopulas and fuzzy logic. Soft Comput. 12(12): 1239-1243 (2008)
91EEPetr Hájek: On arithmetical complexity of fragments of prominent fuzzy predicate logics. Soft Comput. 12(4): 335-340 (2008)
90EEPetr Hájek: Ontological Proofs of Existence and Non-Existence. Studia Logica 90(2): 257-262 (2008)
2007
89EEPetr Hájek: Mathematical Fuzzy Logic - a Survey and Some News. EUSFLAT Conf. (1) 2007: 21-21
88EEPetr 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)
87EEPetr Hájek: Mathematical Fuzzy Logic and Natural Numbers. Fundam. Inform. 81(1-3): 155-163 (2007)
86EEPetr Hájek: Complexity of fuzzy probability logics II. Fuzzy Sets and Systems 158(23): 2605-2611 (2007)
85EEVilé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)
84EEPetr Hájek: On witnessed models in fuzzy logic. Math. Log. Q. 53(1): 66-77 (2007)
83EEPetr Hájek: On witnessed models in fuzzy logic II. Math. Log. Q. 53(6): 610-615 (2007)
2006
82EEPetr Hájek: On Fuzzy Theories with Crisp Sentences. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 194-200
81EEPetr Hájek: What is mathematical fuzzy logic. Fuzzy Sets and Systems 157(5): 597-603 (2006)
80EEPetr Hájek: Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Fuzzy Sets and Systems 157(5): 677-682 (2006)
79EEPetr 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
77EEPetr Hájek: On arithmetic in the Cantor- Lukasiewicz fuzzy set theory. Arch. Math. Log. 44(6): 763-782 (2005)
76EEPetr Hájek: Making fuzzy description logic more general. Fuzzy Sets and Systems 154(1): 1-15 (2005)
75EEDidier 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)
74EEMatthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(4): 363 (2005)
73EEPetr Hájek: A non-arithmetical Gödel logic. Logic Journal of the IGPL 13(4): 435-441 (2005)
72EEMatthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(5): 491 (2005)
71EEPetr Hájek: Arithmetical complexity of fuzzy predicate logics - a survey. Soft Comput. 9(12): 935-941 (2005)
2004
70EEPetr Hájek, Jan Rauch, David Coufal, Thomas Feglar: The GUHA Method, Data Preprocessing and Mining. Database Support for Data Mining Applications 2004: 135-153
69EEPetr Hájek: A True Unprovable Formula of Fuzzy Predicate Logic. Logic versus Approximation 2004: 1-5
68EESiegfried Gottwald, Petr Hájek: Editorial. Fuzzy Sets and Systems 143(1): 1-3 (2004)
2003
67EEPetr 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
65EEPetr Hájek: Relations and GUHA-Style Data Mining II. RelMiCS 2003: 163-170
64EEPetr 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
63EELluis Godo, Petr Hájek, Francesc Esteva: A Fuzzy Modal Logic for Belief Functions. Fundam. Inform. 57(2-4): 127-146 (2003)
62EEPetr Hájek: Fuzzy Logics with Noncommutative Conjuctions. J. Log. Comput. 13(4): 469-479 (2003)
61EEFrancesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna: Hoops and Fuzzy Logic. J. Log. Comput. 13(4): 532-555 (2003)
60EEPetr Hájek: Basic fuzzy logic and BL-algebras II. Soft Comput. 7(3): 179-183 (2003)
59EEPetr 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
57EEPetr 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
51EEPetr 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)
47EEPetr Hájek, Lluis Godo, Siegfried Gottwald: Editorial. Fuzzy Sets and Systems 124(3): 269-270 (2001)
46EEPetr 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
44EEFrancesc Esteva, Lluis Godo, Petr Hájek, Mirko Navara: Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39(2): 103-124 (2000)
43EEPetr 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
35EEPetr Hájek, Martin Holena: Formal Logics of Discovery and Hypothesis Formation by Machine. Discovery Science 1998: 291-302
34EEPetr Hájek: Ten claims about fuzzy logic. Soft Comput. 2(1): 14-15 (1998)
33EEPetr 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)
30EEPetr 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
25EEPetr Hájek, Lluis Godo, Francesc Esteva: Fuzzy logic and probability. UAI 1995: 237-244
24EEPetr 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
22EEPetr 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

Coauthor Index

1Matthias Baaz [32] [49] [72] [74]
2Agata Ciabattoni [72] [74]
3Petr Cintula [88]
4David Coufal [70]
5Milan Daniel [31]
6Didier Dubois [40] [75]
7Francesc Esteva [22] [25] [44] [53] [61] [63]
8Thomas Feglar [70]
9Josep Maria Font [56]
10Dov M. Gabbay [72] [74]
11Pere Garcia [22]
12Lluis Godo [22] [25] [37] [44] [47] [53] [61] [63]
13Siegfried Gottwald [47] [68] [75] [85] [94]
14Zuzana Haniková [52]
15Dagmar Harmancová [20] [22] [24] [27] [43]
16David Harmanec [17]
17Tomás Havránek [5]
18Martin Holena [35] [58] [64]
19Rostislav Horcík [88]
20Janusz Kacprzyk [75]
21Jan Krajícek [32]
22Antonín Kucera [15]
23P. Kurka [10]
24Radko Mesiar [92]
25Franco Montagna [49] [61] [93]
26Mirko Navara [44]
27Phuong Hoang Nguyen [31]
28Vilém Novák [85]
29Manuel Ojeda-Aciego [94]
30Vladimír Olej [95] [96]
31Jeff B. Paris [30] [41] [42]
32Henri Prade [40] [75]
33Jan Rauch [39] [64] [70]
34John C. Shepherdson [41] [42] [50]
35David Svejda [32]
36Sauro Tulipani [48]
37Helmut Veith [49]
38Rineke Verbrugge (L. C. Verbrugge) [24]
39Jirí Wiedermann (Juraj Wiedermann) [28]
40Richard Zach [21]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)