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
|
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
|