d
 
(10 intermediate revisions by 4 users not shown)
Riadok 1: Riadok 1:
[[Image:kr.png|right]] The KR research group at [[Introduction|DAI]], chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation and Reasoning (KR&R).
+
= KR Research Group [[Image:kr.png|right]] =
 +
__TOC__
 +
The KR research group at [[Introduction|DAI]], chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation and Reasoning (KR&R).
  
  
Riadok 10: Riadok 12:
 
* Answer set programming
 
* Answer set programming
 
* Dynamic logic programming
 
* Dynamic logic programming
 +
* Argumentation
 
* Semantic Web
 
* Semantic Web
 
* Ontologies
 
* Ontologies
 
+
* Description Logics
 +
* Abduction
  
 
== Group Members ==
 
== Group Members ==
  
*[[Jan Sefranek|Ján Šefránek]] (group chair)
 
 
*[[Martin Balaz|Martin Baláž]]
 
*[[Michal Certicky|Michal Čertický]]
 
 
*[[Martin Homola]]
 
*[[Martin Homola]]
*[[Michal Maly|Michal Malý]]
+
*[[Jan Kluka|Ján Kľuka]]
*[[Peter Klimo]]
+
*[[Julia Pukancova|Júlia Pukancová]]
 +
*[[Jan Sefranek|Ján Šefránek]]
 +
*[[Alexander Simko|Alexander Šimko]]
 
*[[Jozef Siska|Jozef Šiška]]
 
*[[Jozef Siska|Jozef Šiška]]
  
 
+
<!--
 
== Activities ==
 
== Activities ==
  
 
KR Group organizes irregular sessions of the [[KR Seminar]] where the group members and sometimes invited speakers present latest advances in their research.
 
KR Group organizes irregular sessions of the [[KR Seminar]] where the group members and sometimes invited speakers present latest advances in their research.
 
+
-->
  
 
== Projects ==
 
== Projects ==
  
 +
* 2010 - 2011 ''Representation of incomplete, evolving and distributed knowledge (in a cooperation with a communication platform)''
 
* (Jan 2006--Dec 2008) ''Dynamic aspects of knowledge representation -- from theoretical foundations to applications.'' Project no. VEGA 1/31/2006 awarded by Slovak Ministry of Education and Slovak Academy od Sciences. The project is focused on semantic problems of logic program updates, prioritized logic programming, distributed description logics. We are aiming also at applications of the fields of our theoretical interests to representation of the world of compuiter games, to multi-agent systems and to the legal reasoning.
 
* (Jan 2006--Dec 2008) ''Dynamic aspects of knowledge representation -- from theoretical foundations to applications.'' Project no. VEGA 1/31/2006 awarded by Slovak Ministry of Education and Slovak Academy od Sciences. The project is focused on semantic problems of logic program updates, prioritized logic programming, distributed description logics. We are aiming also at applications of the fields of our theoretical interests to representation of the world of compuiter games, to multi-agent systems and to the legal reasoning.
 
* (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.
 
* (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.
Riadok 38: Riadok 41:
  
 
== Selected Recent Publications ==
 
== Selected Recent Publications ==
 +
 +
For more recent publications, please visit our DBLP and Scholar profiles:
 +
* Martin Homola: [https://dblp.uni-trier.de/pers/hd/h/Homola:Martin DBLP], [https://scholar.google.com/citations?user=kzCtlCkAAAAJ&hl=en&oi=ao Scholar]
 +
* Ján Kľuka: [https://dblp.uni-trier.de/pers/hd/k/Kluka:Jan DBLP], [https://scholar.google.com/citations?user=EivCF5AAAAAJ&hl=en Scholar]
 +
* Júlia Pukancová: [https://dblp.uni-trier.de/pers/hd/p/Pukancov=aacute=:J=uacute=lia DBLP], [https://scholar.google.com/citations?user=31B1_XUAAAAJ&hl=en Scholar]
 +
* Ján Šefránek [https://dblp.uni-trier.de/pers/hd/s/Sefr=aacute=nek:J=aacute=n DBLP], [https://scholar.google.com/citations?user=FtuWmoEAAAAJ&hl=en Scholar]
 +
* Alexander Šimko [https://dblp.uni-trier.de/pers/hd/s/Simko:Alexander DBLP], [https://scholar.google.com/citations?user=FWls1EkAAAAJ&hl=en Scholar]
 +
* Jozef Šiška [https://dblp.uni-trier.de/pers/hd/s/Siska:Jozef DBLP]
 +
 +
=== 2010, 2011 ===
 +
 +
==== Communication platform ====
 +
 +
* [http://breakk.no-ip.org/files/publications/wikt2011_submission_29.pdf M. Čertický, J Šiška, M. Vince. LCP: A Lightweight Communication Platform for Heterogenous Multi-context Systems.] In Proceedings of 6th Workshop on Intelligent and Knowledge oriented Technologies (WIKT'11), 2011.
 +
 +
* [http://breakk.no-ip.org/files/publications/Lightweight-Communication-Platform-for-heterogenous-MCS.pdf V. Dziuban, M. Čertický, J. Šiška, M. Vince. A Lightweight Agent Communication Platform for Heterogeneous Multi-context Systems: A Preliminary Report.] In proceedings of 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-11), Log-IC workshop.
 +
 +
* [http://breakk.no-ip.org/files/publications/svk-2011-paper.pdf M. Vince, M. Čertický, V. Dziuban Decentralized Lightweight Communication Platform for Heterogeneous Multi-context Systems.] Student Research Conference 2011.
 +
 +
==== Sémantic web, multi-context systems ====
 +
 +
* Luciano Serafini and Martin Homola: [http://ii.fmph.uniba.sk/~homola/papers/swim2010.pdf Modular Knowledge Representation and Reasoning in the Semantic Web]. In: R. De Virgilio, F. Giunchiglia, and L. Tanca (eds.), Semantic Web Information Management: A Model-Based Perspective. Springer, 2010.
 +
 +
* Martin Homola and Luciano Serafini: [http://ii.fmph.uniba.sk/~homola/papers/aai2010.pdf Augmenting Subsumption Propagation in Distributed Description Logics]. Applied Artificial Intelligence. 24(1-2):137-174. Taylor and Francis, 2010.
 +
 +
* Martin Homola and Luciano Serafini: [http://ii.fmph.uniba.sk/~homola/papers/dl2010.pdf Towards Formal Comparison of Ontology Linking, Mapping and Importing]. In: Procs. of the 23rd International Workshop on Description Logics (DL2010). CEUR-WS, vol. 573, 2010.
 +
 +
* Juraj Frank, Vladimír Dziuban, and Martin Homola. [http://ii.fmph.uniba.sk/~homola/papers/uikv2010.pdf Sémantický web: niektoré aktuálne výzvy]. In: V. Kvasnička, J. Pospíchal, P. Návrat, P. Lacko, and P. Trebatický (eds.), Umelá inteligencia a kognitívna veda II. Vydavateľstvo STU, 2010.
 +
 +
* Martin Homola, Andrei Tamilin, and Luciano Serafini. [http://ii.fmph.uniba.sk/~homola/papers/ciao2010.pdf Modeling Contextualized Knowledge]. In: Procs. of the 2nd Workshop on Context, Information and Ontologies. CEUR-WS, vol. 626, 2010.
 +
 +
* Luciano Serafini and Martin Homola. [http://ii.fmph.uniba.sk/~homola/papers/dl2011.pdf Contextual Representation and Reasoning with Description Logics]. In: Procs. of the 24th International Workshop on Description Logics (DL 2011). CEUR-WS, vol. 745, 2011.
 +
 +
* Luciano Serafini and Martin Homola. [http://ii.fmph.uniba.sk/~homola/papers/jws2012.pdf Contextualized Knowledge Repositories for the Semantic Web]. Journal of Web Semantics, Special Issue: Reasoning with Context in the Semantic Web. To Appear. Elsevier, 2012. Preprint available: http://dx.doi.org/10.1016/j.websem.2011.12.003 .
 +
 +
* [https://www.dai.fmph.uniba.sk/~frtus/wikt2011.pdf Jozef Frtús, Martin Baláž: Defeasible Logic Programs in Multi-Context Systems. WIKT 2011]
 +
 +
==== Representation formalisms, comparisons, applications ====
 +
 +
===== argumentation frameworks  =====
 +
 +
* [http://www.ii.fmph.uniba.sk/~sefranek/online/paper8.WLP11.pdf Monika Adamová, Ján Šefránek: Transfer of argumentation semantics to logic programming. WLP 2011]
 +
 +
* [http://www.ii.fmph.uniba.sk/~sefranek/online/znalosti2011.pdf Jozef Frtús, Ján Šefránek: Riešenie konfliktov vo vyvrátiteľnom a dynamickom logickom programe, In Proceedings of Znalosti 2011, CEUR Workshop Proceedings Vol-802]
 +
 +
* [https://www.dai.fmph.uniba.sk/~frtus/wikt2011.pdf Jozef Frtús, Martin Baláž: Defeasible Logic Programs in Multi-Context Systems. WIKT 2011]
 +
 +
===== modularity =====
 +
 +
* [http://ceur-ws.org/Vol-802/paper3.pdf Jozef Šiška: Declarative Description of Module Dependencies in Logic Programming, In Proceedings of Znalosti 2011, CEUR Workshop Proceedings Vol-802, http://ceur-ws.org/Vol-802/]
 +
 +
===== preferences =====
 +
 +
* [http://www.ii.fmph.uniba.sk/~sefranek/online/paper9.WLP11.pdf Ján Šefránek, Alexander Šimko: Warranted derivation of preferred answer sets. WLP 2011]
 +
 +
* [http://www.dai.fmph.uniba.sk/~simko/papers/svk2011.pdf Alexander Šimko: Preferred answer sets - banned generating set approach]. Študentská vedecká konferencia FMFI UK, Bratislava 2011 : Zborník príspevkov, Bratislava : Fakulta matematiky, fyziky a informatiky UK, 2011 S. 326-333
 +
 +
* [http://www.dai.fmph.uniba.sk/~simko/papers/iclp2011.pdf Alexander Šimko: Accepting the natural order of rules in a logic program with preferences]. Technical Communications of the 27th International Conference on Logic Programming, Schloss Dagstuhl : Leibniz-Center for Informatics, 2011 S. 284-288
 +
 +
* [http://www.dai.fmph.uniba.sk/~simko/papers/wikt2011.pdf Alexander Šimko: Detection of Irrelevant Preferences in Logic programs]. 6th Workshop on Intelligent and Knowledge oriented Technologies, 2011 S. 51-56
 +
 +
===== updates =====
 +
 +
* [http://www.ii.fmph.uniba.sk/~sefranek/online/camMIC.pdf Ján Šefránek: Static and dynamic semantics, Preliminary report MICAI 2011. Special sesssion]
 +
 +
===== planning, action descriptions, action learning =====
 +
 +
* [http://breakk.no-ip.org/files/publications/wikt2011_submission_1.pdf M. Čertický. Decomposition Trick for Planning with Answer Set Semantics.] In Proceedings of 6th Workshop on Intelligent and Knowledge oriented Technologies (WIKT'11), 2011.
 +
 +
* [http://breakk.no-ip.org/files/publications/Enhancing-ASP-based-Planning-by-Heuristic-Graph-search-Techniques.pdf M. Čertický. Enhancing ASP-based Planning by Heuristic Graph-search Techniques.] Technical Reports, Comenius University, Bratislava, 2011.
 +
 +
* [http://breakk.no-ip.org/files/publications/kuz_2010_ik-strips.pdf M. Čertický. Planning on Symbolic World Models with Stable-model Semantics.] Cognition and Artificial Life X Proceedings, 2010.
 +
 +
* [http://breakk.no-ip.org/files/publications/svk_2010_proceedings.pdf M. Čertický. Fluent-free Action Representation with IK-STRIPS Planning Formalism.] Student Research Conference 2010.
 +
 +
* [http://breakk.no-ip.org/files/publications/ik-strips-report.pdf M. Čertický IK-STRIPS Formalism for Fluent-free Planning with Incomplete Knowledge.] Technical Reports, Comenius University, Bratislava, 2010.
 +
 +
* M. Čertický. [http://breakk.no-ip.org/files/publications/icas2012.pdf Action Learning with Reactive Answer Set Programming: Preliminary Report], Accepted to The Eighth International Conference on Autonomic and Autonomous Systems (ICAS 2012).
 +
 
===2008===
 
===2008===
 +
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/sefranekNMR08.pdf Preferred answer sets supported by arguments]. In Proc. of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR-2008), Sydney, Australia, 2008.
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/sefranekNMR08.pdf Preferred answer sets supported by arguments]. In Proc. of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR-2008), Sydney, Australia, 2008.
 
* Homola, M. and Serafini, L.: [http://ii.fmph.uniba.sk/~homola/papers/krow2008.pdf Towards Distributed Tableaux Reasoning Procedure for DDL with Increased Subsumption Propagation between Remote Ontologies]. In: Advances in Ontologies, Procs. of Knowledge Representation Ontology Workshop (KROW 2008). Sydney, Australia. Australian Computer Society, CRPIT, vol. 90, September 17, 2008.
 
* Homola, M. and Serafini, L.: [http://ii.fmph.uniba.sk/~homola/papers/krow2008.pdf Towards Distributed Tableaux Reasoning Procedure for DDL with Increased Subsumption Propagation between Remote Ontologies]. In: Advances in Ontologies, Procs. of Knowledge Representation Ontology Workshop (KROW 2008). Sydney, Australia. Australian Computer Society, CRPIT, vol. 90, September 17, 2008.
 
* Frank, J. and Homola, M.: [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.
 
* Frank, J. and Homola, M.: [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.
 
* Homola, M.: [http://ii.fmph.uniba.sk/~homola/papers/dl2008.pdf Subsumption Propagation between Remote Ontologies in Distributed Description Logic]. Pocs. of the 21st International Workshop on Description Logics (DL2008). Dresden, Germany. CEUR-WS, vol. 353, 2008.
 
* Homola, M.: [http://ii.fmph.uniba.sk/~homola/papers/dl2008.pdf Subsumption Propagation between Remote Ontologies in Distributed Description Logic]. Pocs. of the 21st International Workshop on Description Logics (DL2008). Dresden, Germany. CEUR-WS, vol. 353, 2008.
 +
 
===2007===
 
===2007===
 +
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/cai2006.pdf Updates of Logic Programs]. In: Computing and Informatics. Vol. 26, no. 3, 2007.
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/cai2006.pdf Updates of Logic Programs]. In: Computing and Informatics. Vol. 26, no. 3, 2007.
 
* Homola, M.: [http://ii.fmph.uniba.sk/~homola/papers/dl2007.pdf Distributed Description Logics Revisited]. In: Pocs. of the 20th International Workshop on Description Logics (DL' 07). Brixen/Bressanone, Italy. Bozen-Bolzano University Press, CEUR-WS, vol. 250, 2007.
 
* Homola, M.: [http://ii.fmph.uniba.sk/~homola/papers/dl2007.pdf Distributed Description Logics Revisited]. In: Pocs. of the 20th International Workshop on Description Logics (DL' 07). Brixen/Bressanone, Italy. Bozen-Bolzano University Press, CEUR-WS, vol. 250, 2007.
 +
 
===2006===
 
===2006===
 +
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/jelia06Full.pdf Irrelevant updates and nonmonotonic assumtions]. In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. LNCS vol. 4160, Springer 2006.
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/jelia06Full.pdf Irrelevant updates and nonmonotonic assumtions]. In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. LNCS vol. 4160, Springer 2006.
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/REVnmr06jSefranek.pdf Rethinking semantics of dynamic logic programming]. In: Proc. Eleventh International Workshop on Non-Monotonic Reasoning (NMR06), Lake District, UK, 2006.
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/REVnmr06jSefranek.pdf Rethinking semantics of dynamic logic programming]. In: Proc. Eleventh International Workshop on Non-Monotonic Reasoning (NMR06), Lake District, UK, 2006.
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/jsECAI06.pdf Irrelevant updates of nonmonotonic knowledge bases]. In: Proc. of the 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 2006.
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/jsECAI06.pdf Irrelevant updates of nonmonotonic knowledge bases]. In: Proc. of the 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 2006.
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/jsWlp06.pdf Nonmonotonic integrity constraints]. In: Proc. of the 10th Workshop on logic programming, Vienna, Austria, 2006.
 
* Sefranek, J.: [http://ii.fmph.uniba.sk/~sefranek/online/jsWlp06.pdf Nonmonotonic integrity constraints]. In: Proc. of the 10th Workshop on logic programming, Vienna, Austria, 2006.
 +
 +
[[Category:Research]]

Aktuálna revízia z 09:48, 24. september 2018

KR Research Group
Kr.png

The KR research group at 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
  • Argumentation
  • Semantic Web
  • Ontologies
  • Description Logics
  • Abduction

Group Members


Projects

  • 2010 - 2011 Representation of incomplete, evolving and distributed knowledge (in a cooperation with a communication platform)
  • (Jan 2006--Dec 2008) Dynamic aspects of knowledge representation -- from theoretical foundations to applications. Project no. VEGA 1/31/2006 awarded by Slovak Ministry of Education and Slovak Academy od Sciences. The project is focused on semantic problems of logic program updates, prioritized logic programming, distributed description logics. We are aiming also at applications of the fields of our theoretical interests to representation of the world of compuiter games, to multi-agent systems and to the legal reasoning.
  • (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

For more recent publications, please visit our DBLP and Scholar profiles:

2010, 2011

Communication platform

Sémantic web, multi-context systems

  • Juraj Frank, Vladimír Dziuban, and Martin Homola. Sémantický web: niektoré aktuálne výzvy. In: V. Kvasnička, J. Pospíchal, P. Návrat, P. Lacko, and P. Trebatický (eds.), Umelá inteligencia a kognitívna veda II. Vydavateľstvo STU, 2010.
  • Martin Homola, Andrei Tamilin, and Luciano Serafini. Modeling Contextualized Knowledge. In: Procs. of the 2nd Workshop on Context, Information and Ontologies. CEUR-WS, vol. 626, 2010.

Representation formalisms, comparisons, applications

argumentation frameworks
modularity
preferences
updates
planning, action descriptions, action learning

2008

2007

2006