All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

140 871 (0,279s) •

Result

On a Graded Modal Logic Approach to Reason with Fuzzy Preferences

then semantically define and axiomatize a two-tiered graded modal logic to reason about a notion of fuzzy preferences.In this paper we first consider the problem of extending a fuzzy preference relation o...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2017
    • •
  • D
    • •
  • Link
Result

On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences

and define a logic to reason about fuzzy preferences, generalising to the many-valued case a basic preference modal logic considered by van Benthem et al....

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018
    • •
  • D
    • •
  • Link
Result

Axiomatizing logics of fuzzy preferences using graded modalities

reasoning with both graded preferences and propositions, in the style of van Benthem et al.'s classical modal logics for preferences. To do so, we start from Bou et al), and prove completeness with respect to the ...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020
    • •
  • Jimp
    • •
  • Link
Result

Decidability and Complexity of Some Finitely-valued Dynamic Logics

be applied in formalizing reasoning about actions specified by graded predicates, reasoning about costs of actions, and as a framework for certain graded description reasoning about<...

Pure mathematics

  • 2021
    • •
  • D
    • •
  • Link
Result

Fuzzy inequational logic

We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic. Furthermore, we present a logic for reasoning

IN - Informatika

  • 2015
    • •
  • Jx
    • •
  • Link
Result

Non-monotonic Reasoning with Various Kinds of Preferences in the Relational Data Model Framework

of preference and discusses their applicability in the frame of the relational data model. Namely, non-monotonic reasoning mechanisms with various kinds of preferences is presented. These mechanisms enable to reason

IN - Informatika

  • 2007
    • •
  • D
Result

A Modal Account of Preference in a Fuzzy Setting

then semantically define and axiomatize several two-tiered graded modal logics to reason about the corresponding different notions of fuzzy preferences. This paper is our humble contribution) preference r...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018
    • •
  • C
    • •
  • Link
Result

The school questionnaire research about addictive substances, another forms of risky behaviour and a pilot study about abusing of volatile substances at primary schools for children with special

The aim of this study is to get an overview about interests of the target group and above all we emphasised the tendencies to risky behaviour and preferences in leisure time activities. This research was realised primary schools and...

AN - Psychologie

  • 2010
    • •
  • Vsouhrn
Result

The Relationship between Law and Economics : Difference and Concord in Reasoning

) and economic (policy analysis) reasoning about legal rules, institutes, and systems. The first difference consists in the prevalent direction of reasoning between more and less general, whereby legal reasoning is...

AG - Právní vědy

  • 2015
    • •
  • Jx
    • •
  • Link
Result

A Logical Framework for Graded Predicates

of reasoning with graded predicates.In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss math...

Pure mathematics

  • 2017
    • •
  • D
    • •
  • Link
  • 1 - 10 out of 140 871