General
Track
Measuring General Relational Structure Using the
Block Modularity Clustering Objective
Adam Paul Anthony, Marie desJardins, Michael Lombardi
Extending Temporal Causal Graph For Diagnosis
Problems
Lamia Belouaer, Maroua Bouzid, Malek Mouhoub
HAMR: A Hybrid Multi-Robot Control Architecture
Daylond James Hooper, Gilbert Peterson
Extending the Cardinal Direction Calculus to a
Temporal Dimension
Jedrzej Osinski
Generalizing and Categorizing Skills in
Reinforcement Learning Agents Using Partial Policy Homomorphisms
Srividhya Rajendran, Manfred Huber
Augmented Cyberspace Exploiting Real-time Biological
Sensor Fusion
Yoshitaka Sakurai, Kouhei Takada, Shoko Hashida, Setsuo Tsuruta
AI Education
Game-Related Examples of Artificial Intelligence
Ken T. N. Hartness
From Mad Libs to Tic Tac Toe: Using Robots and Game
Programming as a Theme in an Introduction to Programming Course for
Non-Majors
Jennifer S. Kay
AI
Planning and Scheduling
Enhancing Constraint Models for Planning Problems
Roman Barták,
Daniel Toropila
Knowledge Representation for Intelligent and Error-Prone Execution of
Robust Granular Plans. A Conceptual Study
Sebastian Ernst,
Antoni Ligeza
Tuning Search Heuristics for Classical Planning with Macro Actions
I. Murugeswari, N.
S. Narayanaswamy
Applied
Natural Language Processing
Simplification of Patent Claim Sentences for their Paraphrasing and
Summarization
Nadjet
Bouayad-Agha, Gerard Casamayor, Gabriela Ferraro, Leo Wanner
Automated Knowledge Annotation for Dynamic Collaborative Environments
Andrew J. Cowell
Hidden Markov Random Fields Based LSI Text Semi-supervised Clustering
Kerui Min, Gang
Liu, Xin Chen, Shengqi Lu
Extracting Meaning from Cell Phone Improvement Ideas
Jenine Turner,
Raimondas Lencevicius, Mark Adler
Towards a Method for Assessing Summaries in Spanish using LSA
René Alejandro
Venegas
Data Mining
FCP-Growth: Class Itemsets for Class Association Rules
Emna Bahri,
Stephane Lallich
Confidence-based Tuning of Nomogram Predictions
Tony Mancill,
Scott A. Wallace
Design,
Evaluation, and Refinement of Intelligent Systems
A Textual Subgroup Mining Approach for Rapid ARD+
Model Capture
Martin Atzmueller,
Grzegorz J. Nalepa
Knowledge Engineering with Didactic Knowledge - First Steps towards an
Ultimate Goal
Rainer Knauf,
Yoshitaka Sakurai, Setsuo Tsuruta, Ronald Boeck
In Search for the Human Factor in Rule Based Game AI:
The GrinTu Evaluation and Refinement Approach
Swen E Gaudl,
Klaus P. Jantke, Rainer Knauf
Games
and Entertainment
Identifying User Destinations in VirtualWorlds
Fahad Shah, Gita
Sukthankar, Philip Bell
Intelligent
Tutoring Systems
From SDK to xPST: A New Way to Overlay a Tutor on Existing Software
Stephen Bruce
Blessing, Stephen B Gilbert, Liz A Blankenship, Bhavesh Sanghvi
Semantics,
Ontologies, and Computational Linguistics
Exceptions in Ontologies: Deducing Properties from Topological Axioms
Christophe Jouis,
Bassel Habib, Jie Liu
Using Spatiality to Integrate Ontologies
Napat Sukthong
Uncertain
Reasoning
A Comparative Study of Variable Elimination and Arc Reversal in
Bayesian Network Inference
Cory James Butz,
Junying Chen, Ken Konkel, Pawan Lingras
A Surprise-based Qualitative Calculus
Zina M. Ibrahim,
Ahmed Y. Tawfik, Alioune Ngom
Query Processing and Optimization for Logic Programs with Certainty
Constraints
Jinzan Lai,
Nematollaah Shiri
Prime Implicants and Belief Update
Laurent Perrussel,
Jerusa Marchi, Guilherme Bittencourt
On the Use of Guaranteed Possibility Measures in
Possibilistic Networks
Amen Ajroud,
Salem Benferhat, Mohamed Nazih Omri, Habib Youssef
Tuesday, 19th May,
1:45pm-3:25pm
|
Session
3a: General Track (Question Answering/Text Processing) -
Chair: James Pustejovsky |
1:45pm |
Multiple Answer Extraction for Question Answering
with Automated Theorem Proving Systems
Geoff
Sutcliffe, Aparna Yerikalapudi, Steven Trac
|
2:10pm |
Modeling Semantic Question Context for Question
Answering
Protima
Banerjee, Hyoil Han
|
2:35pm |
Automatic Text Categorization of Mathematical
Word Problems
Suleyman
Cetintas, Luo Si, Yan Ping Xin, Dake Zhang, Joo Young Park
|
3:00pm |
Determining Paragraph Type From Paragraph Position
Kyle B Dempsey, Philip M. McCarthy, John C. Myers, Jennifer Weston,
Danielle S. McNamara |
|
Session
3b: Applied Natural Language Processing - Chair: Nick Duran |
1:45pm |
A New Method for Measuring English Verb's
Metaphor Making Potential
Zili Chen,
Jonathan J. Webster, Tianyong Hao, Ian C. Chow
|
2:10pm |
Exploring Lexical Network Development in Second
Language Learners
Scott
Crossley
|
2:35pm |
Hierarchical Soft Clustering and Automatic Text
Summarization for
Accessing the Web on Mobile Devices for Visually Impaired People
Gaël Harry
Dias, Sebastião Pais, Fernando Cunha, Hugo Costa, David Machado, Tiago
Barbosa, Bruno Martins |
3:00pm |
A Coh-Metrix Analysis of Variation among
Biomedical Abstracts
Benjamin
Duncan, Charles Hall
|
|
Session
3c: Data Mining - Chair: David Bisant |
1:45pm |
Multivariate Time Series Classification with
Temporal Abstractions
Iyad Batal, Lucia Sacchi, Riccardo Bellazzi, Milos Hauskrecht |
2:10pm |
Discovering Anomalies to Multiple Normative
Patterns in Structural and Numeric Data
William
Eberle, Lawrence Holder |
2:35pm |
VipBoost: A More Accurate Boosting Algorithm
Xiaoyuan Su, Taghi M. Khoshgoftaar, Russell Greiner
|
3:00pm |
Rule Mining and Missing-Value Prediction in the
Presence of Data Ambiguities
Kasun Wickramaratna, Miroslav Kubat, Kamal Premaratne, Thanuka
Wickramarathne |
|
Session
3d: Design, Evaluation, and Refinement of Intelligent Systems
- Chair: Rainer Knauf |
1:45pm |
A Data Warehouse-Based Approach for Quality
Management, Analysis and Evaluation of Intelligent Systems using
Subgroup Mining
Martin
Atzmueller, Frank Puppe, Stephanie Beer
|
2:10pm |
Advanced Measures for Empirical Testing
Joachim
Baumeister |
2:35pm |
Verification of Distributed Knowledge in Semantic
Knowledge Wikis
Joachim
Baumeister, Grzegorz J. Nalepa |
3:00pm |
XTT Rules Design and Implementation with
Object-Oriented Methods
Grzegorz
Jacek Nalepa |
Tuesday, 19th May,
3:55pm-5:35pm
|
Session
4a:
General Track (Knowledge Representation/Control) - Chair: Art Graesser |
3:55pm |
EA NLU: Practical Language Understanding for
Cognitive Modeling
Emmett Tomai, Ken Forbus |
4:20pm |
A Semantic Framework for Uncertainties in
Ontologies
Joana Hois
|
4:45pm |
Lifting the Limitations in a Rule-based Policy
Language
Alan
Lindsay, Maria Fox, Derek Long
|
5:10pm |
Memory Based Goal Schema Recognition
Dan G. Tecuci, Bruce Porter |
|
Session
4b: Applied Natural Language Processing - Chair:
Phil McCarthy |
3:55pm |
Expanding
a Catalogue of Deceptive Linguistic Features with NLP Technologies
Nicholas D.
Duran, Scott A. Crossley, Charles Hall, Philip M. McCarthy, Danielle S.
McNamara
|
4:20pm |
Assessment of LDAT as a Grammatical Diversity
Assessment Tool
Scott Leigh Healy, Joseph D. Weintraub, Philip M. McCarthy, Charles
Hall, Danielle S. McNamara |
4:45pm |
CombiTagger: A System for Developing Combined
Taggers
Verena Henrich, Timo Reuter, Hrafn Loftsson |
5:10pm |
Paraphrase Identification Using Weighted
Dependencies and Word Semantics
Mihai
Lintean, Vasile Rus |
|
Session
4c: AI Education - Chair: Todd Neller |
3:55pm |
Using Mixed Reality to Facilitate Education in
Robotics and AI
John Eric
Anderson, Jacky Baltes |
4:20pm |
Simulating a LEGO Mindstorms RCX Robot in the
Robotran Environment
Robert Mark
Meyer, David C. Puehn |
4:45pm |
The Crawler, A Class Room Demonstrator for
Reinforcement Learning
Michel
Tokic, Wolfgang Ertel, Joachim Fessler
|
5:10pm |
Robot Defense: Using the Java Instructional Game
Engine in the Artificial Intelligence Classroom
Scott A.
Wallace, Ingrid Russell
|
|
Session
4d: Design, Evaluation, and Refinement of Intelligent Systems
- Chair: Rainer Knauf |
3:55pm |
On
ALSV Rules Formulation and Inference
Grzegorz
Jacek Nalepa, Antoni Ligeza |
4:20pm |
Unit Testing for Qualitative Spatial and Temporal
Reasoning
Carl Schultz, Robert Amor, Hans Guesgen |
4:45pm |
Supporting Uncertainty and Inconsistency in
Semantic Web Applications
Neli Zlatareva |
Wednesday, 20th May,
9:00am-10:00am
|
Session
5:
Invited Talk - Chair: Chad Lane |
9:00am |
Subjectivity
Analysis
Jan Wiebe,
University of Pittsburgh, USA
There is growing interest
in the automatic
extraction of opinions, emotions, and sentiments in text (subjectivity
analysis) to support natural language processing applications, ranging
from mining product reviews and summarization, to automatic question
answering and information extraction. In this talk, I will describe
work on two problems in subjectivity analysis at opposite ends of a
continuum: subjectivity sense labeling and discourse-level opinion
interpretation.
Jan
Wiebe is Professor of Computer Science and Director of the Intelligent
Systems Program at the University of Pittsburgh. Her research with
students and colleagues has been in discourse processing, pragmatics,
word-sense disambiguation, and probabilistic classification in NLP. Her
most recent work investigates automatically recognizing and
interpretating expressions of opinions and sentiments in text, to
support NLP applications such as question answering, information
extraction, text categorization, and summarization. Her current and
past professional roles include ACL Program Co-Chair, NAACL Program
Chair, NAACL Executive Board member, Computational Linguistics and
Language Resources and Evaluation Editorial Board member, AAAI Workshop
Co-Chair, ACM Special Interest Group on Artificial Intelligence
(SIGART) Vice-Chair, and ACM-SIGART/AAAI Doctoral Consortium
Chair.
|
Wednesday, 20th May,
10:30am-12:15pm
|
Session
6a: General Track (Document Management) - Chair: Geoff Sutcliffe |
10:30am |
Document Clustering and Visualization with Latent
Dirichlet Allocation and Self-Organizing Maps
Jeremy R.
Millar, Gilbert L. Peterson, Michael J. Mendenhall |
10:55am |
Reasoning about Changes of Corpus of Documents:
Reasoning on Association Rules
Laurent
Perrussel |
11:20am |
Spyglass: A System for Ontology Based Document
Retrieval and Visualization
John
Rushing, Todd Berendes, Hong Lin, Cody Buntain, Sara Graves
|
11:45am |
Improving Biomedical Document Retrieval by Mining
Domain Knowledge
Shuguang
Wang, Milos Hauskrecht
|
|
Session
6b:
Applied Natural Language Processing - Chair: Jan Wiebe |
10:30am |
Computational Replication of Human Paraphrase
Assessment
Philip
M. McCarthy, Zhigiang Cai, Danielle S McNamara
|
10:55am |
Testing Analogical Proportions with Google using
Kolmogorov Information Theory
Henri Prade,
Gilles Richard
|
11:20am |
Computational Considerations in Correcting
User-Language
Adam M.
Renner, Philip M. McCarthy, Danielle S. McNamara
|
11:45am |
SlidesGen: Automatic Generation of Presentation
Slides for a Technical Paper Using Summarization
M. Sravanthi, C. Ravindranath Chowdary, P. Sreenivasa Kumar |
|
Session
6c: AI
Planning and Scheduling - Chair: Roman Barták |
10:30am |
Maintaining
Focus: Overcoming Attention Deficit Disorder in Contingent Planning
Ron Alford,
Ugur Kuter, Dana Nau, Elnatan Reisner, Robert Goldman
|
10:55am |
ACOPlan:
Planning with Ants
Marco
Baioletti, Alfredo Milani, Valentina Poggioni, Fabio Rossi
|
11:20am |
Just-in-Time
Backfilling in Multi-Agent Scheduling
Anthony
Gallagher, Luke Hunsberger, Stephen F. Smith
|
11:45am |
Towards Shorter Solutions for Problems of Path
Planning for Multiple Robots in Theta-like Environments
Pavel Surynek |
|
Session
6d: Case-Based Reasoning - Chair: Vincent Aleven |
10:30am |
Invited Talk: Multimodal Case-Based Reasoning
Ashok K.
Goel
|
11:20am |
What a Legal CBR Ontology Should Provide
Kevin D.
Ashley |
11:45am |
Improving KD-Tree Based Retrieval for
AttributeDependent Generalized Cases
Ralph Bergmann, Alexander Tartakovski |
Wednesday, 20th
May, 1:45pm-3:00pm
|
Session
7a: General Track (Machine Learning) - Chair: Chas Murray |
1:45pm |
Systematic Evaluation of Convergence Criteria in
Iterative Training for NLP
Patricia
Brent, Nathan David Green, Paul Breimyer, Ramya Krishnamurthy, Nagiza
Samatova
|
2:10pm |
A Large Margin Approach to Anaphora Resolution
for Neuroscience Knowledge Discovery
Burak Ozyurt
|
2:35pm |
Training to a Neural Net's Inherent Bias
Steven Gutstein, Olac Fuentes, Eric Freudenthal |
|
Session
7b:
Applied Natural Language Processing - Chair: Danielle McNamara |
1:45pm |
c-rater:Automatic Content Scoring for Short
Constructed Responses
Jana Zuheir
Sukkarieh, John Blackmore
|
2:10pm |
The Role of Knowledge-based Features in Polarity
Classification at Sentence Level
Michael
Wiegand, Dietrich Klakow
|
|
Session
7c: AI
Planning and Scheduling - Chair: Roman Barták |
1:45pm |
Reasoning with Conditional Time-Intervals. Part
II: An Algebraical Model for Resources
Philippe Laborie, Jerome Rogerie, Paul Shaw, Petr Vilim |
2:10pm |
Scheduling the Finnish 1st Division Ice Hockey
League
Jari Kyngas, Kimmo Nurmi |
|
Session
7d: Case-Based Reasoning - Chair: Santiago Ontañón |
1:45pm |
Discovering Patterns of Collaboration for
Recommendation
Sidath Gunawardena, Rosina Weber |
2:10pm |
Methodology for Classifying and Indexing
Case-Based Reasoning Systems in the Health Sciences
Isabelle Bichindaritz, John C. Reed |
2:35pm |
Beating the Defense: Using Plan Recognition to
Inform Learning Agents
Matthew Molineaux, David W. Aha, Gita Sukthankar |
Wednesday, 20th May,
3:30pm-4:45pm
|
Session
8a: General Track (Machine Learning/Agents) - Chair: Hans Guesgen |
3:30pm |
Analyzing Team Actions with Cascading HMM
Brandyn Allen White, Nate Blaylock, Ladislau Boloni |
3:55pm |
Mapping Grounded Object Properties across
Perceptually Heterogeneous Embodiments
Zsolt Kira
|
4:20pm |
Responding to Sneaky Agents in Multi-agent Domains
Richard S. Seymour, Gilbert L. Peterson |
|
Session
8b: Uncertain Reasoning - Chair: L. Enrique Sucar |
3:30pm |
Join Tree Propagation Utilizing Both Arc Reversal
and Variable Elimination
Cory James
Butz, Ken Konkel, Pawan Lingras |
3:55pm |
Constraint-based Approach to Discovery of Inter
Module Dependencies in Modular Bayesian Networks
Patrick de Oude, Gregor Pavlin |
|
Session
8c: Semantics, Ontologies, and Computational Linguistics - Chair: Anca
Pascu |
3:30pm |
Invited Talk: Linguistic Ontologies for Time and
Space
James
Pustejovsky
|
4:20pm |
Are Ontologies Involved In Natural Language
Processing?
Maryvonne Abraham |
|
Session
8d: Intelligent Tutoring Systems - Chair: Chas Murray |
3:30pm |
Invited Talk: CTAT: Efficiently Building
Real-World Intelligent Tutoring
Systems through Programming by Demonstration
Vincent
Aleven
|
4:20pm |
ITS Panel
|
Wednesday, 20th May,
5:00pm-6:15pm
|
Session
9a: General Track (Logic) - Chair: Eugene Freuder |
5:00pm |
A Knowledge Compilation Technique for ALC Tboxes
Ulrich Furbach, Heiko Günther, Claudia Obermaier |
5:25pm |
Inference with Relational Theories over Infinite
Domains
Nicholas
Cassimatis, Arthi Murugesan, Perrin Bignoli
|
5:50pm |
Coinductive Logic Programming and its Application
to Boolean SAT
Richard Min,
Gopal Gupta |
|
Session
9b: Uncertain Reasoning - Chair: Yang Xiang |
5:00pm |
Probabilistic Reasoning at Optimum Entropy with
the MEcore System
Marc
Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner
|
5:25pm |
Mining Default Rules from Statistical Data
Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler
|
5:50pm |
Dynamic Programming Approximations for Partially
Observable Stochastic Games
Akshat
Kumar, Shlomo Zilberstein
|
|
Session
9c: Semantics, Ontologies, and Computational Linguistics -
Chair: Ismail Biskri |
5:00pm |
Organizing Knowledge as an Ontology of the Domain
of Resilient Computing by Means of Natural Language Processing - An
Experience Report -
Algirdas
Avizienis, Gintare Grigonyte, Johann Haller, Friedrich von Henke,
Thorsten Liebig, Olaf Noppens |
5:25pm |
Automatic
Analysis of Author Judgment in Scientific Articles Based on Semantic
Annotation
Marc Bertin,
Iana Atanassova, Jean-Pierre Desclés |
5:50pm |
Toward a Formal Ontology of Time from Aspects
Jean-Pierre
Desclés, Aurelien Arena |
|
Session
9d: Intelligent Tutoring Systems - Chair: Chas
Murray |
5:00pm |
Promoting Reflection and its Effect on Learning
in a Programming Tutor
Amruth N.
Kumar
|
5:25pm |
Measuring Hint Level in Open Cloze Questions
Juan Pino,
Maxine Eskenazi
|
5:50pm |
Incorporating an Affective Behavior Model into an
Educational Game
Yasmin
Hernandez, Enrique Sucar, Cristina Conati
|
Thursday, 21st May,
9:00am-10:00am
|
Session
10:
Invited Talk - Chair: Hans Guesgen |
9:00am |
The
Ubiquity of Constraints
Eugene
Freuder, University College Cork, Ireland
Constraints are everywhere.
The popular puzzle
Sudoku is an example of a Constraint Satisfaction Problem, where a
sample constraint would be "all the numbers in the first row have to be
different". Real-world constraint problems can involve reasoning about
costs, preferences, uncertainty, and change. Constraints arise in
design and configuration, planning and scheduling, diagnosis and
testing, and in many other contexts. They define problems in
telecommunications, internet commerce, electronics, bioinformatics,
transportation, network management, supply chain management, and many
other domains. Once problems are modeled as Constraint Satisfaction
Problems, constraint satisfaction and optimization methods may help
individuals and businesses make satisfactory or even optimal choices
when presented with many options and restrictions. The abundance of
potential applications multiplies the opportunities to validate and
motivate basic research, and to transfer technology for economic and
social benefit.
Professor
Freuder is the Director of the Cork Constraint Computation Centre in
the Department of Computer Science at University College Cork in
Ireland. He received his B.A., magna cum laude, in mathematics from
Harvard and a Ph.D. in computer science from M.I.T. He has been elected
a Fellow of the American Association for the Advancement of Science,
the Association for the Advancement of Artificial Intelligence, and the
European Coordinating Committee for Artificial Intelligence, and is a
Member of the Royal Irish Academy. He received the first Research
Excellence Award of the Association for Constraint Programming, and
served as Executive Chair of the Organizing Committee of the series of
International Conferences on Principles and Practice of Constraint
Programming, and as the founding Editor-in-Chief of the Constraints
journal. In the Citeseer database of most cited authors in computer
science Professor Freuder is ranked in the top one-tenth of one per
cent. He has played a key role in obtaining over 60 million dollars in
funding from government and industry to support scientific research.
|
Thursday, 21st May,
10:30am-12:15pm
|
Session
11a: Games and Entertainment - Chair: Klaus Jantke |
10:30am |
A Generalized Heuristic for Can't Stop
James R.
Glenn, Christian J. Aloi
|
10:55am |
Dynamic Updating of Navigation Meshes in Response
to Changes in a Game World
D. Hunter
Hale, G. Michael Youngblood
|
11:20am |
Making User-Defined Interactive Game Characters
BEHAVE
Frederick W.
P. Heckel, G. Michael Youngblood, D. Hunter Hale
|
11:45am |
Learning Human Behavior from Observation for
Gaming Applications
Christopher
Lawrence Moriarty, Avelino J. Gonzalez
|
|
Session
11b: Uncertain Reasoning - Chair: Gabriele Kern-Isberner |
10:30am |
Modeling Belief Change on Epistemic States
Jianbing Ma,
Weiru Liu
|
10:55am |
Bayesian Knowledge Fusion
Eugene
Santos, Jr., John T. Wilkinson, Eunice E. Santos
|
11:20am |
Multiagent Bayesian Forecasting of Time Series
with Graphical Models
Yang Xiang, James Smith, Jeff Kroes |
|
Session
11c: Semantics, Ontologies, and Computational Linguistics - Chair:
Florence Le Priol |
10:30am |
The Implementation of Arabic Subject Markers in
the LKB System
Adel Jebali
|
10:55am |
Combinators’ Introduction: an Enhanced Algorithm
Adam Joly,
Ismaïl Biskri, Boucif Amar Bensaber
|
11:20am |
Obtaining Hidden Relations from a Syntactically
Annotated Corpus - From Word Relationships to Clause Relationships
Oldrich
Kruza, Vladislav Kubon
|
|