KR Group - História úprav

Kluka na 07:17, 7. október 2015

2015-10-07T07:17:43Z

Kluka: Logo

2015-09-03T20:26:26Z

Logo

Kluka: Nadpis a umiestnenie obsahu

2015-09-03T20:20:51Z

Nadpis a umiestnenie obsahu

Sefranek na 10:52, 27. september 2012

2012-09-27T10:52:42Z

Balaz na 21:54, 19. apríl 2012

2012-04-19T21:54:34Z

Sefranek na 15:06, 19. apríl 2012

2012-04-19T15:06:34Z

Sefranek na 14:09, 19. apríl 2012

2012-04-19T14:09:46Z

Sefranek na 14:08, 19. apríl 2012

2012-04-19T14:08:02Z

Certicky na 21:59, 22. január 2012

2012-01-22T21:59:52Z

Homola: Linking to DAIWiki ppl. profiles instead of homepages

2008-10-24T06:43:19Z

Linking to DAIWiki ppl. profiles instead of homepages

← Staršia verzia		Verzia zo dňa a času 07:17, 7. október 2015
Riadok 128:		Riadok 128:
	* 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]]

@@ Riadok 1: / Riadok 1: @@
-= KR Research Group =
+= KR Research Group [[Image:kr.png|right]] =
 __TOC__
-[[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).
+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).

← Staršia verzia		Verzia zo dňa a času 20:20, 3. september 2015
Riadok 1:		Riadok 1:
		+	= KR Research Group =
		+	__TOC__
	[[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).		[[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).

@@ Riadok 23: / Riadok 23: @@
 *[[Alexander Simko|Alexander Šimko]]
 *[[Jozef Siska|Jozef Šiška]]
 == Activities ==

@@ Riadok 10: / Riadok 10: @@
 * Answer set programming
 * Dynamic logic programming
 * Semantic Web
 * Ontologies
 == Group Members ==
@@ Riadok 18: / Riadok 18: @@
 *[[Martin Balaz|Martin Baláž]]
 *[[Michal Certicky|Michal Čertický]]
-*[[Jozef Frtus|Jozef Frtus]]
+*[[Jozef Frtus|Jozef Frtús]]
 *[[Martin Homola]]
 *[[Jan Sefranek|Ján Šefránek]]
-*[[Alexander Simko | Alexander simko]]
+*[[Alexander Simko|Alexander Šimko]]
-*[[ Jozef Siska | Jozef Siska ]]
+*[[Jozef 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 ==
-* 2010 - 2011 ``Representation of incomplete, evolving and distributed knowledge (in a cooperation with a communication platform)''
+* 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.
@@ Riadok 49: / Riadok 46: @@
 * [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 ====
@@ Riadok 68: / Riadok 64: @@
 * [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 ====
@@ Riadok 83: / Riadok 78: @@
 * [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 =====
@@ Riadok 98: / Riadok 92: @@
 * [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 =====
@@ Riadok 114: / Riadok 107: @@
 * 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).
 * 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.
 * 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.
 ===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.
 ===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/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.

@@ Riadok 31: / Riadok 31: @@
 == Projects ==
 * (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.
@@ Riadok 37: / Riadok 39: @@
 == Selected Recent Publications ==
 ===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.

← Staršia verzia		Verzia zo dňa a času 14:09, 19. apríl 2012
Riadok 23:		Riadok 23:
	*[[Alexander Simko \| Alexander simko]]		*[[Alexander Simko \| Alexander simko]]
	*[[ Jozef Siska \| Jozef Siska ]]		*[[ Jozef Siska \| Jozef Siska ]]
−	*[[Jozef Siska\|Jozef Šiška]]

@@ Riadok 16: / Riadok 16: @@
 == Group Members ==
-*[http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] (group chair)
+*[[Jan Sefranek|Ján Šefránek]] (group chair)
-*[http://ii.fmph.uniba.sk/~balaz/ Martin Baláž]
+*[[Martin Balaz|Martin Baláž]]
-*[http://ii.fmph.uniba.sk/~homola/ Martin Homola]
+*[[Martin Homola]]
-*Michal Malý
+*[[Michal Maly|Michal Malý]]
-*Peter Klimo
+*[[Peter Klimo]]
-*[http://ii.fmph.uniba.sk/~siska/ Jozef Šiška]
+*[[Jozef Siska|Jozef Šiška]]