(5 intermediate revisions by 2 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 13: Riadok 15:
 
* Semantic Web
 
* Semantic Web
 
* Ontologies
 
* Ontologies
 +
* Description Logics
 +
* Abduction
  
 
== Group Members ==
 
== Group Members ==
  
*[[Martin Balaz|Martin Baláž]]
 
*[[Michal Certicky|Michal Čertický]]
 
*[[Jozef Frtus|Jozef Frtús]]
 
 
*[[Martin Homola]]
 
*[[Martin Homola]]
 +
*[[Jan Kluka|Ján Kľuka]]
 +
*[[Julia Pukancova|Júlia Pukancová]]
 
*[[Jan Sefranek|Ján Šefránek]]
 
*[[Jan Sefranek|Ján Šefránek]]
 
*[[Alexander Simko|Alexander Šimko]]
 
*[[Alexander Simko|Alexander Šimko]]
 
*[[Jozef Siska|Jozef Šiška]]
 
*[[Jozef Siska|Jozef Šiška]]
*[[MIchal Vince | MIchal Vince]]
 
  
 +
<!--
 
== 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 ==
Riadok 37: 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 ===
 
=== 2010, 2011 ===
Riadok 126: Riadok 138:
 
* 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