| 9:00-9:30 |
Textual Inference by Combining Multiple Logic Programming Paradigms C. Baral, G. Gelfond, M. Gelfond, Richard B. Scherl |
| 9:30-10:00 |
Moving QA Towards Reading Comprehension Using Context and Default Reasoning C. Clark, D. Hodges, J. Stephan, D. Moldovan |
| 10:00-10:30 |
Using AnsProlog with Link Grammar and WordNet for QA with Deep Reasoning L. Tari, C. Baral |
| 10:30-11:00 |
Coffee Break |
| 11:00-11:30 |
Question Generation for Learning by Reading L. Ureel II, K. Forbus, C. Riesbeck, L. Birnbaum |
| 11:30-12:00 |
Question Answering Based on Temporal Inference S. Harabagiu, C. Bejan |
| 12:00-13:30 |
Lunch Break |
| 13:30-14:00 |
Syntactic and Semantic Decomposition Strategies for Question Answering from Multiple Resources B. Katz, G. Borchardt, S. Felshin |
| 14:00-14:30 |
Model-based Answer Selection S. Sinha, S. Narayanan |
| 14:30-15:00 |
A Basic Logic for Textual Davidsonian Inference D. Bobrow, C. Condoravdi, R. Crouch, R. Kaplan, L. Karttunen, T. King, V. dePaiva, A. Zaenen |
| 15:00-15:30 |
Determining the Plausibility of Answers to Questions T. Smith, T. Repede, S. Lytinen |
| 15:30-16:00 |
Coffee Break |
| 16:00-16:30 |
Knowledge Representation via Verbal Description Generalization: Alternative Programming in Sampletalk Language A. Gleibman |
| 16:30-17:00 |
Description of the KnowItAll Project O. Ezioni |
| 17:00-18:00 |
Panel on Computational Models for Inference in QA |
| 18:00-18:30 |
Invitation to the AAAI 2006 Spring Symposium on Formalizing and Compiling Background Knowledge and its Applications to KR and QA C. Baral |
| 18:30-18:40 |
Wrap-Up |