-
[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
