Papers:
8:00 - 8:30 | Annotated Temporal Logics D*t (paper
69)
Abe, Jair Minoro Akama, Seiki (Univ. Paulista, Brazil/Teikyo Heisei Univ., Japan) |
8:30 - 9:00 | Sharing Resource-Sensitive Knowledge
using Combinator Logics (paper 2)
Finger, Marcelo Vasconcelos, Wamberto (Universidade de São Paulo, Brazil) |
9:00 - 9:30 | Admissibility Proofs for the LCS*
Algorithm (paper 119)
Johann, Marcelo O. Caldwell, Andrew Reis, Ricardo A. L. Kahng, Andrew B. (Univ. Fede. do RGS, Brazil/UCLA, USA) |
Session PT VI: Knowledge
Representation and Reasoning II
Chair: Marcelo Finger (Brazil)
Papers:
9:45 - 10:15 | Representing Belief Revision Through
Default Theories (paper 81)
Silva, João C. P. da Veloso, Sheila R. M. (Universidade Federal do Rio de Janeiro, Brazil) |
10:15 - 10:45 | Compiling Default Theory into Extended
Logic Programming (paper 55)
Garcia, Berilhes Borges Lopes, Gabriel Pereira Varejão, Flávio Miguel (Univ. Fed. do ES, Brazil / Univ. Nova de Lisboa, Portugual) |
10:45 - 11:15 | Representing operational knowledge by
contextual graphs (paper 154)
Brézillion, Patrick Pasquier, Laurent Pomerol, Jean-Charles (UPMC-LIP6, France) |