Schedule of Papers and Events


Wed 10th Lobby Barbados Room Trinidad Room Aruba Room St Lucia Room
12:00pm
to
6:00pm
Registration
Thu 11th Lobby Barbados Room Trinidad Room Aruba Room St Lucia Room
7:00am Registration
WiFi
9:00am Session 1:
Invited Talk: Personalizing Web Search: Communities and Collaboration - Barry Smyth
10:00am Break (in the lobby and St Martin room)
10:30am Session 2a:
General Conference ‑ Foundations
Session 2b:
Machine Learning
Session 2c:
Uncertain Reasoning
Session 2d:
Trends in Natural Language Processing
12:30pm Lunch (on the Oceanfront Deck (weather permitting))
2:00pm Session 3a:
General Conference ‑ Architectures I
Session 3b:
Machine Learning
Artificial Intelligence in Music and Art
Session 3c:
Uncertain Reasoning
Session 3d:
Trends in Natural Language Processing
Natural Language and Knowledge Representation
4:00pm Break (in the lobby and St Martin room)
4:30pm Session 4a:
- (room being prepared for reception)
Poster preparation in St Martin room
Session 4b:
Artificial Intelligence in Music and Art
Session 4c:
Case-Based Reasoning
Session 4d:
Natural Language and Knowledge Representation
6:30pm WiFi
7:00pm Reception, Poster Session, Best Paper Awards
Fri 12th Lobby Barbados Room Trinidad Room Aruba Room St Lucia Room
8:00am Registration
WiFi
9:00am Session 5:
Invited Talk: AI for Autonomy in Space Exploration: Current Capabilities and Future Challenges - Bob Morris
10:00am Break (in the lobby and St Martin room)
10:30am Session 6a:
General Conference ‑ Architectures II
Session 6b:
Emotional Intelligence
Intelligent Tutoring Systems
Session 6c:
Neural Networks
Spatio‑Temporal Reasoning
Session 6d:
Automatic Annotation by Categories
12:30pm Lunch (on the Oceanfront Deck (weather permitting))
2:00pm Session 7a:
General Conference ‑ Applications and Implications
Session 7b:
Intelligent Tutoring Systems
Session 7c:
Spatio-Temporal Reasoning
Intelligent Distributed Sensor Networks
Session 7d:
Automatic Annotation by Categories
4:00pm Break (in the lobby and St Martin room)
4:30pm Session 8:
Invited Talk: On Repairing Reasoning Reversals via Representational Refinements - Alan Bundy
Session 8d:
Automatic Annotation by Categories
5:30pm WiFi FLAIRS business meeting
Sat 13th Lobby Barbados Room Trinidad Room Aruba Room St Lucia Room
8:00am Registration
WiFi
Session 9: (Note earlier start time!)
Invited Talk: Mining the Web to Determine Similarity Between Words, Objects, and Communities - Mehran Sahami
9:00am Break (in the lobby and St Martin room)
9:30am Session 10a:
Evaluation and Refinement of Intelligent Systems
Session 10b:
Artificial Intelligence Education
Session 10c:
Evolutionary Optimization
Session 10d:
Modeling the Real World through Contexts
11:30am Trip to NASA Kennedy Space Center (packed lunch provided to eat on the bus)
6:30pm Optional drop-off at Cocoa Beach Pier
9:30pm Pick-up from Cocoa Beach Pier

Locations


Thursday, 11th May, 9:00am-10:00am

Session 1: - Chair: Geoff Sutcliffe
9:00am Invited talk: Personalizing Web Search: Communities and Collaboration
Barry Smyth, University College Dublin, Ireland

Conservative estimates of the Web's current size refer to its 10 billion documents and a growth rate that tops 60 terabytes of new information per day. In 2000 the entire World-Wide Web consisted of just 21 terabytes of information, now it grows by 3 times this every single day. This growth frames the information overload problem that is threatening to stall the information revolution going forward. In short, users are finding it increasingly difficult to locate the right information at the right time in the right way. Search engine technologies are struggling to cope with the sheer quantity of information that is available, a problem that is greatly exacerbated by the apparent inability of Web users to formulate effective search queries that accurately reflect their current information needs. This talk will focus on how so-called personalization techniques are being used in response to the information overload problem and the experiences gained and lessons learned when it comes to the deployment of these techniques. In particular, we will focus on the personalization of Web search, taking special care to consider the important privacy issues that such personalization brings to the fore. These issues motivate a unique approach to personalized Web search - Collaborative Web Search (CWS) - which focuses on the delivery of personalization at the level of a community of like-minded searchers.

Barry Smyth holds the Digital Chair of Computer Science at University College Dublin. His research focuses on intelligent systems and artificial intelligence techniques. In particular, he has a strong focus on personalization and case-based reasoning. In 1999 he co-founded ChangingWorlds Ltd, a company specialising in the development of personalization technology for the mobile/wireless and Digital TV markets.


Thursday, 11th May, 10:30am-12:30pm

Session 2a: General Conference - Foundations - Chair: Anca Pascu
10:30am Reasoning about Knowledge and Continuity
Bernhard Heinemann
10:50am Demystify the Messages in the Hugin Architecture for Probabilistic Inference and Its Application
Dan Wu and Karen Jin
11:10am Incremental Propagation of Time Windows on Disjunctive Resources
Roman Barták
11:30am Automated Generation of Interesting Theorems
Yury Puzis, Yi Gao and Geoff Sutcliffe
11:50am The Information Flow Foundation for Fusing Inferences
Bo Hu
12:10pm A Logic Programming Approach to Querying and Integrating P2P Deductive Databases
Luciano Caroprese, Sergio Greco and Ester Zumpano
 
Session 2b: Machine Learning - Algorithms - Chair: Manfred Huber
10:30am Using Active Relocation to Aid Reinforcement Learning
Lilyana Mihalkova and Raymond Mooney
10:50am Generalized Entropy for Splitting Numerical Attributes in Decision Tree Classifiers
Mingyu Zhong, Michael Georgiopoulos and Georgios Anagnostopoulos
11:10am Using Validation Sets to Avoid Overfitting in AdaBoost
Tom Bylander and Lisa Tate
11:30am Inexact Graph Matching: A Case of Study
Ivan Olmos, Jesus Gonzalez and Mauricio Osorio
11:50am A Hybrid Generative/Discriminative Bayesian Classifier
Changsung Kang and Jin Tian
12:10pm Improving Modularity in Genetic Programming Using Graph-Based Data Mining
Istvan Jonyer and Akiko Himes
 
Session 2c: Uncertain Reasoning - Chair: Gabriele Kern-Isberner
10:30am Focusing Strategies for Multiple Fault Diagnosis
Tsai-Ching Lu and K. Wojtek Przytula
10:50am Implementation of a Decision Theoretical Framework, A Case Study of the Red River Delta in Vietnam
Karin Hansson, Love Ekenberg and Mats Danielson
11:10am A Note on Comparing Semantics for Conditionals
Gabriele Kern-Isberner and Christoph Beierle
11:30am Some Second Order Effects on Interval Based Probabilities
David Sundgren, Mats Danielson and Love Ekenberg
11:50am Agregating Quantitative Possibilistic Networks
Salem Benferhat and Faiza Titouna
12:10pm Uncertainty Reasoning in Description Logics: A Generic Approach
Volker Haarslev, Hsueh-Ieng Pai and Nematollaah Shiri
 
Session 2d: Trends in Natural Language Processing - Language Models, Semantics - Chair: Christian Hempelmann
10:30am Analyzing Writing Styles with Coh-Metrix
Philip McCarthy, Gwyneth Lewis, David Dufty and Danielle McNamara
10:50am Sublanguage Analysis Applied to Trouble Tickets
Elizabeth Liddy, Svetlana Symonenko and Steven Rowe
11:10am Dialog Act Classification Using N-Gram Algorithms
Max Louwerse and Scott Crossley
11:30am Multi-dimensional Dependency Grammar as Multigraph Description
Ralph Debusmann and Gert Smolka
11:50am A Machine Learning Approach to Determine Semantic Dependency Structure in Chinese
Jiajun Yan, David Bracewell, Fuji Ren and Shingo Kuroiwa
12:10pm The Semantics of Backing Up (Or: What do to with prepositions and particles?)
Marjorie McShane, Stephen Beale and Sergei Nirenburg

Thursday, 11th May, 2:00pm-4:00pm

Session 3a: General Conference - Architectures I - Chair: Randy Goebel
2:00pm Fuzzy Model Optimization Using Genetic Algorithm
LiJie Yu, Dan Cleary, Mark Osborn and Vrinda Rajiv
2:20pm Full Restart Speeds Learning
Smiljana Petrovic and Susan Epstein
2:40pm Coalition Formation meets Information Theory
Victor Palmer and Thomas Ioerger
3:00pm Using Self-Organization in an Agent Framework to Model Criminal Activity in Reponse to Police Patrol Routes
Vasco Furtado, Adriano Melo and Ronaldo Menezes
3:20pm Efficient Bids on Task Allocation for Multi Robot Exploration
Sanem Sariel and Tucker Balch
3:40pm Vacant
 
Session 3b: Machine Learning - Applications - Chair: Jesus Gonzalez
2:00pm Evaluating WordNet Features in Text Classification Models
Trevor Mansuy and Robert Hilderman
2:20pm Using Web Searches on Important Words to Create Background Sets for LSI Classification
Sarah Zelikovitz and Marina Kogan
2:40pm Generating Realistic Large Bayesian Networks by Tiling
Ioannis Tsamardinos, Alexander Statnikov, Laura Brown and Constantin Aliferis
3:00pm Analysis of Galactic Spectra using Noise-Aware Learning Algorithms
H. Jair Escalante and Olac Fuentes
3:20pm Machine Learning for Imbalanced Datasets: Application in Medical Diagnostic
Luis Mena and Jesus Gonzalez
Session 3b: Artificial Intelligence in Music and Art - Chair: Penousal Machado
3:40pm Melody Track Identification in Music Symbolic Files
David Rizo, Pedro J. Ponce de Leon, Antonio Pertusa, Carlos Péresz-Sancho and Jose M. Inesta
 
Session 3c: Uncertain Reasoning - Chair: Dan Wu
2:00pm Modeling Bayesian Networks for Autonomous Diagnosis of Web Services
Haiqin Wang, Guijun Wang, Alice Chen, Changzhou Wang, Casey K Fung, Stephen A. Uczekaj and Rodolfo A. Santiago
2:20pm Sensitivity Analysis of Markovian Models
Theodore Charitos and Linda van der Gaag
2:40pm Methods for Constructing Balanced Elimination Trees and Other Recursive Decompositions
Kevin Grant and Michael Horsch
3:00pm Decomposing Local Probability Distributions in Bayesian Networks for Improved Inference and Parameter Learning
Adam Zagorecki, Mark Voortman and Marek Druzdzel
3:20pm Model-Construction Algorithms for Object-Oriented Probabilistic Relational Models
Catherine Howard and Markus Stumptner
3:40pm Stochastic Deliberation Scheduling using GSMDPs
Kurt Krebsbach
 
Session 3d: Trends in Natural Language Processing - Machine-Human Interface - Chair: Philip McCarthy
2:00pm Computer, Tell Me a Joke ... but Please Make it Funny: Computational Humor with Ontological Semantics
Christian F. Hempelmann, Victor Raskin and Katrina E. Triezenberg.
2:20pm User Modelling for Adaptive Question Answering and Information Retrieval
Silvia Quarteroni and Suresh Manandhar
Session 3d: Natural Language and Knowledge Representation - Chair: Yorik Wilks
2:40pm Invited talk: Language Games, Natural and Artificial
John Sowa
3:20pm An Intelligent Query Interface with Natural Language Support
Paolo Dongilli and Enrico Franconi
3:40pm Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces
Norbert E. Fuchs, Kaarel Kaljurand and Gerold Schneider

Thursday, 11th May, 4:30pm-6:30pm

Session 4a: - (room being prepared for reception)
 
Session 4b: Artificial Intelligence in Music and Art - Chair: Bill Manaris
4:30pm Genetic Hierarchical Music Structures
Charles Fox
4:50pm Celerina - A Generative Music System Using Agent-Based Aesthetical Reduction Applied to Simple Cellular Automata
John Flury and Daniel Bisig
5:10pm Incremental Parsing for Real-Time Accompaniment Systems
Giordano Cabral, Jean-Pierre Briot and François Pachet
5:30pm An Idiomatic Plucked String Player
Leandro Lesqueves Costalonga, Eduardo Miranda, Rosa Vicari and John Matthias
5:50pm MediaFlies - An Interactive Flocking Based Tool for the Remixing of Media
Daniel Bisig and Unemi Tatsuo
6:10pm Developing Aesthetic Computer Generated Drawings through Artificial Evolution
Kevin Moynihan
 
Session 4c: Case-Based Reasoning - Chair: David Wilson
4:30pm A Comparison of Ensemble and Case-based Maintenance Techniques for Handling Concept Drift in Spam Filtering
Sarah Jane Delany, Padraig Cunningham and Alexey Tsymbal
4:50pm Reducing the Case Acquisition and Maintenance Bottleneck with User-Feedback-Driven Case Base Maintenance
Markus Nick
5:10pm LARC: Learning to Assign Knowledge Roles to Textual Cases
Eni Mustafaraj, Bernd Freisleben and Martin Hoof
5:30pm Dialog Learning in Conversational CBR
Mingyang Gu and Agnar Aamodt
5:50pm Robot Navigation Using Integrated Retrieval of Behaviors and Routes
Susan Eileen Fox and Peter Anderson-Sprecher
6:10pm Automatic Personalization of the Human Computer Interaction Using Temperaments
Héctor Gómez-Gauchía, Belen Diaz-Agudo and Pedro Gonzalez-Calero
 
Session 4d: Natural Language and Knowledge Representation - Chair: Jana Sukkarieh
4:30pm On the Application of the Cyc Ontology to Word Sense Disambiguation
Jon Curtis, John Cabral and David Baxter
4:50pm Representation and Reasoning for Deeper Natural Language Understanding in a Physics Tutoring System
Maxim Makatchev, Kurt VanLehn, Pamela Jordan and Umarani Pappuswamy
5:10pm Deverbal Nouns in Knowledge Representation
Olga Gurevich, Richard Crouch, Tracy Holloway King and Valeria de Paiva
5:30pm One-Shot Procedure Learning from Instruction and Observation
Hyuckchul Jung, James Allen, Nathanael Chambers, Lucian Galescu, Mary Swift and William Taysom
5:50pm Panel Discussion: Natural Language and Reasoning
Panelists: James Allen, Sanda Harabagiu, Jeff Pelletier, Lenhart Schubert and Yorik Wilks
 

Thursday, 11th May, 7:00pm

Poster Session
Artificial Intelligence in the Environment: Smart Environment for Smarter Agents in Open E-markets
Eric Platon (General conference)
3D Facial Expression Recognition for the Enhancement of Human-Computer Interaction
Chao Li and Armando Barreto (General conference)
Recommendation-based Browsing Assistance for Knowledge
Markus Zanker, Sergiu Gordea and Marius C. Silaghi (General conference)
Adaptive Learning in Machine Summarization
Zhuli Xie, Barbara Di Eugenio and Peter C. Nelson (General conference)
A Multi-agent Architecture for a Dynamic Supply Chain Management
Jose Alberto R. P. Sardinha, Marco S. Molinaro, Patrick M. Paranhos, Pedro M. Cunha, Ruy L. Milidiu and Carlos J. P. Lucena (General conference)
Cognitive Simulation in Virtual Patients
Sergei Nirenburg, Marjorie McShane, Stephen Beale, Thomas O'Hara, Bruce Jarrell, George Fantry and John Raczek (General conference)
Automated 'Wow' Generation In Musical Composition
Darrell Mann (Artificial Intelligence in Music and Art)
Improving Case-Based Recommendations using Implicit Feedback
Deepak Khemani, Mohamed Sadiq, Rakesh Bangani and Delip Rao (Case-Based Reasoning - Full paper)
An Artificial Neural Network for a Tank Targeting System
Hans Guesgen and Xiao Dong Shi (Evolutionary Optimization)
Verbalization Enhanced Tutoring
Christel Kemke and Shamima Mithun (Intelligent Tutoring Systems)
The Role of «Consciousness» for the Diagnosis Process in a Tutoring Agent
Daniel Dubois, Roger Nkambou and Patrick Hohmeyer (Intelligent Tutoring S ystems)
Automated Classification of Astronomical Objects in Multispectral Wide-field Images
Jorge de la Calleja and Olac Fuentes (Machine Learning)
Refining Human Behavior Models in a Context-based Architecture
David Aihe and Avelino Gonzalez (Modeling the Real World through Contexts)
On-line Qualitative Temporal Reasoning with Explanation
Debasis Mitra and Florent Launay (Spatio-Temporal Reasoning)
Ontology-based Disambiguation of the Semantic Relation Between the Heads of Two Noun Phrases
Tine Lassen and Thomas Vestskov Terney (Trends in Natural Language Processing)
Integrating Emotions in Persuasive Dialogue: A Multi-Layer Reasoning Framework
Pierre Andrews, Suresh Manandhar and Marco De Boni (Trends in Natural Language Processing)
Syntax-based Concept Extraction for Question Answering Using SEMEX
Demetrios Glinos and Fernando Gomez (Trends in Natural Language Processing)
Use of Dempster-Shafer Conflict Metric to Adapt Sensor Allocation to Unknown Environments
Jennifer Carlson and Robin R. Murphy (Uncertain Reasoning)
A Hill-Climbing Approach for Planning with Temporal Uncertainty
Janae Foss and Nilufer Onder (Uncertain Reasoning)

Friday, 12th May, 9:00am-10:00am

Session 5: - Chair: Randy Goebel
9:00am Invited talk: AI for Autonomy in Space Exploration: Current Capabilities and Future Challenges
Bob Morris, NASA Ames Research Center, USA

To accomplish the next generation of challenging missions to the Moon, Mars, and beyond, researchers at NASA centers and at academic institutions have made significant progress over the last five years towards developing autonomous systems that can make critical decisions independently of human operators. Autonomy technology will extend the boundary on what can be accomplished in future missions by overcoming limitations due to communications delays, light-speed constraints, mission complexity, and cost. Autonomous systems will enable future space missions by maintaining vehicle health and safety, accomplishing complex science and mission goals, and adapting to changing circumstances or opportunities.

This talk will provide an overview of the current state of autonomy technology applied to deep space exploration, with particular emphasis placed on robotic surface explorers. First, I will motivate and describe the notion of autonomy as an enabler for deep space exploration. Second, I will discuss the contribution of Artificial Intelligence in current autonomy architectures, illustrating how automated systems for planning, plan execution and health management are being integrated into traditional control systems. Third, I will illustrate the challenges for developing autonomous systems through a case study of involving a Mars scenario, in which a rover is required to traverse to a target of interest, extend a flexible arm and acquire a close-up image. The ability to perform this scenario autonomously required advances along a broad technological front, including technology related to target tracking and instrument placement, planning and execution, and automated ground tools for coordinating with science teams. Finally, I will discuss the future challenges in developing autonomy technology for realizing NASA's goal for humans to return to the Moon and eventually establish a permanent presence on Mars.

Dr. Robert Morris is a Computer Science researcher in the planning and scheduling group in the Intelligent Systems division at NASA Ames Research Center. He is part of NASA's Intelligent Systems program, managing a number of projects that build automated reasoning systems for mission operations and autonomy. Currently, he is technical lead in a project to develop an observation scheduling system for constellations of Earth orbiting sensors. He received a B.A from the University of Minnesota, a Ph.D. in philosophy from Indiana University and an M.S. in Computer Science from Wright State University. The focus of his research is the area of temporal reasoning for planning and scheduling.


Friday, 12th May, 10:30am-12:30pm

Session 6a: General Conference - Architectures II - Chair: Manfred Huber
10:30am Referring-Expression Generation Using a Transformation-Based Learning Approach
Jill Nickerson, Stuart Shieber and Barbara Grosz
10:50am Context-based Term Disambiguation in Biomedical Literature
Ping Chen and Hisham Al-Mubaid
11:10am Resolving Noun Compounds with Multi-Use Domain Knowledge
Alicia Tribble and Scott E. Fahlman
11:30am Dependency-based Textual Entailment
Vasile Rus
11:50am Gloss Overlap Extensions for a Semantic Network Algorithm - Building a Better Semantic Distance Measure
Thimal Jayasooriya and Suresh Manandhar
12:10pm CATS: A Synchronous Approach to Collaborative Group Recommendation
Kevin McCarthy, Maria Salamo, Lorcan Coyle, Lorraine McGinty, Barry Smyth and Paddy Nixon
 
Session 6b: Emotional Intelligence - Chair: Claude Frasson
10:30am Managing Student Emotions in Intelligent Tutoring Systems
Roger Nkambou
10:50am Predicting Learner's Emotional Response in Intelligent Distance Learning Systems
Soumaya Chaffar and Claude Frasson
11:10am Stress Recognition Using Non-invasive Technology
Jing Zhai and Armando Barreto
Session 6b: Intelligent Tutoring Systems - Chair: Kurt VanLehn
11:30am Developing an Authoring System for Cognitive Models within Commercial-Quality ITSs
Stephen Blessing, Stephen Gilbert and Steven Ritter
11:50am The Assistment Builder: An Analysis of ITS Content Creation Lifecycle
Terrence Turner, Abraao Loureno, Neil Heffernan, Michael Macasek and Goss Nuzzo-Jones
12:10pm Using Enhanced Concept Map for Student Modeling in a Model-Based Programming Tutor
Amruth Kumar
 
Session 6c: Neural Networks - Chair: David Bisant
10:30am GFAM: Evolving Fuzzy ARTMAP Neural Networks
Ahmad Al-Dairaseh, Michael Georgiopoulos and Annie Wu
10:50am Introducing GEMS - a Novel Technique for Ensemble Creation
Ulf Johansson, Tuve Löfström, Rikard König and Lars Niklasson
11:10am Fast Generation of a Sequence of Trained and Validated Feed-Forward Networks
Pramod Lakshmi Narasimha, Walter Delashmit, Michael Manry, Jiang Li and Fransisco Maldonado
11:30am Vacant
Session 6c: Spatio-Temporal Resoning - Chair: Hans Guesgen
11:50am Qualitative Spatial Reasoning with Topological Relations in the Situation Calculus
Mehul Bhatt, Wenny Rahayu and Gerald Sterling
12:10pm Topological Reasoning for Identifying a Complete Set of Topological Predicates between Vague Spatial Objects
Alejandro Pauly and Markus Schneider
 
Session 6d: Automatic Annotation by Categories - Chair: Anca Pascu
10:30am Invited talk: Contextual Exploration Process for Discourse and Automatic Annotation
Jean-Pierre Desclés
11:10am EXCOM: An Automatic Annotation Engine for Semantic Information
Brahim Djioua, Jorge Garcia Flores, Antoine Blais, Jean-Pierre Desclés, Guibert Gaelle, Agata Jackiewicz, Florence Le Priol, Nait-Baha Leila and Benoît Sauzay
11:30am Automatic Annotation of Localization and Identification Relations in Platform EXCOM
Florence Le Priol, Antoine Blais, Jean-Pierre Desclés, Brahim Djioua, Jorge Garcia-Flores, Gaëll Guibert, Agata Jackiewicz, Leila Nait-Baha and Benoît Sauzay
11:50am Automatic Annotation in Text for Bibliometrics Use
Bertin Marc, Jean-Pierre Desclés, Brahim Djioua and Krushkov Yordan
12:10pm Vacant

Friday, 12th May, 2:00pm-4:00pm

Session 7a: General Conference - Applications and Implications - Chair: Vasile Rus
2:00pm Automated Population of Cyc: Extracting Information about Named-entities from the Web
Purvesh Shah, David Schneider, Cynthia Matuszek, Robert C. Kahlert, Bjoern Aldag, David Baxter, John Cabral, Michael Witbrock and Jon Curtis
2:20pm Learning Personalized Query Modifications
Erika Torres-Verdin and Manfred Huber
2:40pm Combining Vizualization and Feedback for Eyewear Recommendation
John Doody, Edwin Costello, Lorraine McGinty and Barry Smyth
3:00pm Towards an Ontology-Driven Approach for the Interoperability Problem in Security Compliance
Alfred Ka Yiu Wong, Nandan Paramesh and Pradeep Ray
3:20pm Measuring Long-Term Ontology Quality: A Case Study From the Automotive Industry
Nestor Rychtyckyj
3:40pm Vacant
 
Session 7b: Intelligent Tutoring Systems - Chair: Chad Lane
2:00pm Evaluation of the Q-matrix Method in Understanding Student Logic Proofs
Tiffany Barnes
2:20pm Cohesion and Learning in a Tutorial Spoken Dialog System
Arthur Ward and Diane Litman
2:40pm A Natural Language Tutorial Dialogue System for Physics
Pamela Jordan, Maxim Makatchev, Umarani Pappuswamy, Kurt VanLehn and Patricia Albacete
3:00pm Comparing Synthesized versus Pre-recorded Tutor Speech in an Intelligent Tutoring Spoken Dialogue System
Katherine Forbes-Riley, Diane Litman, Scott Silliman and Joel Tetreault
3:20pm Toward a Computational Model of Expert Tutoring: A First Report
Barbara Di Eugenio, Trina Kershaw, Xin Lu, Andrew Corrigan-Halpern and Stellan Ohlsson
3:40pm Vacant
 
Session 7c: Spatio-Temporal Reasoning - Chair: Markus Schneider
2:00pm The Theory of Cognitive Prism - Recognizing Variable Spatial Environments
Tiansi Dong
2:20pm Simulated Visual Perception-Based Control for Autonomous Mobile Agents
Daniel Flower, Burkhard Claus Wuensche and Hans Guesgen
Session 7c: Intelligent Distributed Sensor Networks - Chair: Imad Elhajj
2:40pm Agile Sensor Networks: Adaptive Coverage via Mobile Nodes
Swapna Ghanekar, Fatma Mili and Imad Elhajj
3:00pm Developing Active Sensor Networks with Micro Mobile Robots: Distributed Node Localization
Weihua Sheng and Girma Tewolde
3:20pm A Cognitive Approach for Gateway Relocation in Wireless Sensor Networks
Waleed Youssef and Mohamed Younis
3:40pm Vacant
 
Session 7d: Automatic Annotation by Categories - Chair: Brahim Djioua
2:00pm Invited talk: Natural Language Annotations for Question Answering
Boris Katz
2:40pm Semantic Annotation of Reported Information in Arabic
Motasem Alrahabi, Amro Helmy Ibrahim and Jean-Pierre Desclés
3:00pm Annotation of the Complex Terms in Multilingual Corpora
Ismaïl Biskri, Nicole Munyana and Boubakar Hamrouni
3:20pm Annotating and Recognizing Event Modality in Text
Roser Sauri, Marc Verhagen and James Pustejovsky
3:40pm Epistemic Categorization for Analysis of Customer Complaints
Boris Galitsky and Anca Pascu

Friday, 12th May, 4:30pm-6:30pm

Session 8: - Chair: Geoff Sutcliffe
4:30pm Invited talk: On Repairing Reasoning Reversals via Representational Refinements
Alan Bundy, University of Edinburgh, Scotland

Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's reasoning. Such mismatches can be repaired by refining or abstracting an agent's representation. These refinements or abstractions may not be limited to changes of belief, but may also change the signature of the agent's ontology. We describe the implementation and successful evaluation of these ideas in the ORS system. ORS diagnoses failures in plan execution and then repairs the faulty ontologies. Such dynamic ontology repair will be an essential tool in realising the vision of the Semantic Web.

Alan Bundy is a professor in the School of Informatics, and was formerly Head of the Division of Informatics, at Edinburgh University. His research is concerned with the analysis of, development of and interaction between, reasoning processes for a wide range of logics, and the application of that work to areas such as proof by mathematical induction, building ecological models, hardware and software verification, and cognitive modelling. He has been sole or joint holder of 39 EPSRC, SERC, Alvey, ESPRIT or ESRC grants, and is the sole or joint author of over 140 published papers and books.

 
5:30pm FLAIRS business meeting
 
Session 8d: Automatic Annotation by Categories - Chair: Ismail Biskri
4:30pm Invited talk: Computer-Aide Language Processing
Ruslan Mitkov
5:10pm Constructing a Corpus-based Ontology using Model Bias
Anna Rumshisky, Patrick Hanks, Catherine Havasi and James Pustejovsky
5:30pm Creating RSS for News Archives and Beyond
Sandip Debnath
5:50pm Corpus Based Unsupervised Labeling of Documents
Delip Rao, Deepak P and Deepak Khemani
6:10pm Panel Discussion: Automatic Annotation and Natural Language Processing
Panelists: Ismaïl Biskri, Jean-Pierre Desclés, Brahim Djioua, Ruslan Mitkov, Anca Pascu
 

Saturday, 13th May, 8:00am-9:00am

Session 9: - Chair: Randy Goebel
8:00am Invited talk: Mining the Web to Determine Similarity Between Words, Objects, and Communities
Mehran Sahami, Stanford University and Google, USA

The World Wide Web provides a wealth of data that can be harnessed to help improve information retrieval and increase understanding of the relationships between different entities. In many cases, we are often interested in determining how similar two entities may be to each other, where the entities may be pieces of text, descriptions of some object, or even the preferences of a group of people. In this work, we examine several instances of this problem, and show how they can be addressed by harnessing data mining techniques applied to large web-based data sets. Specifically, we examine the problems of: (1) determining the similarity of short texts--even those that may not share any terms in common, (2) learning similarity functions for semi-structured data to address tasks such as record linkage between objects, and (3) measuring the similarity between on-line communities of users as part of a recommendation system. While we present rather different techniques for each problem, we show how measuring similarity between entities in all these domains has a direct application to the overarching goal of improving information access for users of web-based systems.

Mehran Sahami is a Lecturer in the Computer Science Department at Stanford University, and also a Senior Research Scientist at Google. His research interests include machine learning, data mining, intelligent agents, and information retrieval on the Web.


Saturday, 13th May, 9:30am-11:30am

Session 10a: Evaluation and Refinement of Intelligent Systems - Chairs: Joachim Baumeister, Rainer Knauf
9:30am A Case-based Approach to Explore Validation Experience
Rainer Knauf and Setsuo Tsuruta
9:50am Prolog-based Analysis of Tabular Rule-Based Systems with XTT Approach
Grzegorz J. Nalepa and Antoni Ligeza
10:10am Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis
Neli Zlatareva
10:30am Introspective Subgroup Analysis for Interactive Knowledge Refinement
Martin Atzmueller, Joachim Baumeister and Frank Puppe
10:50am Conservative and Creative Strategies for the Refinement of Scoring Rules
Joachim Baumeister, Martin Atzmueller, Peter Kluegl and Frank Puppe
11:10am Formal Verification of Cognitive Models
Andrea Macklem and Fatma Mili
 
Session 10b: Artificial Intelligence Education - Chair: Todd Neller
9:30am AiboConnect: A Simple Programming Environment for Robotics
Eric Chown, Greydon Foil, Henry Work and Yi Zhuang
9:50am Focusing AI Students' Attention: A Framework-Based Approach To Guiding Impasse-Driven Learning
Steven Bogaerts and David Leake
10:10am Clue Deduction: Professor Plum Teaches Logic
Todd Neller, Zdravko Markov and Ingrid Russell
10:30am An Empirical Exploration of Hidden Markov Models: From Spelling Recognition to Speech Recognition
Shieu-Hong Lin
10:50am Designing an AI Elective to Encourage Undergraduate Research
Zachary Dodds
11:10am Sorting the Sortable from the Unsortable
Tracey McGrail and Robert McGrail
 
Session 10c: Evolutionary Optimization - Chair: Jorge Tavares
9:30am Evolving Keys for Periodic Polyalphabetic Ciphers
Ralph Morelli and Ralph Walde
9:50am Which Dynamic Constraint Problems Can Be Solved By Ants?
Koenraad Mertens, Tom Holvoet and Yolande Berbers
10:10am Tabu Search for a Car Sequencing Problem
Nicolas Zufferey, Martin Studer and Edward A. Silver
10:30am Genetic Programming: Analysis of Optimal Mutation Rates in a Varying
Alan Piszcz and Terence Soule
10:50am Vacant
11:10am Vacant
 
Session 10d: Modeling the Real World through Contexts - Chair: Avelino Gonzalez
9:30am Supporting Systematic Usage of Context in Web Applications
J. Wolfgang Kaltz and Jürgen Ziegler
9:50am Modeling Context in Pervasive Computing through Activity Theory: a Case Study
Jörg Cassens and Anders Kofod-Petersen
10:10am Reasoning about Knowledge and Context-Awareness
Michael Cebulla
10:30am A Cognitive Framework for Modeling Mental Space Construction and Switching During Situation Assessment
James L. Eilbert and James Hicinbothom
10:50am Context's Modelling for Participative Simulation
Romain Benard, Cyril Bossard and Pierre De Loor
11:10am Contextual Graphs for a Real-World Decision Support System
Johann Nguyen, Brian Becker and Avelino Gonzalez