Search results
- 1.0460115 - ÚI 2017 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : density elimination * standard completeness * uninorm logic * hypersequent
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0260250File Download Size Commentary Version Access a0460115.pdf 4 267.6 KB Publisher’s postprint require - 2.0439788 - ÚI 2015 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : relational semantics * substructural and lattice-based logics * lattice expansions * topological characterisation * Goldblatt-Thomason's theorem * amalgamation property
Subject RIV: BA - General Mathematics
http://www.aiml.net/volumes/volume10/Suzuki.pdf
Permanent Link: http://hdl.handle.net/11104/0242979File Download Size Commentary Version Access a0439788.pdf 1 388 KB Publisher’s postprint require - 3.0436118 - ÚI 2015 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : modal logic * distributive modal logic * intuitionistic modal logic * positive modal logic * bi-intuitionistic modal logic * duality theory
Subject RIV: BA - General Mathematics
http://www.aiml.net/volumes/volume10/Prenosil.pdf
Permanent Link: http://hdl.handle.net/11104/0239896File Download Size Commentary Version Access a0436118.pdf 0 379.8 KB Publisher’s postprint require - 4.0434592 - ÚI 2015 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Grant - others:EU INFER(XE) 251617
Program: FP7
Institutional support: RVO:67985807
Keywords : 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
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0238577File Download Size Commentary Version Access 0434592.pdf 3 1.2 MB Author´s preprint open-access a0434592.pdf 0 344.5 KB Publisher’s postprint require - 5.0434587 - ÚI 2015 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : 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
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0238574File Download Size Commentary Version Access 0434587.pdf 3 1.1 MB Author´s preprint open-access a0434587.pdf 0 323.1 KB Publisher’s postprint require - 6.0431413 - ÚI 2015 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
EU Projects: European Commission(XE) 247584 - MATOMUVI
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
Subject RIV: BA - General Mathematics; BB - Applied Statistics, Operational Research (UTIA-B)
Permanent Link: http://hdl.handle.net/11104/0235975File Download Size Commentary Version Access 0431413.pdf 8 880.5 KB Author´s preprint open-access a0431413.pdf 2 282.6 KB Publisher’s postprint require - 7.0430480 - ÚI 2015 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : belief function * Dempster-Shafer theory * Dempster’s semigroup * conflict between belief functions * uncertainty * non-conflicting part of belief function * conflicting part of belief function
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0235402File Download Size Commentary Version Access 0430480.pdf 7 826.6 KB Author´s preprint open-access a0430480.pdf 0 403.4 KB Publisher’s postprint require - 8.0425733 - ÚI 2014 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Grant - others:SGS ČVUT(CZ) SGS12/060/OHK3/1T/13
Institutional support: RVO:67985807
Keywords : coalgebra * coalgebraic logic * relation lifting * many-valued logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0231547File Download Size Commentary Version Access a0425733.pdf 1 271.5 KB Publisher’s postprint require - 9.0422069 - ÚI 2014 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0228284File Download Size Commentary Version Access a0422069.pdf 0 292.6 KB Publisher’s postprint require 0422069.pdf 7 795.9 KB Author´s preprint open-access - 10.0396489 - ÚI 2014 RIV CZ eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : 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
Subject RIV: BA - General Mathematics
http://cjs.fm.vse.cz/data/CJS2013_proceedings.pdf
Permanent Link: http://hdl.handle.net/11104/0224245File Download Size Commentary Version Access a0396489.pdf 0 772.1 KB Publisher’s postprint require