Working Group for Logic, Probability and Reasoning Studies
the theoretical foundations of logic and probability theory and their applications
Head: RNDr. Zuzana Haniková, Ph.D. (Institute of Computer Science, The Czech Academy of Sciences)
Working group for logic, probability and reasoning studies both the theoretical foundations of logic and probability theory and also their applications, mostly in computer science, artificial intelligence, datamining, economy and for modelling of social behaviour and human interaction.
The group organizes the regular Seminar on Applied Mathematical Logic.
(Co-) Organized events
The group has participated in the organization of the following recent events:
- Conference of the European Society for Fuzzy Logic and Technology, 2019
- Workshop on Admissibile Rules and Unification, 2019
- Pražské setkání logiků 2019
- Pražské setkání logiků 2018
- Beauty of Logic 2018
- Topology, Algebra and Categories in Logic 2017
- Summer School at Topology, Algebra and Categories in Logic 2017
Selected recent results of group members
- Multi-agent path inding on real robots. AI Communications, 2019. .
- An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner. Fundamenta Informaticae2016. .
- A minimalistic many-valued theory of types. Journal of Logic and Computation, 2017. .
- An abstract approach to consequence relations. The Review of Symbolic Logic, 2019. .
- A Henkin-style proof of completeness for first-order algebraizable logics. Journal of Symbolic Logic, 2015. .
- Optical analysis of coatings including diffractive pigments using a high-resolution gonioreflectometer. Journal of Coatings Technology and Research, 2018.
- Evaluating Physical and Rendered Material Appearance. The Visual Computer 2018. .
- Selection and correction of weighted rules based on Lukasiewicz's fuzzy logic with evaluated syntax. Kybernetika, 2017.
- On properties of a new decomposable entropy of Dempster-Shafer belief functions. International Journal of Approximate Reasoning, 2020 .
- A new definition of entropy of belief functions in the Dempster–Shafer theory. International Journal of Approximate Reasoning, 2018. .
- Adapting ontologies to best-practice artifacts using transformation patterns: Method, implementation and use cases. Journal of Web Semantics, 2016. .
- Categorization Power of Ontologies with Respect to Focus Classes. EKAW, 2016. .