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”

Filters

1 206 (0,24s)

Result

Formal logic systems for applications in computer science

The aim of this article is not to explain all the pitfalls of logic but only to provide the reader a formal logical systems that are appropriate for application in computer science. The current formal logic is able to express different deductive cour...

IN - Informatika

  • 2013
  • D
Result

Znalosti, epistemologie a epistemická logika

Epistemologie a epistemická logika.

AA - Filosofie a náboženství

  • 2003
  • D
Result

Transparent Intensional Logic in multi-agent system

This chapter deal with Transparent intensional logic as a tool in multi-agent systems used for communication.

IN - Informatika

  • 2010
  • C
Result

Observational Quantifiers for Association Rules and Fuzzy Propositional Logic Connectives

Basic themes of document: proposition fuzzy logika; observational quantifiers; association rukes...

IN - Informatika

  • 2013
  • D
Result

Two Connections between Epistemic and Fuzzy Logics

Two possible connections between epistemic and fuzzy logics are studied. Epistemic fuzzy logic as a kind of modal logic studies the reasoning of agents about fuzzy propositions; problems of such a synthesis caused by the invalidity of the axiom K are...

IN - Informatika

  • 2007
  • D
Result

Logika a etika. Úvod do metaetiky.

Annotation not available...

AA - Filosofie a náboženství

  • 1997
  • B
Result

Fuzzy logic

The paper provides a popular overview of fuzzy logic and fuzzy sets.

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

  • 2019
  • Jost
  • Link
Result

The logic for the semantic web

The main objective of this work was the creation of materials for the field of logics focusing on the semantic web based on the principles of graph knowledge representation that its visualization is easier to derive knowledge and approach these princ...

IN - Informatika

  • 2013
  • D
Result

Fuzzy Model of Water Quality Control in Reservoir , 2.-Result of Investigations

NOT available...

DA - Hydrologie a limnologie

  • 1999
  • Jx
Result

On the Correspondence between Classes of Implicational and Equivalence Quantifiers.

Hlavní témata dokumentu: data mining; fuzzy logika.

JD - Využití počítačů, robotika a její aplikace

  • 1999
  • D
  • 1 - 10 out of 1 206