Dev.DAI - Príspevky používateľa [sk]

Conferences

2008-08-21T23:28:16Z

Zzobsolete28:

Scientific conferences organized by our department:

* [http://www.sccg.sk/ Spring Conference on Computer Graphics 2007 (SCCG)]
* [[AI Seminar - Special Session no. 1]]

Conferences

2008-08-21T23:12:14Z

Zzobsolete28:

Scientific conferences organized by our department:

* [http://www.sccg.sk/ Spring Conference on Computer Graphics 2007 (SCCG)]
* [[AI Seminar, Special Session no. 1]]

Conferences

2008-08-21T23:10:31Z

Zzobsolete28:

Scientific conferences organized by our department:

* [http://www.sccg.sk/ Spring Conference on Computer Graphics 2007 (SCCG)]
* [[AI Seminar, Special Edition no. 1]]

Conferences

2008-08-21T23:04:36Z

Zzobsolete28: Staring, adding SCCG

Scientific conferences organized by our department:

* [http://www.sccg.sk/ Spring Conference on Computer Graphics 2007 (SCCG)]

Selected Publications

2008-08-21T08:01:20Z

Zzobsolete28: Translated from slovak version

=Selected Publications=

Selected publications from years 2003 – 2006:

* R. Ďurikovič R. Kimura and K. Kolchin. Real-time Visualization of Japanese artcraft, Proceedings of the IEEE Computer Graphics International - CGI2003, Tokyo, Japan, pages 184-189, 2003.
* R. Ďurikovič and S. Czanner. Modeling with three types of Coons bodies, International Journal of Modeling and Simulation, ACTA Press, Calgary, AB, Canada, vol.24, No.2, pages 97-101, 2004.
* R. Kimura and R. Ďurikovič. Real-Time rendering of Japanese lacquer ware, Journal of Three Dimensional Images, 3D Forum Society, vol.18, No.3, pages 110-115, 2004.
* R. Ďurikovič. Growth simulation of digestive system using function representation and skeleton dynamics, International Journal on Shape Modeling, vol.10, No.1, pages 31-49, World Scientific Publishing Company, Singapore, 2004.
* S. Ershov, R. Ďurikovič, K. Kolchin and K. Myszkowski. Reverse engineering approach to appearance-based design of metallic and pearlescent paints, The Visual Computer, vol.8-9, No.20, pages 586-599, Springer-Verlag Berlin Heidelberg, Germany, 2004.
* S. Kinuwaki, S. Nishimura and R. Ďurikovič. Single pass volume rendering on programable graphics hardware, Journal of Three Dimensional Images, 3D Forum Society, Ricoh, Japan, vol.18, No.4, pages 74-79, 2004.
* R. Ďurikovič, S. Ershov , K. Kolchin, and K. Myszkowski. Solution of an inverse problem in rendering metallic and pearlescent appearance, 3D Forum Society, Ricoh, Japan, vol.18, No.4, pages 54-60, 2004.
* M. Smyk, S. Kinuwaki, R. Ďurikovič, and K. Myszkowski. Temporally coherent irradiance caching for high quality animation rendering, Computer Graphics Forum, Blackwell Publishers, UK, vol.24, No.3, pages 401-412, 2005.
* A. Ferko, J. Martinka, S. Stanek, M. Zimányi, Measuring and reconstructiong genius loci, SREN: Solar Renewable Energy News-Research Applications: International Conference, Florence, 2.-8.4.2005 Italy.
* Zimányi Marek, Sramek Milos, Mateasik Anton, Edge-Preserving regularization for Confocal Data Deconvolution, 11th International Conference Medical Informatics and Technologies (MIT'06), Wisla-Malinka Poland, 25-27. September 2006.
* Gejguš Peter, Kubini P. 2004. Facial feature tracking using convolution filters and skin-color models, ICCVG 2004 Warszaw, Poland, 2004.
* Ferko A. - Kubíni P. - Stanek S. 2003. Real-time Virtual Storytelling for Augmented Cultural Heritage: Message & Empathy, Pp. 45-46 in proceedings for The first Research Workshop on Augmented Virtual Reality, Organized by MIRALab, University of Geneva, September 18th-19th 2003, Geneva.
* Stanek S., 2004. Empathic Avatars in VRML for Cultural Heritage, International Conference on Computer Vision and Graphics 2004 - (ICCVG 04), Warszaw, Poland, September 22-24, 2004, ISBN 1-4020-4178-0.
* M. Gavrielides, E. Šikudová, I. Pitas, Color-Based Descriptors for Image Fingerprinting IEEE Transactions on Multimedia, Vol.8, No.4 (2006), p. 740-748.
* Martin Homola, Dynamic Logic Programming: Various Semantics are Equivalent on Acyclic Programs. In: Leite, Torroni (eds.) Computational Logic in Multi-Agent Systems. Springer 2005.
* Jozef Šiška, Dynamic Logic Programming and world state evaluation in computer games. Proc. of the Workshop on Logic Programming, WLP, Vienna, 2006: 64-70.
* Ján Šefránek, Irrelevant updates and nonmonotonic assumtions. Logics in Artificial Intelligence. Springer 2006.
* Ján Šefránek, Rethinking semantics of dynamic logic programming. Proc. of the Workshop on Nonmonotonic Reasoning, NMR 2006, Lake District, UK.
* Ján Šefránek and Jozef Šiška, Irrelevant updates of nonmonotonic knowledge bases. Proc. of the European Conference on Artificial Intelligence (ECAI 2006).
* Ján Šefránek, Nonmonotonic integrity constraints. 10th Workshop on logic programming (WLP), Vienna 2006.
* Ján Šefránek: Semantic considerations on rejection Proc. of NMR 2004, Whistler, BC, Canada.
* D.P. Gruska, Timing Attacks in Computer Networks, in proceedings of WIP FORTE’03, Berlin, 2003.
* D.P. Gruska and A. Maggiolo-Schettini, Nested Timing Attacks, in proceedings of FAST’03, Pisa, 2003.
* D.P. Gruska, Information Flow in Timing Attacks, in proceedings of Concurrency, Specification and Programming, in proceedings of Concurrency, Specification and Programming, CS&P’04, Humboldt Univeristy, Berlin, 2004.
* D.P. Gruska, Information Flow in Networks, in proceedings of Concurrency, Specification and Programming, CS&P’05, pp 184-196, ISBN 83-88374-47-8, 2005.
* D.P. Gruska, Network Information Flow, Fundamenta Informaticae, 72 (2006) 1-14.
* D.P. Gruska, Information-Flow Attacks Based on Limited Observations, Post proceedings of PSI’06, LNCS, Springer Verlag, 2006.
* D.P. Gruska, Observation Based Passive and Active Timing Attacks, in proceedings of Concurrency, Specification and Programming, CS&P’06, Humboldt Univeristy, Berlin, 2006.
* D.P. Gruska, Information-Flow Security for Restricted Attackers, in proceedings of IEEE 8th International Symposium on Systems and Information Security, 2006.
* Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: A Pattern Matching Compiler for Multiple Target Languages. In proceedings of the 12th International Conference on Compiler Construction, April 5-13, 2003, Warsaw, Poland.
* Marian Vittek: Refactoring Browser with Preprocessor. In proceedings of the Seventh European Conference on Software Maintenance and Reengineering March 26-28, 2003, Benevento, Italy.
* Marian Vittek, Peter Borovansky, and Pierre-Etienne Moreau. A collection of c, c++ and java code understanding and refactoring plugins. In ICSM (Industrial and Tool Volume), pages 61-64, 2005.
* Paul J. Voda, Lars Kristiansen, The Surprising Power of Restricted Programs and Goedel's Functionals , Conf. Computer Science Logic; Vienna August 2003, Lecture Notes in Computer Science vol 2803, Springer Verlag 2003.
* Paul J. Voda, Lars Kristiansen, Complexity Classes and Fragments of C , Information Processing Letters, Vol 88/5 pp 213-218, October 2003.
* Paul J. Voda, Lars Kristiansen, Programming Languages Capturing Complexity Classes , NWPT-04 Uppsala October 2004.

Selected Publications

2008-08-21T07:59:27Z

Zzobsolete28: Text zobraný zo starsej verzie stránok KAI

=Vybrané publikácie=

Zoznam vybraných vedeckých publikácií v rokoch 2003 – 2006:

* R. Ďurikovič R. Kimura and K. Kolchin. Real-time Visualization of Japanese artcraft, Proceedings of the IEEE Computer Graphics International - CGI2003, Tokyo, Japan, pages 184-189, 2003.
* R. Ďurikovič and S. Czanner. Modeling with three types of Coons bodies, International Journal of Modeling and Simulation, ACTA Press, Calgary, AB, Canada, vol.24, No.2, pages 97-101, 2004.
* R. Kimura and R. Ďurikovič. Real-Time rendering of Japanese lacquer ware, Journal of Three Dimensional Images, 3D Forum Society, vol.18, No.3, pages 110-115, 2004.
* R. Ďurikovič. Growth simulation of digestive system using function representation and skeleton dynamics, International Journal on Shape Modeling, vol.10, No.1, pages 31-49, World Scientific Publishing Company, Singapore, 2004.
* S. Ershov, R. Ďurikovič, K. Kolchin and K. Myszkowski. Reverse engineering approach to appearance-based design of metallic and pearlescent paints, The Visual Computer, vol.8-9, No.20, pages 586-599, Springer-Verlag Berlin Heidelberg, Germany, 2004.
* S. Kinuwaki, S. Nishimura and R. Ďurikovič. Single pass volume rendering on programable graphics hardware, Journal of Three Dimensional Images, 3D Forum Society, Ricoh, Japan, vol.18, No.4, pages 74-79, 2004.
* R. Ďurikovič, S. Ershov , K. Kolchin, and K. Myszkowski. Solution of an inverse problem in rendering metallic and pearlescent appearance, 3D Forum Society, Ricoh, Japan, vol.18, No.4, pages 54-60, 2004.
* M. Smyk, S. Kinuwaki, R. Ďurikovič, and K. Myszkowski. Temporally coherent irradiance caching for high quality animation rendering, Computer Graphics Forum, Blackwell Publishers, UK, vol.24, No.3, pages 401-412, 2005.
* A. Ferko, J. Martinka, S. Stanek, M. Zimányi, Measuring and reconstructiong genius loci, SREN: Solar Renewable Energy News-Research Applications: International Conference, Florence, 2.-8.4.2005 Italy.
* Zimányi Marek, Sramek Milos, Mateasik Anton, Edge-Preserving regularization for Confocal Data Deconvolution, 11th International Conference Medical Informatics and Technologies (MIT'06), Wisla-Malinka Poland, 25-27. September 2006.
* Gejguš Peter, Kubini P. 2004. Facial feature tracking using convolution filters and skin-color models, ICCVG 2004 Warszaw, Poland, 2004.
* Ferko A. - Kubíni P. - Stanek S. 2003. Real-time Virtual Storytelling for Augmented Cultural Heritage: Message & Empathy, Pp. 45-46 in proceedings for The first Research Workshop on Augmented Virtual Reality, Organized by MIRALab, University of Geneva, September 18th-19th 2003, Geneva.
* Stanek S., 2004. Empathic Avatars in VRML for Cultural Heritage, International Conference on Computer Vision and Graphics 2004 - (ICCVG 04), Warszaw, Poland, September 22-24, 2004, ISBN 1-4020-4178-0.
* M. Gavrielides, E. Šikudová, I. Pitas, Color-Based Descriptors for Image Fingerprinting IEEE Transactions on Multimedia, Vol.8, No.4 (2006), p. 740-748.
* Martin Homola, Dynamic Logic Programming: Various Semantics are Equivalent on Acyclic Programs. In: Leite, Torroni (eds.) Computational Logic in Multi-Agent Systems. Springer 2005.
* Jozef Šiška, Dynamic Logic Programming and world state evaluation in computer games. Proc. of the Workshop on Logic Programming, WLP, Vienna, 2006: 64-70.
* Ján Šefránek, Irrelevant updates and nonmonotonic assumtions. Logics in Artificial Intelligence. Springer 2006.
* Ján Šefránek, Rethinking semantics of dynamic logic programming. Proc. of the Workshop on Nonmonotonic Reasoning, NMR 2006, Lake District, UK.
* Ján Šefránek and Jozef Šiška, Irrelevant updates of nonmonotonic knowledge bases. Proc. of the European Conference on Artificial Intelligence (ECAI 2006).
* Ján Šefránek, Nonmonotonic integrity constraints. 10th Workshop on logic programming (WLP), Vienna 2006.
* Ján Šefránek: Semantic considerations on rejection Proc. of NMR 2004, Whistler, BC, Canada.
* D.P. Gruska, Timing Attacks in Computer Networks, in proceedings of WIP FORTE’03, Berlin, 2003.
* D.P. Gruska and A. Maggiolo-Schettini, Nested Timing Attacks, in proceedings of FAST’03, Pisa, 2003.
* D.P. Gruska, Information Flow in Timing Attacks, in proceedings of Concurrency, Specification and Programming, in proceedings of Concurrency, Specification and Programming, CS&P’04, Humboldt Univeristy, Berlin, 2004.
* D.P. Gruska, Information Flow in Networks, in proceedings of Concurrency, Specification and Programming, CS&P’05, pp 184-196, ISBN 83-88374-47-8, 2005.
* D.P. Gruska, Network Information Flow, Fundamenta Informaticae, 72 (2006) 1-14.
* D.P. Gruska, Information-Flow Attacks Based on Limited Observations, Post proceedings of PSI’06, LNCS, Springer Verlag, 2006.
* D.P. Gruska, Observation Based Passive and Active Timing Attacks, in proceedings of Concurrency, Specification and Programming, CS&P’06, Humboldt Univeristy, Berlin, 2006.
* D.P. Gruska, Information-Flow Security for Restricted Attackers, in proceedings of IEEE 8th International Symposium on Systems and Information Security, 2006.
* Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: A Pattern Matching Compiler for Multiple Target Languages. In proceedings of the 12th International Conference on Compiler Construction, April 5-13, 2003, Warsaw, Poland.
* Marian Vittek: Refactoring Browser with Preprocessor. In proceedings of the Seventh European Conference on Software Maintenance and Reengineering March 26-28, 2003, Benevento, Italy.
* Marian Vittek, Peter Borovansky, and Pierre-Etienne Moreau. A collection of c, c++ and java code understanding and refactoring plugins. In ICSM (Industrial and Tool Volume), pages 61-64, 2005.
* Paul J. Voda, Lars Kristiansen, The Surprising Power of Restricted Programs and Goedel's Functionals , Conf. Computer Science Logic; Vienna August 2003, Lecture Notes in Computer Science vol 2803, Springer Verlag 2003.
* Paul J. Voda, Lars Kristiansen, Complexity Classes and Fragments of C , Information Processing Letters, Vol 88/5 pp 213-218, October 2003.
* Paul J. Voda, Lars Kristiansen, Programming Languages Capturing Complexity Classes , NWPT-04 Uppsala October 2004.

Research

2008-08-19T16:03:34Z

Zzobsolete28: Starting up with some text (translation of the slovak version)

=Scientific Research at DAI=

Research activities of DAI are chiefly focused on the the areas of computer graphics and computer vision, artificial intelligence, computational logic, and theory of programming.

*'''Computer graphics and computer vision.''' Modeling and visualization of virtual cities. Navigation and cooperation in virtual environments. Dynamic system simulations. Medical applications of computer graphics and computer vision. Face recognition and tracking.

*'''Artificial intelligence.''' Complex self-organizing systems. Language processing and modeling, addressed by symbolic (agents) but as well sub-symbolic (neural networks) approach. Knowledge representation in intelligent systems. Cognitive semantics.

*'''Computational logic.''' Logic-based theory of knowledge representation, non-monotonic reasoning, logic programming (especially answer set programming), description logics, ontologies, semantic web. Reasoning under uncertainty. Logical aspects of multi-agent systems.

*'''Theory of programming.''' Declarative programming, code verification, code transformation techniques, rewriting systems and constraint systems. Theory od concurrent processing, formal models and their applications on system specification, verification and information security.

==See also==

See the following pages for more detailed research profile of our department:

* [[Research Projects]]
* [[Research Workgroups]]
* [[Conferences]]
* [[Selected Publications]]

Vyskum/sk

2008-08-19T15:31:11Z

Zzobsolete28: /* Veda a výskum na KAI podrobnešie */

= Veda a výskum na KAI=

Vedecká činnosť KAI je orientovaná predovšetkým na počítačovú grafiku a videnie, umelú inteligenciu, výpočtovú logiku a na teóriu programovania.

*'''Počítačová grafika a videnie.''' Modelovanie a vizualizácia virtuálnych miest. Navigácia a kooperácia vo virtuálnych prostrediach. Simulácia dynamických systémov. Aplikácie počítačovej grafiky a videnia v medicíne. Rozpoznávanie a sledovanie tváre.

*'''Umelá inteligencia.''' Komplexné systémy so samoorganizáciou, hlavne v oblasti prirodzeného jazyka, a to na úrovni symbolickej (agenty) i subsymbolickej (neurónové siete). Reprezentácia znalostí v inteligentných systémoch, modelovanie akvizície a spracovanie jazyka. Kognitívna sémantika.

*'''Výpočtová logika.''' Logická teória reprezentácie poznatkov, nemonotónne usudzovanie, logické programovanie s dôrazom na paradigmu answer set programming, deskripčné logiky, ontológie, sémantický web. Usudzovanie za prítomnosti neurčitosti. Logické aspekty multiagentových systémov.

*'''Teória programovania.''' Deklaratívne programovanie, dokazovanie správnosti programov, techniky transformácie programov, prepisovacie systémy a systémy s ohraničeniami. Teória konkurentných procesov, formálnych modelov a ich aplikácií v rôznych oblastiach – špecifikácia, verifikácia, bezpečnosť počítačových sytémov.

==Veda a výskum na KAI podrobnešie==

Podrobnejšie informácie o vedeckej činnosti na KAI nájdete na týchto stránkach:

* [[Research Projects|Výskumné projekty]]
* [[Research Workgroups|Výskumné pracovné skupiny]]
* [[Conferences|Organizované konferencie]]
* [[Selected Publications|Vybrané publikácie]]

Vyskum/sk

2008-08-19T15:27:32Z

Zzobsolete28: /* See also */ --> Linky na dalsie informacie

= Veda a výskum na KAI=

Vedecká činnosť KAI je orientovaná predovšetkým na počítačovú grafiku a videnie, umelú inteligenciu, výpočtovú logiku a na teóriu programovania.

*'''Počítačová grafika a videnie.''' Modelovanie a vizualizácia virtuálnych miest. Navigácia a kooperácia vo virtuálnych prostrediach. Simulácia dynamických systémov. Aplikácie počítačovej grafiky a videnia v medicíne. Rozpoznávanie a sledovanie tváre.

*'''Umelá inteligencia.''' Komplexné systémy so samoorganizáciou, hlavne v oblasti prirodzeného jazyka, a to na úrovni symbolickej (agenty) i subsymbolickej (neurónové siete). Reprezentácia znalostí v inteligentných systémoch, modelovanie akvizície a spracovanie jazyka. Kognitívna sémantika.

*'''Výpočtová logika.''' Logická teória reprezentácie poznatkov, nemonotónne usudzovanie, logické programovanie s dôrazom na paradigmu answer set programming, deskripčné logiky, ontológie, sémantický web. Usudzovanie za prítomnosti neurčitosti. Logické aspekty multiagentových systémov.

*'''Teória programovania.''' Deklaratívne programovanie, dokazovanie správnosti programov, techniky transformácie programov, prepisovacie systémy a systémy s ohraničeniami. Teória konkurentných procesov, formálnych modelov a ich aplikácií v rôznych oblastiach – špecifikácia, verifikácia, bezpečnosť počítačových sytémov.

==Veda a výskum na KAI podrobnešie==

Podrobnejšie informácie o vedeckej činnosti na KAI nájdete na týchto stránkach:

* [[Research Projects|Aktívne a ukončené výskumné projekty]]
* [[Research Workgroups|Výskumné pracovné skupiny]]
* [[Conferences|Organizované konferencie]]
* [[Selected Publications|Vybrané publikácie]]

Vyskum/sk

2008-08-19T15:19:22Z

Zzobsolete28: Nadpis H1

= Veda a výskum na KAI=

Vedecká činnosť KAI je orientovaná predovšetkým na počítačovú grafiku a videnie, umelú inteligenciu, výpočtovú logiku a na teóriu programovania.

*'''Počítačová grafika a videnie.''' Modelovanie a vizualizácia virtuálnych miest. Navigácia a kooperácia vo virtuálnych prostrediach. Simulácia dynamických systémov. Aplikácie počítačovej grafiky a videnia v medicíne. Rozpoznávanie a sledovanie tváre.

*'''Umelá inteligencia.''' Komplexné systémy so samoorganizáciou, hlavne v oblasti prirodzeného jazyka, a to na úrovni symbolickej (agenty) i subsymbolickej (neurónové siete). Reprezentácia znalostí v inteligentných systémoch, modelovanie akvizície a spracovanie jazyka. Kognitívna sémantika.

*'''Výpočtová logika.''' Logická teória reprezentácie poznatkov, nemonotónne usudzovanie, logické programovanie s dôrazom na paradigmu answer set programming, deskripčné logiky, ontológie, sémantický web. Usudzovanie za prítomnosti neurčitosti. Logické aspekty multiagentových systémov.

*'''Teória programovania.''' Deklaratívne programovanie, dokazovanie správnosti programov, techniky transformácie programov, prepisovacie systémy a systémy s ohraničeniami. Teória konkurentných procesov, formálnych modelov a ich aplikácií v rôznych oblastiach – špecifikácia, verifikácia, bezpečnosť počítačových sytémov.

==See also==

* [[Overview of Research Activities|Stručná charakteristika výskumného zamerania]]
* [[Current and Past Research Projects|Aktívne a ukončené výskumné projekty]]
* [[Research Workgroups|Výskumné pracovné skupiny]]
* [[Selected Publications|Vybraté publikácie]]

Vyskum/sk

2008-08-19T15:15:17Z

Zzobsolete28: Základný text zobraný z povodnej verzie webu KAI

== Veda a výskum na KAI==

Vedecká činnosť KAI je orientovaná predovšetkým na počítačovú grafiku a videnie, umelú inteligenciu, výpočtovú logiku a na teóriu programovania.

*'''Počítačová grafika a videnie.''' Modelovanie a vizualizácia virtuálnych miest. Navigácia a kooperácia vo virtuálnych prostrediach. Simulácia dynamických systémov. Aplikácie počítačovej grafiky a videnia v medicíne. Rozpoznávanie a sledovanie tváre.

*'''Umelá inteligencia.''' Komplexné systémy so samoorganizáciou, hlavne v oblasti prirodzeného jazyka, a to na úrovni symbolickej (agenty) i subsymbolickej (neurónové siete). Reprezentácia znalostí v inteligentných systémoch, modelovanie akvizície a spracovanie jazyka. Kognitívna sémantika.

*'''Výpočtová logika.''' Logická teória reprezentácie poznatkov, nemonotónne usudzovanie, logické programovanie s dôrazom na paradigmu answer set programming, deskripčné logiky, ontológie, sémantický web. Usudzovanie za prítomnosti neurčitosti. Logické aspekty multiagentových systémov.

*'''Teória programovania.''' Deklaratívne programovanie, dokazovanie správnosti programov, techniky transformácie programov, prepisovacie systémy a systémy s ohraničeniami. Teória konkurentných procesov, formálnych modelov a ich aplikácií v rôznych oblastiach – špecifikácia, verifikácia, bezpečnosť počítačových sytémov.

==See also==

* [[Overview of Research Activities|Stručná charakteristika výskumného zamerania]]
* [[Current and Past Research Projects|Aktívne a ukončené výskumné projekty]]
* [[Research Workgroups|Výskumné pracovné skupiny]]
* [[Selected Publications|Vybraté publikácie]]

KR Seminar

2008-08-15T10:32:37Z

Zzobsolete28: Seminar 18 ugust

The regular weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on Mondays 14:00CET in room I-9. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 18 August 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (2)
| link =
}}

==Past Talks==
{{Event
| when = 28 July 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Modular declarative knowledge representation in computer games.
| link =
}}

{{Event
| when = 21 July 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation
| link =
}}

{{Event
| when = 14 July 2008 14:00
| where = I-9
| type = seminar
| who = Ján Kľuka
| what = On Declarative Programming, Theorem Proving, and Program Transformation
| link =
}}

{{Event
| when = 30 June 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles
| link =
}}

{{Event
| when = 9 June 2008 14:00
| where = I-9
| type = seminar
| who = Jan Sefranek
| what = Selection of Prefered Answer Sets
| link =
}}

{{Event
| when = 19 May 2008 14:00 (moved from 12th May)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}

{{Event
| when = 05 May 2008 14:00
| where = I-9
| type = seminar
| who = Peter Klimo
| what = Using Evolp for Representation of Beliefs and Goals in BDI architecture
| link =
}}

{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}

{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}

{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}

{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

KR Seminar

2008-07-21T08:36:18Z

Zzobsolete28: Seminar 21 July

The regular weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on Mondays 14:00CET in room I-9. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 21 July 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation
| link =
}}

==Past Talks==

{{Event
| when = 14 July 2008 14:00
| where = I-9
| type = seminar
| who = Ján Kľuka
| what = On Declarative Programming, Theorem Proving, and Program Transformation
| link =
}}

{{Event
| when = 30 June 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles
| link =
}}

{{Event
| when = 9 June 2008 14:00
| where = I-9
| type = seminar
| who = Jan Sefranek
| what = Selection of Prefered Answer Sets
| link =
}}

{{Event
| when = 19 May 2008 14:00 (moved from 12th May)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}

{{Event
| when = 05 May 2008 14:00
| where = I-9
| type = seminar
| who = Peter Klimo
| what = Using Evolp for Representation of Beliefs and Goals in BDI architecture
| link =
}}

{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}

{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}

{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}

{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

KR Seminar

2008-06-10T10:46:44Z

Zzobsolete28:

KR Seminar

2008-05-20T07:03:11Z

Zzobsolete28:

KR Group

2008-04-28T19:06:11Z

Zzobsolete28:

The KR research group at [[Profile|DAI]], chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation (KR).

== Group Focus ==

Our main interests within KR include:

* Non-monotonic logics and non-monotonic reasoning
* Knowledge revision
* Answer set programming
* Dynamic logic programming
* Semantic Web
* Ontologies

== Group Members ==

*[http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] (group chair)

*[http://ii.fmph.uniba.sk/~balaz/ Martin Baláž]
*[http://ii.fmph.uniba.sk/~homola/ Martin Homola]
*Michal Malý
*Peter Klimo
*[http://ii.fmph.uniba.sk/~siska/ Jozef Šiška]

KR Seminar

2008-04-28T19:00:54Z

Zzobsolete28:

KR Seminar

2008-04-21T14:58:58Z

Zzobsolete28:

KR Group

2008-04-15T21:32:05Z

Zzobsolete28: Knowledge revision

The KR research group at [[Profile|DAI]], chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation (KR).

== Group Focus ==

Our main interests within KR include:

* Non-monotonic logics and non-monotonic reasoning
* Knowledge revision
* Answer set programming
* Dynamic logic programming
* Semantic Web
* Ontologies

== Group Members ==

*Ján Šefránek (group chair)

*Martin Baláž
*Martin Homola
*Michal Malý
*Peter Klimo
*Jozef Šiška

KR Group

2008-04-15T21:30:43Z

Zzobsolete28: New page: The KR research group at DAI, chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation (KR). == Group Focus == Our main interes...

The KR research group at [[Profile|DAI]], chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation (KR).

== Group Focus ==

Our main interests within KR include:

* Non-monotonic logics and non-monotonic reasoning.
* Answer Set Programming
* Dynamic Logic Programming
* Semantic Web
* Ontologies

== Group Members ==

*Ján Šefránek (group chair)

*Martin Baláž
*Martin Homola
*Michal Malý
*Peter Klimo
*Jozef Šiška

KR Seminar

2008-04-15T21:21:30Z

Zzobsolete28:

KR Seminar

2008-04-15T21:07:48Z

Zzobsolete28: Rescheduling

The regular weekly seminar of the KR Working group headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on Mondays 14:00CET in room I-9. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}

{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}

{{Event
| when = 05 May 2008 14:00
| where = I-9
| type = seminar
| who = Peter Klimo
| what = Using Evolp for Representation of Beliefs and Goals in BDI architecture
| link =
}}

{{Event
| when = 12 May 2008 14:00
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}

==Past Talks==

{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}

{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

KR Seminar

2008-04-15T21:06:28Z

Zzobsolete28:

The regular weekly seminar of the KR Working group headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on Mondays 14:00CET in room I-9. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}

{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}

{{Event
| when = 05 May 2008 14:00 (to be confirmed)
| where = I-9
| type = seminar
| who = Peter Klimo
| what = Using Evolp for representation of Beliefs and Goals in BDI architecture
| link =
}}

{{Event
| when = 12 May 2008 14:00 (to be confirmed)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}

==Past Talks==

{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}

{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

KR Seminar

2008-04-15T20:55:55Z

Zzobsolete28: Rescheduling

The regular weekly seminar of the KR Working group headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on Mondays 14:00CET in room I-9. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}

{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}

{{Event
| when = 12 May 2008 14:00 (to be confirmed)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}

==Past Talks==

{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}

{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

KR Seminar

2008-04-15T20:52:45Z

Zzobsolete28: bi-wewkly -> weekly

The regular weekly seminar of the KR Working group headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on Mondays 14:00CET in room I-9. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}

{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}

{{Event
| when = 12 May 2008 14:00 (to be confirmed)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}

==Past Talks==

{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

KR Seminar

2008-04-11T12:24:23Z

Zzobsolete28:

The seminar of the KR Working group headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] that takes place bi-weakly on Mondays 14:00CET in room I-9. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Realtion with Answer Set Programming
| link =
}}

{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}

==Past Talks==

{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular bi-weakly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk. (Head of the group is excluded.)

KR Seminar

2008-04-11T12:18:15Z

Zzobsolete28:

The seminar of the KR Working group headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] that takes place bi-weakly on Mondays 14:00CET in room I-9. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also the rules.

==Upcoming Talks==

{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Realtion with Answer Set Programming
| link =
}}

{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}

==Past Talks==

{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

KR Seminar

2008-04-11T12:17:01Z

Zzobsolete28:

The seminar of the KR Working group headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] that takes place bi-weakly on Mondays 14:00CET in room I-9. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

==Upcoming Talks==

{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Realtion with Answer Set Programming
| link =
}}

{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}

==Past Talks==

{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

KR Seminar

2008-04-11T12:16:31Z

Zzobsolete28:

Šablóna:Event

2008-04-11T12:11:10Z

Zzobsolete28:

{{{when}}}: '''{{{what}}}''' ({{{type}}})
* ''Who:'' {{{who}}}
* ''Where:'' {{{where}}}
* ''Link:'' {{{link}}}
----
<noinclude>

== Usage ==

This is a template for a event - conferences. Use it as follows

<nowiki>{{Event
| when = date and time
| where = place
| type = conference, seminar, ...
| who = organizer or lecturer
| what = name of the action
| link = web page of the action
}}</nowiki>

== An example to copy & paste: ==

<nowiki>{{Event
| when = 16.10.2007, 14:00
| where = FMFI UK VII
| type = seminar
| who = Ján Šefránek
| what = Aktualizacie (updates) nemonotonnych baz znalosti
| link =
}}</nowiki>
</noinclude>

KR Seminar

2008-04-11T12:01:58Z

Zzobsolete28: New page: The seminar of the KR Working group headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] that takes place bi-weakly on Mondays 14:00CET in room I-9. General subject of the semina...

Diskusia k šablóne:Event

2008-04-11T12:01:00Z

Zzobsolete28: New page: I have reformated the template for 2 reasons: #To make use of it in the KR Seminar page #To make is look better. The big thing would be to be able to use some kind of IF command withi...

I have reformated the template for 2 reasons:
#To make use of it in the [[KR Seminar]] page
#To make is look better.

The big thing would be to be able to use some kind of IF command within the template to make some of the optional fields look better in the out put, i.e. not to have dummy Link: ____ if no link is given...

-- [[User:Tbc|Tbc]] 14:01, 11 April 2008 (CEST)

Šablóna:Event

2008-04-11T11:55:10Z

Zzobsolete28:

----
{{{when}}}: '''{{{what}}}''' ({{{type}}})
* ''Who:'' {{{who}}}
* ''Where:'' {{{where}}}
* ''Link:'' {{{link}}}
<noinclude>

== Usage ==

This is a template for a event - conferences. Use it as follows

<nowiki>{{Event
| when = date and time
| where = place
| type = conference, seminar, ...
| who = organizer or lecturer
| what = name of the action
| link = web page of the action
}}</nowiki>

== An example to copy & paste: ==

<nowiki>{{Event
| when = 16.10.2007, 14:00
| where = FMFI UK VII
| type = seminar
| who = Ján Šefránek
| what = Aktualizacie (updates) nemonotonnych baz znalosti
| link =
}}</nowiki>
</noinclude>

Šablóna:Event

2008-04-11T11:51:59Z

Zzobsolete28:

----
{{{when}}}: '''{{{what}}}''' ({{{type}}})
* {{{who}}}
* {{{where}}}
* {{{link}}}
<noinclude>

== Usage ==

This is a template for a event - conferences. Use it as follows

<nowiki>{{Event
| when = date and time
| where = place
| type = conference, seminar, ...
| who = organizer or lecturer
| what = name of the action
| link = web page of the action
}}</nowiki>

== An example to copy & paste: ==

<nowiki>{{Event
| when = 16.10.2007, 14:00
| where = FMFI UK VII
| type = seminar
| who = Ján Šefránek
| what = Aktualizacie (updates) nemonotonnych baz znalosti
| link =
}}</nowiki>
</noinclude>

Šablóna:Event

2008-04-11T11:51:49Z

Zzobsolete28:

----
{{{when}}}: '''{{{what}}}''' ({{{type}}})
* {{{who}}}
* {{{where}}
* {{{link}}}
<noinclude>

== Usage ==

This is a template for a event - conferences. Use it as follows

<nowiki>{{Event
| when = date and time
| where = place
| type = conference, seminar, ...
| who = organizer or lecturer
| what = name of the action
| link = web page of the action
}}</nowiki>

== An example to copy & paste: ==

<nowiki>{{Event
| when = 16.10.2007, 14:00
| where = FMFI UK VII
| type = seminar
| who = Ján Šefránek
| what = Aktualizacie (updates) nemonotonnych baz znalosti
| link =
}}</nowiki>
</noinclude>

Knowledge Representation (Course Package)

2008-02-14T18:51:27Z

Zzobsolete28: more prerequisities: formal languages, computational complexity, and databases

[http://en.wikipedia.org/wiki/Knowledge_representation Knowledge representation] has traditionally been an important area of research at our department. In accordance, whole family of courses on this subject is offered to our students.

==Introduction to KR==

* Semantic fundamentals of knowledge systems (1-INF-470)

==Core KR courses==

* Representation, knowledge and reasoning (2-IKV-131)
* Knowledge representation and reasoning (2-AIN-144)
* Description logics, ontologies and the semantic web (1-AIN-646)
* Answers set programming (M-INCU-062)
* Programming in Prolog (M-INCU-022)
* Judegment involving uncertainty (2-AIN-245)

==Related courses==

Selection of courses that are also related to knowledge representation:

* Expert systems 1 (2-AIN-141)
* Expert systems 2 (2-AIN-241)
* Introduction to declarative programming (1-AIN-505)
* Declarative programming of web ppplications (1-AIN-425)
* Symbolic programming and LISP (M-INCU-021)
* Logic and cognitive science (2-IKV-261)

==Before you subscribe to KR course==

Before you subscribe to any of the KR courses, it is advised to have some background in logic and in artificial intelligence (AI). It is best if you have the background informations beforehand but usually it is also possible to take your KR course together the pre-required courses (same semester).
We advice that you take one of the AI courses:

* Fundamentals of artificial intelligence 1 (1-AIN-360)
* Fundamentals of artificial intelligence for cognitive science (2-IKV-103)

and at least one of the Logic courses:

* Introduction to mathematical logic (1-INF-210)
* Mathematical logic (2-INF-114)
* Logic for computer science (1-INF-450)
* Mathematical logic for cognitive science (2-IKV-267)
* Set theory and mathematical logic 1 (1-MAT-455)
* Set theory and mathematical logic 2 (1-MAT-480)

It also an advantage, if you have background in formal languages and automata, computational complexity. Recommended courses:

* Formal languages and automata 1 (1-INF-215)
* Formal languages and automata 2 (1-INF-410)
* Computational complexity (2-INF-124)

And finally, you should have background in databases, there are two courses taught at our faculty:

* Introduction to database systems (1-INF-230)
* Databases (1-INF-500)

Knowledge Representation (Course Package)

2008-02-14T15:54:11Z

Zzobsolete28: More courses, reorganized, names corrected (w.r.t. English info sheets)

[http://en.wikipedia.org/wiki/Knowledge_representation Knowledge representation] has traditionally been an important area of research at our department. In accordance, whole family of courses on this subject is offered to our students.

==Introduction to KR==

* Semantic fundamentals of knowledge systems (1-INF-470)

==Core KR courses==

* Representation, Knowledge and Reasoning (2-IKV-131)
* Knowledge Representation and Reasoning (2-AIN-144)
* Description Logics, ontologies and the semantic web (1-AIN-646)
* Answers set programming (M-INCU-062)
* Programming in Prolog (M-INCU-022)
* Judegment involving uncertainty (2-AIN-245)

==Related courses==

Selection of courses that are also related to knowledge representation:

* Expert systems 1 (2-AIN-141)
* Expert systems 2 (2-AIN-241)
* Introduction to declarative programming (1-AIN-505)
* Declarative Programming of Web Applications (1-AIN-425)
* Symbolic programming and LISP (M-INCU-021)
* Logic and cognitive science (2-IKV-261)

==Before you subscribe to KR course==

Before you subscribe to any of the KR courses, it is advised to have some background in logic and in artificial intelligence (AI). It is best if you have the background informations beforehand but usually it is also possible to take your KR course together the pre-required courses (same semester).
We advice that you take one of the AI courses:

* Fundamentals of artificial intelligence 1 (1-AIN-360)
* Fundamentals of artificial intelligence for Cognitive Science (2-IKV-103)

and at least one of the Logic courses:

* Introduction to mathematical logic (1-INF-210)
* Mathematical logic (2-INF-114)
* Logic for computer science (1-INF-450)
* Mathematical logic for cognitive science (2-IKV-267)
* Set theory and mathematical logic 1 (1-MAT-455)
* Set theory and mathematical logic 2 (1-MAT-480)

Knowledge Representation (Course Package)

2008-02-14T15:23:01Z

Zzobsolete28: Prerequisities

Knowledge Representation (Course Package)

2008-02-08T12:47:19Z

Zzobsolete28:

Knowledge Representation (Course Package)

2008-02-08T12:46:28Z

Zzobsolete28: New page: Knowledge representation has traditionally been an important area of research at our department. In accordance, whole family of co...

[[http://en.wikipedia.org/wiki/Knowledge_representation|Knowledge representation]] has traditionally been an important area of research at our department. In accordance, whole family of courses on this subject is offered to our students. Core KR courses are:

* Semantic basics of knowledge systems (1-INF-470)
* Representation, Knowledge and Inference (2-IKV-131)
* Knowledge Representation and Reasoning (2-AIN-144)

Advanced courses are:

* Description Logics, ontologies and the semantic web (1-AIN-646)
* Answers set programming (M-INCU-062)

Selection of courses that are also related to knowledge representation:

* Expert systems 1 (2-AIN-141)
* Expert systems 2 (2-AIN-241)
* Introduction to declarative programming (1-AIN-505)
* Symbolic programming and LISP (M-INCU-021)

Instructions

2007-11-16T08:41:23Z

Zzobsolete28: Just rephrasing

This is wiki of Department of Applied Informatics (DAI). Wiki is a powerful tool for creation of web pages which are editable directly in the browser which visualizes them.

The purpose of our wiki is to communicate information about DAI to our colleagues, our students and to the general public as well. As an employee of DAI you can contribute to this wiki.

Any employee of the department can create an account from computer located on the departmental LAN (static IPs). Then can use the account for access from anywhere. Obtaining the access this way, they can easily to put any information in this wiki to be available for our colleagues, students or visitors.

To edit a page or its section, just click to edit label when the page is displayed. Then follow the rules of wikitext language. Fortunately, if you just adding info to existing structures, you do not need to know all the wikitext syntax before you begin. Just copy a piece, modify it and save the page. Each list of info is starting with instructions where to copy an example which have to be used for the page extension.

You can learn more about wikitext language on the [[test page]].

Instructions

2007-11-16T08:39:11Z

Zzobsolete28:

This is wiki of Department of Applied Informatics (DAI). Wiki is a powerful tool for creation of web pages which are editable directly in the browser which visualizes them.

The purpose of our wiki is to communicate information about DAI to our colleagues, our students and to the general public as well. As an employee of DAI you can contribute to this wiki.

Any employee of the department can create an account from computer located on the departmental LAN (static IPs). Then can use the account for access from anywhere. Obtaining the access this way, they can easily to put any information in this wiki to be available for our colleagues, students or visitors.

To edit a page or its section, just click to edit label when the page is displayed. Then follow rules for wiki language. Fortunately, if you just adding info to existing structures, you do not need to know wiki language at all. Just copy a piece, modify it and save. Each list of info is starting with instructions where to copy an example which have to be used for the page extension.

You can learn more about wiki language on the [[test page]].

Instructions

2007-11-16T08:37:37Z

Zzobsolete28:

This is wiki of Department of Applied Informatics (DAI). Wiki is a powerful tool for creation of web pages which are editable directly in the browser which visualizes them.

The purpose of our wiki is to communicate information about DAI to our colleagues, our students and to the general public as well. As an employee of DAI you can contribute to this wiki.

Any employee of the department can create an account from computer located on the departmental LAN (static IPs). Then can use the account for access from anywhere. Having access they can easily to put there any information to be available for colleagues, students or visitors.

To edit a page or its section, just click to edit label when the page is displayed. Then follow rules for wiki language. Fortunately, if you just adding info to existing structures, you do not need to know wiki language at all. Just copy a piece, modify it and save. Each list of info is starting with instructions where to copy an example which have to be used for the page extension.

You can learn more about wiki language on the [[test page]].

Instructions

2007-11-16T08:36:42Z

Zzobsolete28:

This is wiki of Department of Applied Informatics (DAI). Wiki is a powerful tool for creation of web pages which are editable directly in the browser which visualizes them.

The purpose of our wiki is to communicate information about DAI to our colleagues, our students and to the general public as well. As an employee of DAI you can contribute to this wiki.

Any employee of the department can create an account from computer located on departmental LAN. Then can use the account for access from anywhere. Having access they can easily to put there any information to be available for colleagues, students or visitors.

To edit a page or its section, just click to edit label when the page is displayed. Then follow rules for wiki language. Fortunately, if you just adding info to existing structures, you do not need to know wiki language at all. Just copy a piece, modify it and save. Each list of info is starting with instructions where to copy an example which have to be used for the page extension.

You can learn more about wiki language on the [[test page]].

Diskusia s redaktorom:Vanco

2007-10-26T11:43:09Z

Zzobsolete28: New page: Hi Pavol! Thanks for your profile info! Feel free to contribute to the wiki. Esp. to the Theses page-- ~~~~

Hi Pavol! Thanks for your profile info! Feel free to contribute to the wiki. Esp. to the [[Theses]] page-- [[User:Tbc|Tbc]] 13:43, 26 October 2007 (CEST)