-
[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 words) - 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 words) - 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 words) - 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 words) - 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 words) - 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 words) - 10:14, 30 March 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 words) - 09:57, 21 February 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 words) - 22:55, 3 May 2024
-
* [[Knowledge Representation and Reasoning]]
* [[Description Logics Ontologies and Semantics Web]]
912 B (103 words) - 14:39, 12 February 2020
-
* [[Knowledge Representation and Reasoning|Reprezentácia znalostí a inferencia]]
1 KB (128 words) - 14:42, 12 February 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 words) - 05:06, 13 September 2023
-
Knowledge Representation and Reasoning (course homepage)
* From deduction to hypothetical reasoning
3 KB (453 words) - 11:15, 18 February 2014
-
...n to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]]
* 1-AIN-210: [[Algorithms and Data Structures]]
8 KB (813 words) - 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 words) - 23:53, 6 September 2016
-
* [[Semantic Fundamentals of Knowledge Systems]]
* [[Representation, Knowledge and Reasoning]]
1 KB (138 words) - 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 words) - 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 words) - 13:50, 2 September 2020
-
...nowledge Representation and Reasoning]] (a.k.a. Representation, Knowledge, Reasoning)
* [[Description Logics Ontologies and Semantics Web]]
1 KB (127 words) - 13:50, 2 September 2020
-
* [[Semantic Fundamentals of Knowledge Systems]]
* [[Representation, Knowledge and Reasoning]]
1 KB (131 words) - 14:41, 7 April 2010
-
* [[Symbolic Programming and LISP]]
* [[Semantic Fundamentals of Knowledge-Based Systems]]
903 B (93 words) - 10:29, 1 April 2010
-
* [[Knowledge Representation and Reasoning]]
* [[Symbolic Programming and LISP]]
665 B (67 words) - 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 words) - 09:29, 19 February 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 words) - 14:54, 2 May 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 words) - 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 words) - 12:53, 6 October 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 words) - 12:51, 6 October 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 words) - 22:52, 3 May 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 words) - 01:00, 21 February 2012
-
{{Heading|Conferences and Events Organized by DAI}}
== Scientific conferences and seminars ==
2 KB (235 words) - 14:29, 17 March 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 words) - 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
43 KB (6,312 words) - 15:04, 17 May 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 words) - 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 words) - 00:06, 7 September 2016
-
* {{Infolist/en|2-AIN-144|2-AIN-144 Knowledge representation and reasoning}}
* Malware Detection, Knowledge Base Embedding, and Explainable AI (XAI)
554 B (53 words) - 14:58, 17 May 2024
