-
[http://en.wikipedia.org/wiki/Knowledge_representation Knowledge representation] has traditionally been an important area of research at our department. In
* Semantic fundamentals of knowledge systems (1-INF-470)
2 KB (290 slov) - 22:23, 15. september 2008
-
...t of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.
...standing preferences as a mechanism for encoding exceptions between rules, and express requirements on semantics for such understading of preferences in t
5 KB (635 slov) - 16:39, 10. december 2014
-
...ncerned with (mostly theoretical) research in Knowledge Representation and Reasoning (KR&R).
* Non-monotonic logics and non-monotonic reasoning
12 KB (1 619 slov) - 10:48, 24. september 2018
-
...KV-131||[[Representation Knowledge Reasoning|Representation, Knowledge and Reasoning]]||[[Martin Balaz|Baláž M.]] ||2-IKV-103!||1/S||L2,P2||5||50/50
|2-IKV-261||[[Logic and Cognitive Science]]||[[Jan Sefranek|Šefránek J.]] ||2-IKV-103!||1/S||L2,S
7 KB (839 slov) - 14:13, 26. august 2015
-
|2-IKV-131||[[Representation Knowledge Reasoning|Reprezentácia, poznatky a usudzovanie]]||[[Martin Balaz|Baláž M.]] ||2-I
|2-IKV-261||[[Logic and Cognitive Science|Logika a kognitívna veda]]||[[Jan Sefranek|Šefránek J.
7 KB (954 slov) - 22:05, 17. september 2015
-
| name = Knowledge Representation and Reasoning
...resentation, semantic specification of a knowledge representation language and of a consequence relation.
802 B (87 slov) - 10:14, 30. marec 2017
-
| name = Representation, Knowledge and Reasoning
...eory of knowledge representation, developed within artificial intelligence and lead students towards applying/modifying it for the purpose of studying cog
806 B (97 slov) - 09:57, 21. február 2012
-
...ze and participate in [[#Conferences, Seminars and other Events|scientific and popularization events]].
...fic and educational projects financed by the EU, Slovak research agencies, and private institutions.
5 KB (599 slov) - 22:55, 3. máj 2024
-
* [[Knowledge Representation and Reasoning]]
* [[Description Logics Ontologies and Semantics Web]]
912 B (103 slov) - 14:39, 12. február 2020
-
* [[Knowledge Representation and Reasoning|Reprezentácia znalostí a inferencia]]
1 KB (128 slov) - 14:42, 12. február 2020
-
* 1-AIN-121: [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]]
* 1-AIN-210: [[Algorithms and Data Structures|Algoritmy a dátové štruktúry]]
11 KB (1 269 slov) - 05:06, 13. september 2023
-
Knowledge Representation and Reasoning (course homepage)
* From deduction to hypothetical reasoning
3 KB (453 slov) - 11:15, 18. február 2014
-
...n to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]]
* 1-AIN-210: [[Algorithms and Data Structures]]
8 KB (813 slov) - 20:17, 6. september 2023
-
|2-AIN-109||[[Programming of Parallel and Distributed Systems|Programovanie paralelných a distribuovaných systémov
|2-AIN-201||[[Physical-based Animations and Mathematical Modeling|Matematické modelovanie a počítačová animácia f
10 KB (1 317 slov) - 23:53, 6. september 2016
-
* [[Semantic Fundamentals of Knowledge Systems]]
* [[Representation, Knowledge and Reasoning]]
1 KB (138 slov) - 08:13, 21. august 2008
-
* R. Ďurikovič R. Kimura and K. Kolchin. Real-time Visualization of Japanese artcraft, Proceedings of th
...deling with three types of Coons bodies, International Journal of Modeling and Simulation, ACTA Press, Calgary, AB, Canada, vol.24, No.2, pages 97-101, 20
6 KB (789 slov) - 23:10, 15. september 2008
-
* [[Knowledge Representation and Reasoning|Reprezentácia znalostí a inferencia]] (a.k.a. Reprezentácka, poznatky a
* knowledge representation
1 KB (166 slov) - 13:50, 2. september 2020
-
...nowledge Representation and Reasoning]] (a.k.a. Representation, Knowledge, Reasoning)
* [[Description Logics Ontologies and Semantics Web]]
1 KB (127 slov) - 13:50, 2. september 2020
-
* [[Semantic Fundamentals of Knowledge Systems]]
* [[Representation, Knowledge and Reasoning]]
1 KB (131 slov) - 14:41, 7. apríl 2010
-
* [[Symbolic Programming and LISP]]
* [[Semantic Fundamentals of Knowledge-Based Systems]]
903 B (93 slov) - 10:29, 1. apríl 2010
-
* [[Knowledge Representation and Reasoning]]
* [[Symbolic Programming and LISP]]
665 B (67 slov) - 09:50, 27. september 2012
-
...i.fmph.uniba.sk/courses/CSCTR/ Cognitive Semantics and Cognitive Theory of Representation]
...fmph.uniba.sk/courses/STH/ Science, Technology and Humanity: Opportunities and Risks]
1 KB (152 slov) - 09:29, 19. február 2020
-
...y, learning and reasoning, language and communication, emotional, embodied and collective cognition. Examples of computational models of the studied cogni
(The list of readings and other resources will be updated on the way.)
17 KB (2 309 slov) - 14:54, 2. máj 2010
-
* R. Ďurikovič R. Kimura and K. Kolchin. Real-time Visualization of Japanese artcraft, Proceedings of th
...deling with three types of Coons bodies, International Journal of Modeling and Simulation, ACTA Press, Calgary, AB, Canada, vol.24, No.2, pages 97-101, 20
6 KB (828 slov) - 17:13, 14. september 2009
-
...nt Learning with Abstraction]. PhD thesis, Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava, 2012
...s for Secure Computing]. The Seventh International Conference on Autonomic and Autonomous Systems, Venice, Italy, 2011 - ISBN: 978-1-61208-006-2
4 KB (505 slov) - 12:53, 6. október 2016
-
...s for Secure Computing]. The Seventh International Conference on Autonomic and Autonomous Systems, Venice, Italy, 2011 - ISBN: 978-1-61208-006-2
...tion to Slovak Language]. Rigorous thesis, Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava, 2011
4 KB (584 slov) - 12:51, 6. október 2016
-
...ate institutions. Below we provide the list [[#Current projects|ciurrent]] and [[#Past projects|past]] projects at our Department.
The members of the department lead or participate in the following research and educational projects.
13 KB (1 655 slov) - 22:52, 3. máj 2024
-
...kačnou platformou)|Representation of incomplete, evolving and distributed knowledge (in interaction with communication platform)]] (VEGA 1/0688/10)
...most recently cognitive robotics, using primarily neural network approach and the so-called distinguishing criteria developed at DAI.
1 KB (162 slov) - 01:00, 21. február 2012
-
{{Heading|Conferences and Events Organized by DAI}}
== Scientific conferences and seminars ==
2 KB (235 slov) - 14:29, 17. marec 2022
-
...itive theories of representation bridging the gaps between brain, language and culture.
...k/%7Etakac/publications/TakacThesis.pdf Construction of Meanings in Living and Artificial Agents]. dissertation thesis, Comenius University, Bratislava, 2
14 KB (1 852 slov) - 13:58, 30. september 2010
-
...I to present their research a wider departmental audience, exchange ideas, and foster friendships. They are organized on a weekly basis during the semeste
:I-9 and online in [https://teams.microsoft.com/l/meetup-join/19%3a8d16e45d1ced418eb
40 KB (5 871 slov) - 20:07, 1. máj 2024
-
...y, learning and reasoning, language and communication, emotional, embodied and collective cognition. Examples of computational models of the studied cogni
(The list of readings and other resources will be updated on the way.)
16 KB (2 298 slov) - 10:51, 21. september 2010
-
|2-AIN-109||[[Programming of Parallel and Distributed Systems]]||[[Damas Gruska|Gruska D.]] || ||1/S ||L3,P1||4||40/6
|2-AIN-201||[[Physical-based Animations and Mathematical Modeling]]||[[Roman Durikovic|Ďurikovič R.]] || ||2/W ||L2||
9 KB (1 132 slov) - 00:06, 7. september 2016
