| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Petr Hájek |
Municipal credit rating modelling by neural networks.  |
Decision Support Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Towards metamathematics of weak arithmetics over fuzzy logic. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Vladimír Olej |
Credit rating modelling by kernel-based approaches with supervised and semi-supervised learning. |
Neural Computing and Applications |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Comments on Interpretability and Decidability in Fuzzy Logic. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Deductive Systems of Fuzzy Logic. |
Proof, Computation and Agency |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimír Olej, Petr Hájek |
Comparison of Fuzzy Operators for IF-Inference Systems of Takagi-Sugeno Type in Ozone Prediction. |
EANN/AIAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
On witnessed models in fuzzy logic III - witnessed Gödel logics. |
Math. Log. Q. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
On White's Expansion of Lukasiewicz Logic. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Cintula, Petr Hájek |
Triangular norm based predicate fuzzy logics. |
Fuzzy Sets and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried Gottwald, Petr Hájek, Ulrich Höhle, Erich-Peter Klement |
Editorial. |
Fuzzy Sets and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
On fuzzy modal logics S5(L). |
Fuzzy Sets and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Martin Holena, Jan Rauch |
The GUHA method and its meaning for data mining. |
J. Comput. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Logics for Data Mining. |
Data Mining and Knowledge Discovery Handbook |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimír Olej, Petr Hájek |
IF-Inference Systems Design for Prediction of Ozone Time Series: The Case of Pardubice Micro-region. |
ICANN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Probabilistic Neural Networks for Credit Rating Modelling. |
IJCCI (ICFC-ICNC) |
2010 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
On Vagueness, Truth Values and Fuzzy Logics. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
fuzzy logics, vagueness, truth values |
| 1 | Petr Cintula, Petr Hájek |
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Arithmetical complexity of fuzzy predicate logics - A survey II. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimír Olej, Petr Hájek |
Municipal Creditworthiness Modelling by Radial Basis Function Neural Networks and Sensitive Analysis of Their Input Parameters. |
ICANN |
2009 |
DBLP DOI BibTeX RDF |
Municipal creditworthiness, multinomial regression, classification, sensitive analysis, radial basis functions neural network |
| 1 | Petr Hájek, Franco Montagna |
A note on the first-order logic of complete BL-chains. |
Math. Log. Q. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Radko Mesiar |
On copulas, quasicopulas and fuzzy logic. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
On arithmetical complexity of fragments of prominent fuzzy predicate logics. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Ontological Proofs of Existence and Non-Existence. |
Studia Logica |
2008 |
DBLP DOI BibTeX RDF |
ontological proofs, non-existence, Gödel, Caramuel, existence |
| 1 | Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek |
Editorial. |
Fuzzy Sets and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Vladimír Olej |
Municipal Creditworthiness Modelling by Kohonen's Self-Organizing Feature Maps and Fuzzy Logic Neural Networks. |
ICANN |
2008 |
DBLP DOI BibTeX RDF |
Municipal creditworthiness, Kohonen’s self-organizing feature maps, fuzzy logic neural networks, classification |
| 1 | Petr Hájek, Vladimír Olej |
Municipal Creditworthiness Modelling by Kohonen's Self-organizing Feature Maps and LVQ Neural Networks. |
ICAISC |
2008 |
DBLP DOI BibTeX RDF |
Municipal creditworthiness parameters, Kohonen’s Self-organizing Feature Maps, Learning Vector Quantization neural networks, classification |
| 1 | Petr Hájek |
On witnessed models in fuzzy logic. |
Math. Log. Q. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
On witnessed models in fuzzy logic II. |
Math. Log. Q. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Cintula, Petr Hájek, Rostislav Horcík |
Formal systems of fuzzy logic and their fragments. |
Ann. Pure Appl. Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Mathematical Fuzzy Logic and Natural Numbers. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Complexity of fuzzy probability logics II. |
Fuzzy Sets and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Mathematical Fuzzy Logic - a Survey and Some News. |
EUSFLAT Conf. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa. |
Studia Logica |
2006 |
DBLP DOI BibTeX RDF |
Mostowski, Rasiowa, fuzzy logic, many-valued logic |
| 1 | Petr Cintula, Petr Hájek |
On theories and models in fuzzy predicate logics. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. |
Fuzzy Sets and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
What is mathematical fuzzy logic. |
Fuzzy Sets and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
On Fuzzy Theories with Crisp Sentences. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Arithmetical complexity of fuzzy predicate logics - a survey. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek |
Editorial. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
A non-arithmetical Gödel logic. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek |
Editorial. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Making fuzzy description logic more general. |
Fuzzy Sets and Systems |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
On arithmetic in the Cantor- Lukasiewicz fuzzy set theory. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
x141, ukasiewicz logic, Fuzzy set theory, Contradiction |
| 1 | Petr Hájek |
Logics for Data Mining. |
The Data Mining and Knowledge Discovery Handbook |
2005 |
DBLP BibTeX RDF |
|
| 1 | Siegfried Gottwald, Petr Hájek |
Editorial. |
Fuzzy Sets and Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Jan Rauch, David Coufal, Thomas Feglar |
The GUHA Method, Data Preprocessing and Mining. |
Database Support for Data Mining Applications |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
A True Unprovable Formula of Fuzzy Predicate Logic. |
Logic versus Approximation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Martin Holena |
Formal logics of discovery and hypothesis formation by machine. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Observations on non-commutative fuzzy logic. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Basic fuzzy logic and BL-algebras II. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna |
Hoops and Fuzzy Logic. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Fuzzy Logics with Noncommutative Conjuctions. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lluis Godo, Petr Hájek, Francesc Esteva |
A Fuzzy Modal Logic for Belief Functions. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
Relations and GUHA-Style Data Mining II. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Fleas and fuzzy logic: a survey. |
EUSFLAT Conf. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
On generalized quantifiers, finite sets and data mining. |
IIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
A New Small Emendation of Gödel's Ontological Proof. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Monadic Fuzzy Predicate Logics. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Maria Font, Petr Hájek |
On Lukasiewicz's Four-Valued Modal Logic. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Observations on the monoidal t-norm logic. |
Fuzzy Sets and Systems |
2002 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
Fuzzy Logic and Arithmetical Hierarchy III. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith |
Complexity of t-tautologies. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, John C. Shepherdson |
A note on the notion of truth in fuzzy logic. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Sauro Tulipani |
Complexity of Fuzzy Probability Logics. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek, Lluis Godo, Siegfried Gottwald |
Editorial. |
Fuzzy Sets and Systems |
2001 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
On very true. |
Fuzzy Sets and Systems |
2001 |
DBLP BibTeX RDF |
|
| 1 | Lluis Godo, Petr Hájek, Francesc Esteva |
A Fuzzy Modal Logic for Belief Functions. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek, Zuzana Haniková |
A Set Theory within Fuzzy Logic. |
ISMVL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
Relations in GUHA Style Data Mining. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Jeff B. Paris, John C. Shepherdson |
The Liar Paradox and Fuzzy Logic. |
J. Symb. Log. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek, Jeff B. Paris, John C. Shepherdson |
Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic. |
J. Symb. Log. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek, Dagmar Harmancová |
A Hedge for Gödel Fuzzy Logic. |
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Dubois, Petr Hájek, Henri Prade |
Knowledge-Driven versus Data-Driven Logics. |
Journal of Logic, Language and Information |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesc Esteva, Lluis Godo, Petr Hájek, Mirko Navara |
Residuated fuzzy logics with an involutive negation. |
Arch. Math. Log. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lluis Godo, Petr Hájek |
Fuzzy inference as deduction. |
Journal of Applied Non-Classical Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
Ten Questions and One Problem on Fuzzy Logic. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Jan Rauch |
Logics and Statistics for Association Rules and Beyond Abstract of Tutorial. |
PKDD |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Basic fuzzy logic and BL-algebras. |
Soft Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Ten claims about fuzzy logic. |
Soft Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Petr Hájek, David Svejda, Jan Krajícek |
Embedding Logics into Product Logic. |
Studia Logica |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Trakhtenbrot Theorem and Fuzzy Logic. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Martin Holena |
Formal Logics of Discovery and Hypothesis Formation by Machine. |
Discovery Science |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Daniel, Petr Hájek, Phuong Hoang Nguyen |
CADIAG-2 and MYCIN-like systems. |
Artificial Intelligence in Medicine |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Jeff B. Paris |
A dialogue on fuzzy logic. |
Soft Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Fuzzy Logic and Arithmetical Hierarchy, II. |
Studia Logica |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Dagmar Harmancová, Rineke Verbrugge |
A qualitative fuzzy possibilistic logic. |
Int. J. Approx. Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Wiedermann, Petr Hájek (eds.) |
Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings |
MFCS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek, Lluis Godo, Francesc Esteva |
Fuzzy logic and probability. |
UAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek, Dagmar Harmancová |
Medical Fuzz;y Expert Systems and Reasoning about Beliefs. |
AIME |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Fuzzy Logic From The Logical Point of View. |
SOFSEM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Richard Zach |
Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations. |
Journal of Applied Non-Classical Logics |
1994 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluis Godo |
On Modal Logics for Qualitative Possibility in a Fuzzy Setting. |
UAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Petr Hájek |
Possibilistic Logic as Interpretability Logic. |
IPMU |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Epistemic Entrenchment and Arithmetical Hierarchy. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Dagmar Harmancová |
A Comparative Fuzzy Modal Logic. |
FLAI |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Epistemic Entrenchment and Arthmetical Hierarchy (Abstract). |
Kurt Gödel Colloquium |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Tomás Havránek, Radim Jirousek |
Uncertain information processing in expert systems. |
|
1992 |
RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")