This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
kese:kese8 [2012/07/26 23:58] joaquin |
kese:kese8 [2019/06/27 15:50] (current) |
||
|---|---|---|---|
| Line 43: | Line 43: | ||
| **Tuesday morning, 28th August 2012** | **Tuesday morning, 28th August 2012** | ||
| - | **Session 1. 9:00 – 11:10.** Chair: Grzegorz J. Nalepa | + | **Session 1. 8:30 – 10:40.** Chair: Grzegorz J. Nalepa |
| //(full and tool talks are 15 min + 10 min discussion)// | //(full and tool talks are 15 min + 10 min discussion)// | ||
| Line 56: | Line 56: | ||
| - | **Coffee Break. 11:10 - 11:40.** | + | **Coffee Break. 10:40 - 11:10.** |
| - | **Session 2. 11:40 – 13:20.** Chair: Joachim Baumeister | + | **Session 2. 11:10 – 12:50.** Chair: Joachim Baumeister |
| //(full talks are 15 min + 10 min discussion; short talks are 10 min + 5 min discussion)// | //(full talks are 15 min + 10 min discussion; short talks are 10 min + 5 min discussion)// | ||
| Line 65: | Line 65: | ||
| * Krzysztof Kaczor and Grzegorz J. Nalepa. //Critical evaluation of the XTT2 rule representation through comparison with CLIPS// (full) | * Krzysztof Kaczor and Grzegorz J. Nalepa. //Critical evaluation of the XTT2 rule representation through comparison with CLIPS// (full) | ||
| * Martina Freiberg and Frank Puppe. //Template-based Extensible Prototyping for Creativity- and Usability-Oriented Knowledge Systems Development// (short) | * Martina Freiberg and Frank Puppe. //Template-based Extensible Prototyping for Creativity- and Usability-Oriented Knowledge Systems Development// (short) | ||
| - | * Antoni Ligeza, Weronika T. Adrian and Przemysław Ciezkowski. //Collaborative Knowledge Engineering for Improving Local Safety in Urban Environment// (short) | + | * Antoni Ligeza, Weronika T. Adrian and Przemysław Ciezkowski. //Towards Collaborative Knowledge Engineering for Improving Local Safety in Urban Environment// (short) |
| * Lorina Negreanu and Irina Mocanu. //Formal Verification of Service Requests in a Multi-Agent System using Event-B Method// (short) | * Lorina Negreanu and Irina Mocanu. //Formal Verification of Service Requests in a Multi-Agent System using Event-B Method// (short) | ||
| * //KESE8 Closing// | * //KESE8 Closing// | ||
| Line 122: | Line 122: | ||
| See [[http://www2.lirmm.fr/ecai2012//|ECAI 2012 site]] | See [[http://www2.lirmm.fr/ecai2012//|ECAI 2012 site]] | ||
| + | |||
| + | ===== Post-proceedings ===== | ||
| + | |||
| + | KESE8 post-proceedings are now online at CEUR-WS.org: [[http://ceur-ws.org/Vol-949|http://ceur-ws.org/Vol-949]] | ||
| + | |||
| + | The full document is available at [[http://hdl.handle.net/10835/1791|http://hdl.handle.net/10835/1791]] | ||
