The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Petr Hájek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  80. Municipal Creditworthiness Modelling by Kohonen's Self-organizing Feature Maps and LVQ Neural Networks. [Citation Graph (, )][DBLP]


  81. Municipal Creditworthiness Modelling by Kohonen's Self-Organizing Feature Maps and Fuzzy Logic Neural Networks. [Citation Graph (, )][DBLP]


  82. Municipal Creditworthiness Modelling by Radial Basis Function Neural Networks and Sensitive Analysis of Their Input Parameters. [Citation Graph (, )][DBLP]


  83. IF-Inference Systems Design for Prediction of Ozone Time Series: The Case of Pardubice Micro-region. [Citation Graph (, )][DBLP]


  84. Mathematical Fuzzy Logic - a Survey and Some News. [Citation Graph (, )][DBLP]


  85. Fleas and fuzzy logic: a survey. [Citation Graph (, )][DBLP]


  86. Residuated fuzzy logics with an involutive negation. [Citation Graph (, )][DBLP]


  87. Formal systems of fuzzy logic and their fragments. [Citation Graph (, )][DBLP]


  88. Arithmetical complexity of fuzzy predicate logics - A survey II. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002