- Logic programming for combinatorial problems2010 | Faculty of Mathematics and Physics
- 18th International Conference on Inductive Logic ProgrammingPublication without faculty affiliation
- The Logical and Metaphysical Structure of a Common Nature2010 | Publication without faculty affiliation
- Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem2010 | Faculty of Mathematics and Physics
- Logical and philosophical riddles of Raymond Smullyan2009 | Publication without faculty affiliation
- Constraint Models for Reasoning on Unification in Inductive Logic Programming2010 | Faculty of Mathematics and Physics
- Fuzzy Inductive Logic Programming2006 | Faculty of Mathematics and Physics
- Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming2010 | Faculty of Mathematics and Physics
- Logical argumentation among agents2009 | Faculty of Arts
- Models of logical prediction in schizophrenia2005 | Third Faculty of Medicine
- Logic function2006 | Faculty of Education
- Logical Rules and the a priori: Good and Bad Questions2007 | Faculty of Arts
- Logical argumentation among agents2009 | Faculty of Physical Education and Sport
- Advancement of logical thinking1998 | Faculty of Education
- The binding effect of legal texts in judicial interpretation and application of law and logical reasoning lege artis2010 | Faculty of Law
- Fuzzy Logic Aggregation for Semantic Web Search for the Best Answer2006 | Faculty of Mathematics and Physics
- Proverbs: Linguistic and Lexicographic Approaches versus Etnographic, Logical, Onomasiological and Other2008 | Faculty of Arts
- Úvaha o nesmrtelnosti2007 | Publication without faculty affiliation
- Paralelní verze testu Logické paměti - Povídky2017 | Central Library of Charles University
- International Code of Zoological Nomenclature2003 | Faculty of Science
- International Code of Zoological Nomenclature2003 | First Faculty of Medicine, Faculty of Mathematics and Physics
- Combinatorics in Logic Programming: Implementations and Applications2006 | Faculty of Mathematics and Physics
- Considerations about Frege's logico.philosophical work2003 | Publication without faculty affiliation
- Logical twists and turns of Czech law of legal persons2021 | Faculty of Law
- Logical conception of science in the Heidegger's early paper Der Zeitbegriff in der Geschichtswissenschaft2005 | Publication without faculty affiliation
- The medical documentation - nursing care documentation logically, practically2019 | Central Library of Charles University
- General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus2005 | Faculty of Arts
- Obstetric lability and complications2002 | Publication without faculty affiliation
- Questions and Logical Analysis of Natural Language: the Case of Transparent Intensional Logic2005 | Faculty of Arts
- Knowledge interpretation in substructural frames2013 | Faculty of Arts