Výsledky vyhledávání
- 1.0576264 - ÚI 2024 RIV AT eng C - Konferenční příspěvek (zahraniční konf.)
Cerna, David M. - Kutsia, T.
Anti-unification and Generalization: A Survey.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23). Vienna: International Joint Conferences on Artificial Intelligence, 2023 - (Elkind, E.), s. 6563-6573. ISBN 978-1-956792-03-4.
[IJCAI 2023: International Joint Conference on Artificial Intelligence /32./. Macao (MO), 19.08.2023-25.08.2023]
Grant CEP: GA ČR(CZ) GF22-06414L
Institucionální podpora: RVO:67985807
Klíčová slova: survey * Knowledge Representation and Reasoning * Multidisciplinary Topics and Applications
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.24963/ijcai.2023/736
Trvalý link: https://hdl.handle.net/11104/0345832 - 2.0573722 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Vigiani, P.
Relevant Reasoning and Implicit Beliefs.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 336-350. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Epistemic logic * explicit belief * implicit belief * knowledge representation * modal logic * relevant logic
Obor OECD: Pure mathematics
Trvalý link: https://hdl.handle.net/11104/0344103Název souboru Staženo Velikost Komentář Verze Přístup 0573722-acc.pdf 3 365.9 KB volně online Autorský postprint povolen
Vědecká data: Preprint at MathStat.dal.ca - 3.0566819 - ÚI 2023 RIV IL eng C - Konferenční příspěvek (zahraniční konf.)
Baltag, A. - Bezhanishvili, N. - Fernández-Duque, David
The Topology of Surprise.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. Haifa: International Joint Conferences on Artificial Intelligence Organization, 2022 - (Kern-Isberner, G.; Lakemeyer, G.; Meyer, T.), s. 33-42. ISBN 978-1-956792-01-0. ISSN 2334-1033.
[KR2022: International Conference on Principles of Knowledge Representation and Reasoning /19./. Haifa (IL), 31.07.2022-05.08.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Reasoning about knowledge, beliefs, and other mental attitudes * Belief revision and update, belief merging, information fusion * KR and cognitive modelling * Knowledge representation languages
Obor OECD: Pure mathematics
https://dx.doi.org/10.24963/kr.2022/4
Trvalý link: https://hdl.handle.net/11104/0338097Název souboru Staženo Velikost Komentář Verze Přístup 0566819-aw.pdf 3 239.8 KB volně online Vydavatelský postprint povolen - 4.0546435 - ÚI 2022 GB eng J - Článek v odborném periodiku
Boudou, J. - Diéguez, M. - Fernández-Duque, David - Kremer, P.
Exploring the Jungle of Intuitionistic Temporal Logics.
Theory and Practice of Logic Programming. Roč. 21, č. 4 (2021), s. 459-492. ISSN 1471-0684. E-ISSN 1475-3081
Klíčová slova: Knowledge Representation and Nonmonotonic Reasoning * Theory
Impakt faktor: 0.923, rok: 2021
Trvalý link: http://hdl.handle.net/11104/0322941 - 5.0536433 - ÚI 2021 RIV US eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr
Bounds on the Size of PC and URC Formulas.
Journal of Artificial Intelligence Research. Roč. 69, 24 December (2020), s. 1395-1420. ISSN 1076-9757. E-ISSN 1943-5037
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: automated reasoning * knowledge representation * satisfiability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.776, rok: 2020
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0314210Název souboru Staženo Velikost Komentář Verze Přístup 0536433-afin.pdf 2 294.1 KB OA casopis Vydavatelský postprint povolen - 6.0536431 - ÚI 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Savický, Petr
Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings.
Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, 2021, s. 3832-3840. ISBN 978-1-57735-866-4.
[AAAI 2021. Conference on Artificial Intelligence /35./. Vancouver / Online (CA), 02.02.2021-09.02.2021]
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: Satisfiability * Knowledge Representation Languages
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ojs.aaai.org/index.php/AAAI/article/view/16501
Trvalý link: http://hdl.handle.net/11104/0314209Název souboru Staženo Velikost Komentář Verze Přístup aaai2021.JPG 0 106.2 KB Jiná vyžádat 0536431-aoa.pdf 4 149.9 KB Vydavatelský postprint vyžádat - 7.0478133 - ÚI 2018 GB eng J - Článek v odborném periodiku
Sedlár, Igor
Epistemic extensions of modal distributive substructural logics.
Journal of Logic and Computation. Roč. 26, č. 6 (2016), s. 1787-1813. ISSN 0955-792X. E-ISSN 1465-363X
Klíčová slova: revision functions * belief revision * relevant logics * semantics * contraction * entailment * Belief revision * epistemic logics * knowledge representation * non-monotonic reasoning * substructural logics
Impakt faktor: 0.909, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0274491 - 8.0411066 - UTIA-B 20030053 RIV DE eng J - Článek v odborném periodiku
Janžura, Martin
On the exponential representation problem.
Soft Computing. Roč. 7, č. 5 (2003), s. 321-327. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR GA102/99/1137
Výzkumný záměr: CEZ:AV0Z1075907
Klíčová slova: knowledge representation * decomposable statistics * exponential distribution
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.333, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0131153 - 9.0403338 - UIVT-O 970183 CZ eng V - Výzkumná zpráva
Šíma, Jiří - Červenka, Jiří
Neural Knowledge Processing in Expert Systems.
Prague: ICS AS CR, 1997. 40 s. Technical Report, V-735.
Grant CEP: GA ČR GA201/95/0976
Klíčová slova: expert system * knowledge representation * rule-based system * neural network * hybrid system * neural expert system * interval back-propagation
Trvalý link: http://hdl.handle.net/11104/0123650Název souboru Staženo Velikost Komentář Verze Přístup v735-97.pdf 12 376.6 KB Jiná povolen - 10.0402490 - UIVT-O 950080 CZ eng V - Výzkumná zpráva
Švejda, David
Decision Support Systems in Medicine.
Prague: EuroMise, 1995. 40 s. EuroMISE Course - Final Thesis.
Grant ostatní: TEMPUS(XE) JEP-4358
Klíčová slova: decision support * artificial intelligence * knowledge representation * expert systems in medicine * HYCIN - rule based system
Trvalý link: http://hdl.handle.net/11104/0122897