Výsledky vyhledávání
- 1.0460115 - ÚI 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Baldi, Paolo - Ciabattoni, A.
Standard Completeness for Uninorm-Based Logics.
ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic. Los Alamitos: IEEE Computer Society, 2015, s. 78-83. ISBN 978-147991777-8. ISSN 2378-2226.
[ISMVL 2015. IEEE International Symposium on Multiple-Valued Logic /45./. Waterloo (CA), 18.05.2015-20.05.2015]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: density elimination * standard completeness * uninorm logic * hypersequent
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0260250Název souboru Staženo Velikost Komentář Verze Přístup a0460115.pdf 4 267.6 KB Vydavatelský postprint vyžádat - 2.0439788 - ÚI 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Suzuki, Tomoyuki
On Polarity Frames: Applications to Substructural and Lattice-Based Logics.
Advances in Modal Logic. London: College Publications, 2014 - (Goré, T.; Kooi, B.; Kurucz, A.), s. 533-552. 10. ISBN 978-1-84890-151-3.
[Advances in Modal Logic. Groningen (NL), 05.08.2014-08.08.2014]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: relational semantics * substructural and lattice-based logics * lattice expansions * topological characterisation * Goldblatt-Thomason's theorem * amalgamation property
Kód oboru RIV: BA - Obecná matematika
http://www.aiml.net/volumes/volume10/Suzuki.pdf
Trvalý link: http://hdl.handle.net/11104/0242979Název souboru Staženo Velikost Komentář Verze Přístup a0439788.pdf 1 388 KB Vydavatelský postprint vyžádat - 3.0436118 - ÚI 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Přenosil, Adam
A Duality for Distributive Unimodal Logic.
Advances in Modal Logic. London: College Publications, 2014 - (Goré, T.; Kooi, B.; Kurucz, A.), s. 423-438. 10. ISBN 978-1-84890-151-3.
[Advances in Modal Logic. Groningen (NL), 05.08.2014-08.08.2014]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: modal logic * distributive modal logic * intuitionistic modal logic * positive modal logic * bi-intuitionistic modal logic * duality theory
Kód oboru RIV: BA - Obecná matematika
http://www.aiml.net/volumes/volume10/Prenosil.pdf
Trvalý link: http://hdl.handle.net/11104/0239896Název souboru Staženo Velikost Komentář Verze Přístup a0436118.pdf 0 379.8 KB Vydavatelský postprint vyžádat - 4.0434592 - ÚI 2015 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Daniel, Milan - Ma, J.
Conflicts of Belief Functions: Continuity and Frame Resizement.
Scalable Uncertainty Management. Cham: Springer, 2014 - (Straccia, U.; Cali, A.), s. 106-119. Lecture Notes in Artificial Intelligence, 8720. ISBN 978-3-319-11507-8. ISSN 0302-9743.
[SUM 2014. International Conference /8./. Oxford (GB), 15.09.2014-17.09.2014]
Grant CEP: GA ČR GAP202/10/1826
Grant ostatní: EU INFER(XE) 251617
Program: FP7
Institucionální podpora: RVO:67985807
Klíčová slova: Belief functions * Dempster-Shafer theory * uncertainty * plausibility conflict * pignistic conflict * degree of conflict * continuity * extension of a frame of discernment * refinement of a frame of discernment
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0238577Název souboru Staženo Velikost Komentář Verze Přístup 0434592.pdf 3 1.2 MB Autorský preprint povolen a0434592.pdf 0 344.5 KB Vydavatelský postprint vyžádat - 5.0434587 - ÚI 2015 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Daniel, Milan
Conflict between Belief Functions: A New Measure Based on Their Non-conflicting Parts.
Belief Functions: Theory and Applications. Cham: Springer, 2014 - (Cuzzolin, F.), s. 321-330. Lecture Notes in Artificial Intelligence, 8764. ISBN 978-3-319-11190-2. ISSN 0302-9743.
[BELIEF 2014. International Conference /3./. Oxford (GB), 26.09.2014-28.09.2014]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: belief functions * Dempster-Shafer theory * uncertainty * Dempster’s semigroup * internal conflict * conflict between belief functions * non-conflicting part of belief function * conflicting part of belief function
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0238574Název souboru Staženo Velikost Komentář Verze Přístup 0434587.pdf 3 1.1 MB Autorský preprint povolen a0434587.pdf 0 323.1 KB Vydavatelský postprint vyžádat - 6.0431413 - ÚI 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
Logic, Language, Information, and Computation. Heidelberg: Springer, 2014 - (Kohlenbach, U.; Barceló, P.; de Queiroz, R.), s. 124-136. Lecture Notes in Computer Science, 8652. ISBN 978-3-662-44144-2. ISSN 0302-9743.
[WoLLIC 2014. International Conference /21./. Valparaíso (CL), 01.09.2014-04.09.2014]
Grant CEP: GA ČR GAP202/10/1826
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
Kód oboru RIV: BA - Obecná matematika; BB - Aplikovaná statistika, operační výzkum (UTIA-B)
Trvalý link: http://hdl.handle.net/11104/0235975Název souboru Staženo Velikost Komentář Verze Přístup 0431413.pdf 8 880.5 KB Autorský preprint povolen a0431413.pdf 2 282.6 KB Vydavatelský postprint vyžádat - 7.0430480 - ÚI 2015 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Daniel, Milan
Towards a Conflicting Part of a Belief Function.
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Vol. 3. Cham: Springer, 2014 - (Laurent, A.; Strauss, O.; Bouchon-Meunier, B.; Yager, R.), s. 212-222. Communications in Computer and Information Science, 444. ISBN 978-3-319-08851-8. ISSN 1865-0929.
[IPMU 2014 /15./. Montpellier (FR), 15.07.2014-19.07.2014]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: belief function * Dempster-Shafer theory * Dempster’s semigroup * conflict between belief functions * uncertainty * non-conflicting part of belief function * conflicting part of belief function
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0235402Název souboru Staženo Velikost Komentář Verze Přístup 0430480.pdf 7 826.6 KB Autorský preprint povolen a0430480.pdf 0 403.4 KB Vydavatelský postprint vyžádat - 8.0425733 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Dostál, M.
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic.
Algebra and Coalgebra in Computer Science. Berlin: Springer, 2013 - (Heckel, R.; Milius, S.), s. 66-79. Lecture Notes in Computer Science, 8089. ISBN 978-3-642-40205-0. ISSN 0302-9743.
[CALCO 2013. International Conference /5./. Warsaw (PL), 03.09.2013-06.09.2013]
Grant CEP: GA ČR GAP202/10/1826
Grant ostatní: SGS ČVUT(CZ) SGS12/060/OHK3/1T/13
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebra * coalgebraic logic * relation lifting * many-valued logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0231547Název souboru Staženo Velikost Komentář Verze Přístup a0425733.pdf 1 271.5 KB Vydavatelský postprint vyžádat - 9.0422069 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Metcalfe, G.
Herbrand Theorems for Substructural Logics.
Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2013 - (McMillan, K.; Middeldorp, A.; Voronkov, A.), s. 584-600. Lecture Notes in Computer Science, Advanced Research in Computing and Software Science, 8312. ISBN 978-3-642-45221-5. ISSN 0302-9743.
[LPAR-19. International Conference /19./. Stellenbosch (ZA), 14.12.2013-19.12.2013]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0228284Název souboru Staženo Velikost Komentář Verze Přístup a0422069.pdf 0 292.6 KB Vydavatelský postprint vyžádat 0422069.pdf 7 795.9 KB Autorský preprint povolen - 10.0396489 - ÚI 2014 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Daniel, Milan
An Interpretation of Conflicting Parts of Belief Functions on Two-Element Frame of Discrement.
Proceedings of the 16th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty (CJS-2013). Jindřichův Hradec: Faculty of Management, University of Economics, Jindřichův Hradec, 2013 - (Kratochvíl, V.; Vejnarová, J.), s. 187-196. ISBN 978-80-245-1950-0.
[Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty (CJS-2013) /16./. Mariánské Lázně (CZ), 19.09.2013-22.09.2013]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: belief function * Dempster-Shafer theory * uncertainty * Dempster's semigroup * internal conflict * conflict between belief functions * non-conflicting part of belief function * conflicting part of belief function
Kód oboru RIV: BA - Obecná matematika
http://cjs.fm.vse.cz/data/CJS2013_proceedings.pdf
Trvalý link: http://hdl.handle.net/11104/0224245Název souboru Staženo Velikost Komentář Verze Přístup a0396489.pdf 0 772.1 KB Vydavatelský postprint vyžádat