Campus Event Calendar: Denise Oliveira (08/16/1996 in 36 (Informatik)/406)

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

What and Who

An User-Programmable Logic-Based Shell for Cooperative Information Systems

Denise Oliveira

Pontificia Universidade Catolica do Rio de Janeiro Rio de Janeiro, Brazil

Talk

AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS

AG Audience

English

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

Date, Time and Location

Friday, 16 August 96

11:00

60 Minutes

36 (Informatik)

406

Saarbrücken

Abstract

This informal talk presents an ongoing project on enhancing the quality of interaction between knowledge systems and end-users, focusing especially on the quality of explanations. We are researching methodologies that enable expert-users to build knowledge bases in logical language with this goal in mind. We will also present our work on manipulating Natural Deduction proofs to produce better explanations.

Contact

Xiaorong Huang

+49-681-3024628,

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Tags, Category, Keywords and additional notes

Keywords, Tags:

Cooperative Information Systems

Imprint / Impressum | Data Protection / Datenschutzhinweis