Campus Event Calendar: Florian Widmann (09/07/2010 in E1 3/528)

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

New for: D3

What and Who

From Trees to Graphs

Florian Widmann

Imperial College, London

Talk

AG 1, AG 3, AG 5, SWS, AG 4, RG1, MMCI

AG Audience

English

Note: We use this to send email in the morning.

Date, Time and Location

Tuesday, 7 September 2010

14:15

45 Minutes

E1 3

528

Saarbrücken

Abstract

Tableau procedures for modal logics are often given as tree-based procedures. Naive implementations, however, are mostly not complexity-optimal since work might be repeated on different branches of the tree. One solution is to try to collapse the tree into a (full) graph which then allows a complexity-optimal implementations. This talk presents (initial) investigations on when a tree-based tableau procedure can automatically turned into a graph-based one without compromising soundness and correctness.

Contact

gk-sek

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

gk-sek, 09/01/2010 09:08 -- Created document.

Imprint / Impressum | Data Protection / Datenschutzhinweis