Hlavné menu

KR Seminar: Rozdiel medzi revíziami
 
(20 medziľahlých úprav od 3 ďalších používateľov nie je zobrazených)
Riadok 1: Riadok 1:
−
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.
+
The regular bi-weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on '''TBA''' in room '''TBA'''. 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].
 
Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].
Riadok 6: Riadok 6:
  
 
{{Event
 
{{Event
−
   | when = 8 December 2008 14:00
+
   | when = 12th December 2014, 13:00
 
   | where = I-9
 
   | where = I-9
 
   | type = seminar
 
   | type = seminar
−
   | who = Martin Baláž
+
   | who = Alexander Šimko
−
   | what = Well-Supported Models of MDLP
+
   | what = Logic Programming with Preferences on Rules
 
   | link =
 
   | link =
 
}}
 
}}
−
 
+
We will talk about logic programming under the answer set semantics extended with preferences on rules. First, we will concentrate on principles, key properties, that one can expect a semantics for logic programs with preferences to satisfy. We will show connections between the principles and evaluate existing semantics w.r.t. principles. Then we will focus on understanding preferences as a mechanism for encoding exceptions between rules, and express requirements on semantics for such understading of preferences in terms of presented principles. We wil conclude that none of the existing semantics satisfies the requirement. Finally we will present a semantics that satisfies all the requirements.
−
* On Sat 06 September there will be a [[AI_Seminar_-_Special_Session_no_1|special session of the AI Seminar]].
+
  
 
==Past Talks==
 
==Past Talks==
  
 +
{{Event
 +
  | when = 22 October 2013
 +
  | where = I-7
 +
  | type = seminar
 +
  | who = Alexander Šimko
 +
  | what = Logic Programming with Preferences
 +
  | link =
 +
}}
 +
 +
{{Event
 +
  | when = 2 December 2013
 +
  | where = TBA
 +
  | type = seminar
 +
  | who = Ján Kľuka
 +
  | what = Higher-Order Description Logics
 +
  | link =
 +
}}
 +
 +
{{Event
 +
  | when = 22 May 2013
 +
  | where = I-7
 +
  | type = seminar
 +
  | who = Ján Šefránek
 +
  | what = Argumentation semantics and update semantics
 +
  | link =
 +
}}
 +
 +
{{Event
 +
  | when = 7 May 2013
 +
  | where = I-7
 +
  | type = seminar
 +
  | who = Ján Šefránek
 +
  | what = Nonmonotonic Modal Logic
 +
  | link =
 +
}}
 +
 +
{{Event
 +
  | when = 19 April 2013
 +
  | where = I-9
 +
  | type = seminar
 +
  | who = Igor Sedlár
 +
  | what = Modal Logic 2
 +
  | link =
 +
}}
 +
{{Event
 +
  | when = 5 April 2013
 +
  | where = I-9
 +
  | type = seminar
 +
  | who = Igor Sedlár
 +
  | what = Modal Logic
 +
  | link =
 +
}}
 +
{{Event
 +
  | when = 20 March 2013
 +
  | where = M II
 +
  | type = seminar
 +
  | who = Michal Vince
 +
  | what = Lightweight Communication Platform
 +
  | link =
 +
}}
 +
{{Event
 +
  | when = 5 March 2013
 +
  | where = I-9
 +
  | type = seminar
 +
  | who = Martin Baláž, Jozef Frtús
 +
  | what = Structured Argumentation Frameworks
 +
  | link =
 +
}}
 +
{{Event
 +
  | when = 8 December 2008 14:00
 +
  | where = I-9
 +
  | type = seminar
 +
  | who = Martin Baláž
 +
  | what = Well-Supported Models of MDLP
 +
  | link =
 +
}}
 
{{Event
 
{{Event
 
   | when = 18 August 2008 14:00
 
   | when = 18 August 2008 14:00
Riadok 26: Riadok 101:
 
   | link =
 
   | link =
 
}}
 
}}
−
 
−
 
−
 
 
{{Event
 
{{Event
 
   | when = 28 July 2008 14:00
 
   | when = 28 July 2008 14:00
Riadok 37: Riadok 109:
 
   | link =
 
   | link =
 
}}
 
}}
−
 
 
{{Event
 
{{Event
 
   | when = 21 July 2008 14:00
 
   | when = 21 July 2008 14:00
Riadok 46: Riadok 117:
 
   | link =
 
   | link =
 
}}
 
}}
−
 
 
{{Event
 
{{Event
 
   | when = 14 July 2008 14:00
 
   | when = 14 July 2008 14:00
Riadok 55: Riadok 125:
 
   | link =
 
   | link =
 
}}
 
}}
−
 
 
{{Event
 
{{Event
 
   | when = 30 June 2008 14:00
 
   | when = 30 June 2008 14:00
Riadok 64: Riadok 133:
 
   | link =
 
   | link =
 
}}
 
}}
−
 
 
{{Event
 
{{Event
 
   | when = 9 June 2008 14:00
 
   | when = 9 June 2008 14:00
Riadok 73: Riadok 141:
 
   | link =
 
   | link =
 
}}
 
}}
−
 
 
{{Event
 
{{Event
 
   | when = 19 May 2008 14:00 (moved from 12th May)
 
   | when = 19 May 2008 14:00 (moved from 12th May)
Riadok 82: Riadok 149:
 
   | link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
 
   | link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
 
}}
 
}}
−
 
 
{{Event
 
{{Event
 
   | when = 05 May 2008 14:00
 
   | when = 05 May 2008 14:00
Riadok 91: Riadok 157:
 
   | link =
 
   | link =
 
}}
 
}}
−
 
 
{{Event
 
{{Event
 
   | when = 28 April 2008 14:00
 
   | when = 28 April 2008 14:00
Riadok 100: Riadok 165:
 
   | link =  
 
   | link =  
 
}}
 
}}
−
 
 
{{Event
 
{{Event
 
   | when = 21 April 2008 14:00
 
   | when = 21 April 2008 14:00
Riadok 109: Riadok 173:
 
   | link =  
 
   | link =  
 
}}
 
}}
−
 
 
{{Event
 
{{Event
 
   | when = 14 April 2008 14:00
 
   | when = 14 April 2008 14:00
Riadok 118: Riadok 181:
 
   | link =  
 
   | link =  
 
}}
 
}}
−
 
 
{{Event
 
{{Event
 
   | when = 31 March 2008 14:00
 
   | when = 31 March 2008 14:00

Aktuálna revízia z 15:39, 10. december 2014

The regular bi-weekly seminar of the KR Group headed by Ján Šefránek on TBA in room TBA. 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

12th December 2014, 13:00: Logic Programming with Preferences on Rules (seminar)

Who:
Alexander Šimko
Where:
I-9
Link:

We will talk about logic programming under the answer set semantics extended with preferences on rules. First, we will concentrate on principles, key properties, that one can expect a semantics for logic programs with preferences to satisfy. We will show connections between the principles and evaluate existing semantics w.r.t. principles. Then we will focus on understanding preferences as a mechanism for encoding exceptions between rules, and express requirements on semantics for such understading of preferences in terms of presented principles. We wil conclude that none of the existing semantics satisfies the requirement. Finally we will present a semantics that satisfies all the requirements.

Past Talks

22 October 2013: Logic Programming with Preferences (seminar)

Who:
Alexander Šimko
Where:
I-7
Link:


2 December 2013: Higher-Order Description Logics (seminar)

Who:
Ján Kľuka
Where:
TBA
Link:


22 May 2013: Argumentation semantics and update semantics (seminar)

Who:
Ján Šefránek
Where:
I-7
Link:


7 May 2013: Nonmonotonic Modal Logic (seminar)

Who:
Ján Šefránek
Where:
I-7
Link:


19 April 2013: Modal Logic 2 (seminar)

Who:
Igor Sedlár
Where:
I-9
Link:

5 April 2013: Modal Logic (seminar)

Who:
Igor Sedlár
Where:
I-9
Link:

20 March 2013: Lightweight Communication Platform (seminar)

Who:
Michal Vince
Where:
M II
Link:

5 March 2013: Structured Argumentation Frameworks (seminar)

Who:
Martin Baláž, Jozef Frtús
Where:
I-9
Link:

8 December 2008 14:00: Well-Supported Models of MDLP (seminar)

Who:
Martin Baláž
Where:
I-9
Link:

18 August 2008 14:00: Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (2) (seminar)

Who:
Martin Homola
Where:
I-9
Link:

28 July 2008 14:00: Modular declarative knowledge representation in computer games. (seminar)

Who:
Jozef Šiška
Where:
I-9
Link:

21 July 2008 14:00: Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (seminar)

Who:
Martin Homola
Where:
I-9
Link:

14 July 2008 14:00: On Declarative Programming, Theorem Proving, and Program Transformation (seminar)

Who:
Ján Kľuka
Where:
I-9
Link:

30 June 2008 14:00: Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles (seminar)

Who:
Martin Baláž
Where:
I-9
Link:

9 June 2008 14:00: Selection of Prefered Answer Sets (seminar)

Who:
Jan Sefranek
Where:
I-9
Link:

19 May 2008 14:00 (moved from 12th May): Cognitive Assembler (seminar)

Who:
Michal Malý
Where:
I-9
Link:
http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf

05 May 2008 14:00: Using Evolp for Representation of Beliefs and Goals in BDI architecture (seminar)

Who:
Peter Klimo
Where:
I-9
Link:

28 April 2008 14:00: Ontology-driven Categorization of Blog Postings (seminar)

Who:
Juraj Frank and Martin Homola
Where:
I-9
Link:

21 April 2008 14:00: Subsumption Propagation in Distributed Description Logic (seminar)

Who:
Martin Homola
Where:
I-9
Link:

14 April 2008 14:00: Defeasible Logic Programming and its Relation with Answer Set Programming (seminar)

Who:
Martin Baláž
Where:
I-9
Link:

31 March 2008 14:00: Employing Logic Programming in Computer Games (seminar)

Who:
Jozef Šiška
Where:
I-9
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.

Zdroj: „http://dev.dai.fmph.uniba.sk/w?title=KR_Seminar&oldid=12735“