Zobrazenie zdroja stránky KR Group

[[Image:kr.png|right]] The KR research group at [[Profile|DAI]], chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation and Reasoning(KR&R).


== Group Focus ==

Our main interests within KR&R 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]

== Activities ==

KR Group organizes irregular sessions of the [[KR Seminar]] where the group members and sometimes invited speakers present latest advances in their research.

== Projects ==

* (May 2008--Dec 2008) ''Surveying and improving semantic properties of distributed ontologies.'' Project no. UK/365/2008 awarded by Comenius University. Narrowly focused project aiming at comparing different existing formalisms for representing distributed ontologies.

* (Aug 2005--Oct 2007) ''An environment for specification of multiagent systems.'' Project. no. APVV-20-P04805 awarded by Slovak Research and Development Agency. The goal of the project has been to propose a logic-based approach to multi-agent systems specification as an alternative to the environments based on the imperative programming paradigm. Agent's capability of reasoning with incomplete and evolving knowledge has been emphasized.

== Selected Recent Publications ==

* Martin Homola and Luciano Serafini. [http://ii.fmph.uniba.sk/~homola/papers/krow2008.pdf Towards Distributed Tableaux Reasoning Procedure for DDL with Increased Subsumption Propagation between Remote Ontologies]. In: Thomas Meyer and Mehmet A. Orgun (eds.), Advances in Ontologies, Procs. of Knowledge Representation Ontology Workshop (KROW 2008). Sydney, Australia. Australian Computer Society, CRPIT, vol. 90, September 17, 2008.
* Juraj Frank and Martin Homola. [http://kedrigern.dcs.fmph.uniba.sk/reports/download.php?id=15 Ontology-driven Categorization of Blog Postings: A Scenario]. Technical report no. TR-2008-014, Comenius University, Faculty of Mathematics Physics and Informatics, Bratislava, Slovakia, 2008.
* Martin Homola. [http://ii.fmph.uniba.sk/~homola/papers/dl2008.pdf Subsumption Propagation between Remote Ontologies in Distributed Description Logic]. In: Franz Baader, Carsten Lutz and Boris Motik (eds.), Pocs. of the 21st International Workshop on Description Logics (DL2008). Dresden, Germany. CEUR-WS, vol. 353, 2008.
* Martin Homola. [http://ii.fmph.uniba.sk/~homola/papers/dl2007.pdf Distributed Description Logics Revisited]. In: Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Sergio Tessaris and Anni-Yasmin Turhan (eds.), Pocs. of the 20th International Workshop on Description Logics (DL' 07). Brixen/Bressanone, Italy. Bozen-Bolzano University Press, CEUR-WS, vol. 250, 2007