Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Marie Duží"'
Autor:
Marie Duží
Publikováno v:
Organon F, Vol 31, Iss 4, Pp 432-433 (2024)
Externí odkaz:
https://doaj.org/article/16ffec7739144ea5b63390520ed8f110
Autor:
Marie Duží
Publikováno v:
Organon F, Vol 30, Iss 1, Pp 66-101 (2023)
The behaviour of a multi-agent system is driven by messaging. Usually, there is no central dispatcher and each autonomous agent, though resource-bounded, can make less or more rational decisions to meet its own and collective goals. To this end, howe
Externí odkaz:
https://doaj.org/article/373afca3b96945eb8f58abbaa580cb09
Autor:
Martina Číhalová, Marie Duží
Publikováno v:
Logic Journal of the IGPL. 31:140-171
In a multiagent and multi-cultural world, the fine-grained analysis of agents’ dynamic behaviour, i.e. of their activities, is essential. Dynamic activities are actions that are characterized by an agent who executes the action and by other partici
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::56c15a79555a282190020bd6db2f05c7
https://doi.org/10.1093/jigpal/jzab034
https://doi.org/10.1093/jigpal/jzab034
Autor:
Michal Fait, Marie Duží
Publikováno v:
Studies in Computational Intelligence ISBN: 9783030637866
The paper deals with natural language processing and question answering over large corpora of formalised natural language texts. Our background theory is the system of Transparent Intensional Logic (TIL) which is a partial, hyperintensional, typed \(
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::888f5ec6e2067a76e331a6c39fce1ea8
https://doi.org/10.1007/978-3-030-63787-3_3
https://doi.org/10.1007/978-3-030-63787-3_3
Publikováno v:
Logic in High Definition ISBN: 9783030534868
We talk about ‘impossible objects’ in many areas, ranging from empirical and non-empirical theories to the realm of fiction, myth and folklore: a mathematical pendulum, a perfect market, the set of all sets that are not members of themselves, Kaf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b20ee2036e08ba6a4e8b2225bdf35c3c
https://doi.org/10.1007/978-3-030-53487-5_9
https://doi.org/10.1007/978-3-030-53487-5_9
Autor:
Marek Mensík, Marie Duží
In this paper, we introduce the system for inferring implicit computable knowledge from textual data by natural deduction. Our background system is Transparent Intensional Logic (TIL) with its procedural semantics that assigns abstract procedures kno
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::669ed62551d22a34a64dcbda0519612f
http://hdl.handle.net/10084/139471
http://hdl.handle.net/10084/139471
Autor:
Marie Duží
Publikováno v:
Synthese. 196:1249-1283
This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::891afdea3985d7f5301e34b5a55d5693
https://doi.org/10.1007/s11229-017-1595-5
https://doi.org/10.1007/s11229-017-1595-5
Publikováno v:
Computación y Sistemas. 23
DOI nefunkční (25.11.2019) In this paper we deal with machine learning methods and algorithms applied in learning simple concepts by their refining or explication. The method of refining a simple concept of an object O consists in discovering a mol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0fca9f0511ef4d25739221ca8b644389
https://doi.org/10.13053/cys-23-3-3242
https://doi.org/10.13053/cys-23-3-3242
Autor:
Marie Duží, Aleš Horák
The success of automated reasoning techniques over large natural-language texts heavily relies on a fine-grained analysis of natural language assumptions. While there is a common agreement that the analysis should be hyperintensional, most of the aut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93967f936ebb021d034099b63561e9a5
http://arxiv.org/abs/1906.07562
http://arxiv.org/abs/1906.07562
Autor:
Marie Duží, Michal Fait
Publikováno v:
Lecture Notes in Electrical Engineering ISBN: 9783030149062
In this paper, we deal with Leibniz’s rule of substitution of identicals, and describe how the rule can be applied in the TIL-Script language. The main goal is to introduce the algorithm of valid application of the substitution rules in all the thr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a362b9963ee8b9701aa269547f7dfc9c
https://doi.org/10.1007/978-3-030-14907-9_6
https://doi.org/10.1007/978-3-030-14907-9_6