David Wilson, Geoff Sutcliffe (Eds.):
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA.
AAAI Press 2007, ISBN 978-1-57735-319-5 BibTeX
Invited Speaker Papers
Special Track Invited Speaker Papers
General Conference
- Salem Benferhat, Daniel Le Berre, Karima Sedki:
Handling Qualitative Preferences Using Normal Form Functions.
38-43 BibTeX
- Edward Clarkson, Ronald C. Arkin:
Applying Heuristic Evaluation to Human-Robot Interaction Systems.
44-49 BibTeX
- James Creel, Christopher Menzel, Thomas R. Ioerger:
Intention Is Commitment with Expectation.
50-55 BibTeX
- Peng Dai, Judy Goldsmith:
Multi-Threaded BLAO* Algorithm.
56-61 BibTeX
- Mats Danielson, Love Ekenberg, David Sundgren:
Structure Information in Decision Trees and Similar Formalisms.
62-67 BibTeX
- James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman:
Compositional Belief Update.
68-73 BibTeX
- Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle:
Learning Uncertain Rules with CONDORCKD.
74-79 BibTeX
- Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness, Priyendra Deshwal, Dhyanesh Narayanan, Juliana Carvalho, Vladia Pinheiro, Cynthia Chang:
Abstracting Web Agent Proofs into Human-Level Justifications.
80-85 BibTeX
- Lucie Galand, Olivier Spanjaard:
OWA-Based Search in State Space Graphs with Multiple Cost Functions.
86-91 BibTeX
- Saulius Juozas Garalevicius:
Memory-Prediction Framework for Pattern Recognition: Performance and Suitability of the Bayesian Model of Visual Cortex.
92-97 BibTeX
- Kevin Grant, Michael C. Horsch:
Efficient Caching in Elimination Trees.
98-103 BibTeX
- Steven Gutstein, Olac Fuentes, Eric Freudenthal:
Knowledge Transfer in Deep Convolutional Neural Nets.
104-109 BibTeX
- David M. Kaiser:
The Design and Implementation of a Successful General Game Playing Agent.
110-115 BibTeX
- Tsai-Ching Lu, K. Wojtek Przytula:
System Diagnosability Analysis Using p-slop MAP.
116-121 BibTeX
- Elmar Reucher, Friedhelm Kulmann:
Probabilistic Knowledge Processing and Remaining Uncertainty.
122-127 BibTeX
- S. L. Strunic, Fernando Rios-Gutiérrez, Rocío Alba-Flores, Glenn Nordehn, Stanley Burns:
Detection and Classification of Cardiac Murmurs Using Segmentation Techniques and Artificial Neural Networks.
128-133 BibTeX
- Pavel Surynek, Roman Barták:
Maintaining Arc-Consistency over Mutex Relations in Planning Graphs during Search.
134-139 BibTeX
- Matthew E. Taylor, Cynthia Matuszek, Bryan Klimt, Michael J. Witbrock:
Autonomous Classification of Knowledge into an Ontology.
140-145 BibTeX
- Matthew E. Taylor, Cynthia Matuszek, Pace Reagan Smith, Michael J. Witbrock:
Guiding Inference with Policy Search Reinforcement Learning.
146-151 BibTeX
- Dan Tecuci, Bruce W. Porter:
A Generic Memory Module for Events.
152-157 BibTeX
- William H. Turkett:
Dynamic DDN Construction for Lightweight Planning Architectures.
158-163 BibTeX
- Dan Wu:
Lossless Decomposition of Bayesian Networks.
164-169 BibTeX
- Yang Xiang:
A Decision Theoretic View on Choosing Heuristics for Discovery of Graphical Models.
170- BibTeX
Posters
- Yoo Jung An, Kuo-chuan Huang, James Geller:
Rating the Naturalness of Ontology Taxonomies.
176-177 BibTeX
- Luciano Caroprese, Irina Trubitsyna, Ester Zumpano:
Prioritized Reasoning in Logic Programming.
178-179 BibTeX
- Ghaith Haddad, Brent Horine, Ladislau Bölöni:
UCFTAC: A Control Based Supply Chain Management Trading Agent.
180-181 BibTeX
- Margarita Razgon, Barry O'Sullivan, Gregory M. Provan:
Search Ordering Heuristics for Restarts-Based Constraint Solving.
182-183 BibTeX
- Christian Roberson, Douglas D. Dankel II:
A Morphological Neural Network Approach to Information Retrieval.
184-185 BibTeX
- Michael Solano, Istvan Jonyer:
Performance Analysis of Evolutionary Search with a Dynamic Restart Policy.
186-187 BibTeX
- Dan E. Tamir:
Competitive Neural Network Training: A Multi-Resolution Approach.
188-189 BibTeX
- Jon R. Wright:
Using Plans to Automate Software Applications.
190-191 BibTeX
Special Track:
Applied Natural Language Processing
- João Cordeiro, Gaël Dias, Pavel Brazdil:
Learning Paraphrases from WNS Corpora.
193-198 BibTeX
- Andrea Corradini, Thomas Hanneforth, Adrian Bak:
A Robust Spoken Language Architecture to Control a 2D Game.
199-204 BibTeX
- Scott A. Crossley, Philip M. McCarthy, Danielle S. McNamara:
Discriminating between Second Language Learning Text-Types.
205-210 BibTeX
- Andras Csomai, Rada Mihalcea:
Investigations in Unsupervised Back-of-the-Book Indexing.
211-216 BibTeX
- Kyle B. Dempsey, Philip M. McCarthy, Danielle S. McNamara:
Using Phrasal Verbs as an Index to Distinguish Text Genres.
217-222 BibTeX
- Asif Ekbal, Sivaji Bandyopadhyay:
Transliteration of Named Entity: Bengali and English as Case Study.
223-228 BibTeX
- Peifeng Li, Jinhui Li, Qiaoming Zhu:
An Approach to Email Categorization with the ME Model.
229-234 BibTeX
- Erin J. Lightman, Philip M. McCarthy, David F. Dufty, Danielle S. McNamara:
Cohesion and Structural Organization in High School Texts.
235-240 BibTeX
- Xiaofei Lu:
Combining Machine Learning with Linguistic Heuristics for Chinese Word Segmentation.
241-246 BibTeX
- Philip M. McCarthy, Vasile Rus, Scott A. Crossley, Sarah C. Bigham, Arthur C. Graesser, Danielle S. McNamara:
Assessing Entailer with a Corpus of Natural Language from an Intelligent Tutoring System.
247-252 BibTeX
- Rebecca J. Passonneau, Adam Goodkind, Elena T. Levy:
Annotation of Children's Oral Narrations: Modeling Emergent Narrative Skills for Computational Applications.
253- BibTeX
Posters
Special Track:
Artificial Intelligence and Social Semantic Collaboration
- Dominic Battré, Felix Heine, André Höing, Giovanni Cortese:
Accessing XML Documents Using Semantic Meta Data in a P2P Environment.
272-277 BibTeX
- Sergiu Dumitriu, Marta Gîrdea, Sabin C. Buraga:
Knowledge Management in a Wiki Platform via Microformats.
278-283 BibTeX
- Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva:
Explaining Task Processing in Cognitive Assistants that Learn.
284-289 BibTeX
- Vít Novácek, Maciej Dabrowski, Sebastian Ryszard Kruk, Siegfried Handschuh:
Extending Community Ontology Using Automatically Generated Suggestions.
290- BibTeX
Special Track:
Artificial Intelligence Education
Posters
Special Track:
Automatic Annotation and Information Retrieval
- Maryvonne Abraham:
Verbal Polysemy in Automatic Annotation.
338-343 BibTeX
- Ismaïl Biskri, Marc André Rochette:
The Operational Annotation and the Analysis of the Correlative Coordination in French.
344-349 BibTeX
- Antoine Blais, Iana Atanassova, Jean-Pierre Desclés, Mimi Zhang, Leila Zighem:
Discourse Automatic Annotation of Texts: An Application to Summarization.
350-355 BibTeX
- Brahim Djioua, Jean-Pierre Desclés:
Indexing Documents by Discourse and Semantic Contents from Automatic Annotations of Texts.
356-361 BibTeX
- Aymen Elkhlifi, Rim Faiz:
Machine Learning Approach for the Automatic Annotation of the Events.
362-367 BibTeX
- Vladislav Kubon, Markéta Lopatková, Martin Plátek, Patrice Pognan:
A Linguistically-Based Segmentation of Complex Sentences.
368-373 BibTeX
- Florence Le Priol, Brahim Djioua, Daniela Garcia:
Automatic Annotation of Discourse and Semantic Relations Supplemented by Terminology Extraction for Domain Ontology Building and Information Retrieval.
374-379 BibTeX
- Amal Zouaq, Roger Nkambou, Claude Frasson:
Document Semantic Annotation for Intelligent Tutoring Systems: A Concept Mapping Approach.
380- BibTeX
Special Track:
Case-Based Reasoning
- Kevin D. Ashley:
Interpretive Reasoning with Hypothetical Cases.
387-392 BibTeX
- Tomás de la Rosa, Angel García Olaya, Daniel Borrajo:
Case-Based Recommendation of Node Ordering in Planning.
393-398 BibTeX
- Luke McDowell, Kalyan Moy Gupta, David W. Aha:
Case-Based Collective Classification.
399-404 BibTeX
- Santiago Ontañón, Enric Plaza:
An Argumentation Based Approach to Multi-Agent Learning.
405-410 BibTeX
- Ivana Rasovska, Brigitte Chebel-Morello, Noureddine Zerhouni:
A Case Elaboration Methodology for a Diagnostic and Repair Help System Based on CBR.
411-416 BibTeX
- Jonathan Rubin, Ian Watson:
Investigating the Effectiveness of Applying Case-Based Reasoning to the Game of Texas Hold'em.
417-422 BibTeX
- Luís A. Lima Silva, Bernard F. Buxton, John A. Campbell:
Enhanced Case-Based Reasoning trough Use of Argumentation and Numerical Taxonomy.
423-428 BibTeX
- Ian Warfield, Chad Hogg, Stephen Lee-Urban, Hector Muñoz-Avila:
Adaptation of Hierarchical Task Network Plans.
429-434 BibTeX
- Elizabeth T. Whitaker, Robert L. Simpson Jr.:
The Evolution and Evaluation of an Internet Search Tool for Information Analysts.
435- BibTeX
Posters
Special Track:
Context in AI Tools and Applications
Special Track:
Data Mining
Posters
Special Track:
Design,
Evaluation,
and Refinement of Intelligent Systems
- Francisco Álvarez, Antonio Vaquero, Fernando Sáenz, Manuel de Buenaga Rodríguez, José María Gómez Hidalgo:
Semantic Relations: Modelling Issues, Proposals and Possible Applications.
512-517 BibTeX
- Martin Atzmüller, Joachim Baumeister, Frank Puppe:
Pattern-Constrained Test Case Generation.
518-523 BibTeX
- Joachim Baumeister, Thomas Kleemann, Dietmar Seipel:
Towards the Verification of Ontologies with Rules.
524-529 BibTeX
- Antoni Ligeza, Grzegorz J. Nalepa:
Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems.
530-535 BibTeX
- Grzegorz J. Nalepa:
Business Rules Design and Refinement Using the XTT Approach.
536-541 BibTeX
- Grzegorz J. Nalepa, Igor Wojnicki:
A Proposal of Hybrid Knowledge Engineering and Refinement Approach.
542- BibTeX
Posters
Special Track:
Games and Entertainment
Poster
Special Track:
Machine Learning
- Jason Chan, Josiah Poon, Irena Koprinska:
Enhancing the Performance of Semi-Supervised Classification Algorithms with Bridging.
580-585 BibTeX
- Lutz Frommberger:
A Generalizing Spatial Representation for Robot Navigation with Reinforcement Learning.
586-591 BibTeX
- Diarmuid Grimes, Richard J. Wallace:
Learning to Identify Global Bottlenecks in Constraint Satisfaction Search.
592-597 BibTeX
- Hans Holland, Miroslav Kubat, Jan Zizka:
Instance-Based Classifiers Dealing with Ambiguous Attributes and Class Labels.
598-603 BibTeX
- Mihai C. Lintean, Vasile Rus:
Naive Bayes and Decision Trees for Function Tagging.
604-609 BibTeX
- Wenjin Lu, Ross King:
Disjunctive Bottom Set and Its Computation.
610-615 BibTeX
- Smiljana Petrovic, Susan L. Epstein:
Random Subsets Support Learning a Mixture of Heuristics.
616-621 BibTeX
- Edgar Pimenta, João Gama, André Carlos Ponce Leon Ferreira de Carvalho:
Pursuing the Best ECOC Dimension for Multiclass Problems.
622-627 BibTeX
- Daniel L. Silver, Ryan Poirier:
Context-Sensitive MTL Networks for Machine Lifelong Learning.
628- BibTeX
Posters
Special Track:
Spatio-Temporal Knowledge Representation and Reasoning
Posters
Copyright © Sat May 16 23:12:12 2009
by Michael Ley (ley@uni-trier.de)