default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th FLAIRS Conference 2007: Key West, Florida, USA
- David Wilson, Geoff Sutcliffe:
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
Invited Speaker Papers
- Timothy W. Finin, Joel Sachs, Cynthia Sims Parr:
Finding Data, Knowledge, and Answers on the Semantic Web. 2-7 - Ramón López de Mántaras, Maarten Grachten, Josep Lluís Arcos:
Playing with Cases: Tempo Transformations of Jazz Performances Using Case-Based Reasoning. 8-11 - Sebastian Thrun:
Self-Driving Cars - An AI-Robotics Challenge. 12
Special Track Invited Speaker Papers
- Jean-Pierre Desclés:
Ontologies, Semantic Maps, and Cognitive Scheme. 13-14 - Danielle S. McNamara:
IIS: A Marriage of Computational Linguistics, Psychology, and Educational Technologies. 15-20 - Jean Guy Meunier:
Annotation in Computer Assisted Reading and Analysis of Texts. 21 - Ashwin Ram, Santiago Ontañón, Manish Mehta:
Artificial Intelligence for Adaptive Computer Games. 22-29 - Michael M. Richter:
Foundations of Similarity and Utility. 30-37
General Conference
- Salem Benferhat, Daniel Le Berre, Karima Sedki:
Handling Qualitative Preferences Using Normal Form Functions. 38-43 - Edward Clarkson, Ronald C. Arkin:
Applying Heuristic Evaluation to Human-Robot Interaction Systems. 44-49 - James Creel, Christopher Menzel, Thomas R. Ioerger:
Intention Is Commitment with Expectation. 50-55 - Peng Dai, Judy Goldsmith:
Multi-Threaded BLAO* Algorithm. 56-61 - Mats Danielson, Love Ekenberg, David Sundgren:
Structure Information in Decision Trees and Similar Formalisms. 62-67 - James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman:
Compositional Belief Update. 68-73 - Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle:
Learning Uncertain Rules with CONDORCKD. 74-79 - Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness, Priyendra Deshwal, Dhyanesh Narayanan, Juliana Carvalho, Vládia Pinheiro, Cynthia Chang:
Abstracting Web Agent Proofs into Human-Level Justifications. 80-85 - Lucie Galand, Olivier Spanjaard:
OWA-Based Search in State Space Graphs with Multiple Cost Functions. 86-91 - Saulius Juozas Garalevicius:
Memory-Prediction Framework for Pattern Recognition: Performance and Suitability of the Bayesian Model of Visual Cortex. 92-97 - Kevin Grant, Michael C. Horsch:
Efficient Caching in Elimination Trees. 98-103 - Steven Gutstein, Olac Fuentes, Eric Freudenthal:
Knowledge Transfer in Deep Convolutional Neural Nets. 104-109 - David M. Kaiser:
The Design and Implementation of a Successful General Game Playing Agent. 110-115 - Tsai-Ching Lu, K. Wojtek Przytula:
System Diagnosability Analysis Using p-slop MAP. 116-121 - Elmar Reucher, Friedhelm Kulmann:
Probabilistic Knowledge Processing and Remaining Uncertainty. 122-127 - Spencer 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 - Pavel Surynek, Roman Barták:
Maintaining Arc-Consistency over Mutex Relations in Planning Graphs during Search. 134-139 - Matthew E. Taylor, Cynthia Matuszek, Bryan Klimt, Michael Witbrock:
Autonomous Classification of Knowledge into an Ontology. 140-145 - Matthew E. Taylor, Cynthia Matuszek, Pace Reagan Smith, Michael Witbrock:
Guiding Inference with Policy Search Reinforcement Learning. 146-151 - Dan Tecuci, Bruce W. Porter:
A Generic Memory Module for Events. 152-157 - William H. Turkett Jr.:
Dynamic DDN Construction for Lightweight Planning Architectures. 158-163 - Dan Wu:
Lossless Decomposition of Bayesian Networks. 164-169 - Yang Xiang:
A Decision Theoretic View on Choosing Heuristics for Discovery of Graphical Models. 170-175
Posters
- Yoo Jung An, Kuo-Chuan Huang, James Geller:
Rating the Naturalness of Ontology Taxonomies. 176-177 - Luciano Caroprese, Irina Trubitsyna, Ester Zumpano:
Prioritized Reasoning in Logic Programming. 178-179 - Ghaith Haddad, Brent Horine, Ladislau Bölöni:
UCFTAC: A Control Based Supply Chain Management Trading Agent. 180-181 - Margarita Razgon, Barry O'Sullivan, Gregory M. Provan:
Search Ordering Heuristics for Restarts-Based Constraint Solving. 182-183 - Christian Roberson, Douglas D. Dankel II:
A Morphological Neural Network Approach to Information Retrieval. 184-185 - Michael Solano, Istvan Jonyer:
Performance Analysis of Evolutionary Search with a Dynamic Restart Policy. 186-187 - Dan E. Tamir:
Competitive Neural Network Training: A Multi-Resolution Approach. 188-189 - Jon R. Wright:
Using Plans to Automate Software Applications. 190-191
Special Track: Applied Natural Language Processing
- João Cordeiro, Gaël Dias, Pavel Brazdil:
Learning Paraphrases from WNS Corpora. 193-198 - Andrea Corradini, Thomas Hanneforth, Adrian Bak:
A Robust Spoken Language Architecture to Control a 2D Game. 199-204 - Scott A. Crossley, Philip M. McCarthy, Danielle S. McNamara:
Discriminating between Second Language Learning Text-Types. 205-210 - Andras Csomai, Rada Mihalcea:
Investigations in Unsupervised Back-of-the-Book Indexing. 211-216 - Kyle B. Dempsey, Philip M. McCarthy, Danielle S. McNamara:
Using Phrasal Verbs as an Index to Distinguish Text Genres. 217-222 - Asif Ekbal, Sivaji Bandyopadhyay:
Transliteration of Named Entity: Bengali and English as Case Study. 223-228 - Peifeng Li, Jinhui Li, Qiaoming Zhu:
An Approach to Email Categorization with the ME Model. 229-234 - Erin J. Lightman, Philip M. McCarthy, David F. Dufty, Danielle S. McNamara:
Cohesion and Structural Organization in High School Texts. 235-240 - Xiaofei Lu:
Combining Machine Learning with Linguistic Heuristics for Chinese Word Segmentation. 241-246 - 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 - Rebecca J. Passonneau, Adam Goodkind, Elena T. Levy:
Annotation of Children's Oral Narrations: Modeling Emergent Narrative Skills for Computational Applications. 253-258
Posters
- Cosmin Adrian Bejan:
Deriving Chronological Information from Texts through a Graph-Based Algorithm. 259-260 - Asif Ekbal, Sivaji Bandyopadhyay:
Lexicon Development and POS Tagging Using a Tagged Bengali News Corpus. 261-262 - Leo Ferres, Petro Verkhogliad, Gitte Lindgaard:
Using Language as an Accessibility Tool: A System for Natural Language Interaction with Graphs over the Web. 263-264 - Manish Mehta, Andrea Corradini:
Towards Handling General Purpose Topics for a Conversational Character. 265-266 - Zygmunt Vetulani, Tomasz Obrêbski, Grazyna Vetulani:
Towards a Lexicon-Grammar of Polish: Extraction of Verbo-Nominal Collocations from Corpora. 267-268 - Savas Yildirim, Yilmaz Kiliçaslan:
A Machine Learning Approach to Personal Pronoun Resolution in Turkish. 269-270
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 - Sergiu Dumitriu, Marta Gîrdea, Sabin C. Buraga:
Knowledge Management in a Wiki Platform via Microformats. 278-283 - Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva:
Explaining Task Processing in Cognitive Assistants that Learn. 284-289 - Vít Novácek, Maciej Dabrowski, Sebastian Ryszard Kruk, Siegfried Handschuh:
Extending Community Ontology Using Automatically Generated Suggestions. 290-296
Special Track: Artificial Intelligence Education
- Susan Eileen Fox:
Introductory AI for Both Computer Science and Neuroscience Students. 297-302 - David Furcy, Andrew Jungwirth, Thomas L. Naps:
BlockTree - Pedagogical Information Visualization for Heuristic Search. 303-308 - Ioannis Hatzilygeroudis:
Teaching NL to FOL and FOL to CF Conversions. 309-314 - Myles F. McNally, Frank Klassner, Christopher Continanza:
Exploiting MindStorms NXT: Mapping and Localization Projects for the AI Course. 315-320 - R. Mark Meyer, Debra T. Burhans:
Robotran: A Programming Environment for Novices Using LEGO Mindstorms Robots. 321-326 - Jeffrey O. Pfaffmann, William J. Collins:
Teaching Artificial Intelligence across the Computer Science Curriculum Using Sudoku as a Problem Domain. 327-332
Posters
- Benjoe A. Juliano, René S. Renner:
Robotics in the Classroom: Providing Robotics Equipment to Support Intelligent Systems Curricula. 333-334 - Robert W. McGrail, S. Rebecca Thomas:
TICK: A Content Management System Framework for Semantic Web Research and Instruction. 335-336
Special Track: Automatic Annotation and Information Retrieval
- Maryvonne Abraham:
Verbal Polysemy in Automatic Annotation. 338-343 - Ismaïl Biskri
, Marc André Rochette:
The Operational Annotation and the Analysis of the Correlative Coordination in French. 344-349 - Antoine Blais, Iana Atanassova, Jean-Pierre Desclés, Mimi Zhang, Leila Zighem:
Discourse Automatic Annotation of Texts: An Application to Summarization. 350-355 - Brahim Djioua, Jean-Pierre Desclés:
Indexing Documents by Discourse and Semantic Contents from Automatic Annotations of Texts. 356-361 - Aymen Elkhlifi, Rim Faiz:
Machine Learning Approach for the Automatic Annotation of the Events. 362-367 - Vladislav Kubon, Markéta Lopatková, Martin Plátek, Patrice Pognan:
A Linguistically-Based Segmentation of Complex Sentences. 368-373 - 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 - Amal Zouaq, Roger Nkambou, Claude Frasson:
Document Semantic Annotation for Intelligent Tutoring Systems: A Concept Mapping Approach. 380-386
Special Track: Case-Based Reasoning
- Kevin D. Ashley:
Interpretive Reasoning with Hypothetical Cases. 387-392 - Tomás de la Rosa, Angel García Olaya, Daniel Borrajo:
Case-Based Recommendation of Node Ordering in Planning. 393-398 - Luke K. McDowell, Kalyan Moy Gupta, David W. Aha:
Case-Based Collective Classification. 399-404 - Santiago Ontañón, Enric Plaza:
An Argumentation Based Approach to Multi-Agent Learning. 405-410 - Ivana Rasovska, Brigitte Chebel-Morello, Noureddine Zerhouni:
A Case Elaboration Methodology for a Diagnostic and Repair Help System Based on CBR. 411-416 - Jonathan Rubin, Ian D. Watson:
Investigating the Effectiveness of Applying Case-Based Reasoning to the Game of Texas Hold'em. 417-422 - Luís A. Lima Silva, Bernard F. Buxton, John A. Campbell:
Enhanced Case-Based Reasoning trough Use of Argumentation and Numerical Taxonomy. 423-428 - Ian Warfield, Chad Hogg, Stephen Lee-Urban, Hector Muñoz-Avila:
Adaptation of Hierarchical Task Network Plans. 429-434 - Elizabeth T. Whitaker, Robert L. Simpson Jr.:
The Evolution and Evaluation of an Internet Search Tool for Information Analysts. 435-440
Posters
- Enrico Blanzieri, Anton Bryl:
Instance-Based Spam Filtering Using SVM Nearest Neighbor Classifier. 441-442 - Eni Mustafaraj, Martin Hoof, Bernd Freisleben:
Probabilistic Task Content Modeling for Episodic Textual Narratives. 443-444 - Rosina Weber, Sidath Gunawardena, Jason M. Proctor:
Generating Reports from Case-Based Knowledge Artifacts. 445-446
Special Track: Context in AI Tools and Applications
- Patrick Barlatier, Richard Dapoigny:
Using Contexts to Prove and Share Situations. 448-453 - Gustavo González, Josep Lluís de la Rosa, Miquel Montaner:
Embedding Emotional Context in Recommender Systems. 454-459 - Lobna Karoui, Marie-Aude Aufaure, Nacéra Bennacer:
Contextual Concept Discovery Algorithm. 460-465 - Nikita A. Sakhanenko, George F. Luger, Carl R. Stern:
Managing Dynamic Contexts Using Failure-Driven Stochastic Models. 466-471 - Manon J. Sanscartier, Eric Neufeld:
Identifying Hidden Variables from Context-Specific Independencies. 472-478
Special Track: Data Mining
- Narjes Hachani, Habib Ounelli:
Improving Cluster Method Quality by Validity Indices. 479-483 - Mehmed M. Kantardzic, John Gant:
Mining Sequences in Distributed Sensors Data for Energy Production. 484-489 - Taghi M. Khoshgoftaar, Chris Seiffert, Naeem Seliya:
Low-Effort Labeling of Network Events for Intrusion Detection in WLANs. 490-495 - Jacek P. Kukluk, Lawrence B. Holder, Diane J. Cook:
Inference of Edge Replacement Graph Grammars. 496-501 - Selim Mimaroglu, Dan A. Simovici:
Clustering and Approximate Identification of Frequent Item Sets. 502-506
Posters
- Theresa Beaubouef, Frederick E. Petry:
Attribute-Oriented Knowledge Discovery in Rough Relational Databases. 507-508 - Jean-Charles Lamirel, Shadi Al Shehabi:
An Extended Neural Gas Model for Efficient Data Mining Tasks. 509-511
Special Track: Design, Evaluation, and Refinement of Intelligent Systems
- Francisco Álvarez, Antonio Vaquero, Fernando Sáenz-Pérez, Manuel de Buenaga Rodríguez, José María Gómez Hidalgo:
Semantic Relations: Modelling Issues, Proposals and Possible Applications. 512-517 - Martin Atzmüller, Joachim Baumeister, Frank Puppe:
Pattern-Constrained Test Case Generation. 518-523 - Joachim Baumeister, Thomas Kleemann, Dietmar Seipel:
Towards the Verification of Ontologies with Rules. 524-529 - Antoni Ligeza, Grzegorz J. Nalepa:
Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems. 530-535 - Grzegorz J. Nalepa:
Business Rules Design and Refinement Using the XTT Approach. 536-541 - Grzegorz J. Nalepa, Igor Wojnicki:
A Proposal of Hybrid Knowledge Engineering and Refinement Approach. 542-547
Posters
- Yann Barloy, Jean-Marc Nigro:
The Reflexive System Inference Engine: A Tool to Use Metaknowledge. 548-549 - Rainer Knauf:
Compiling Experience into Knowledge. 550-551
Special Track: Games and Entertainment
- Constance G. Baltera, Sara B. Smith, Judy A. Franklin:
Probabilistic Interactive Installations. 553-558 - Anja Beyer:
Security in Online Games - Case Study: Second Life. 559-564 - Marco Paleari, Amandine Grizard, Christine L. Lisetti:
Adapting Psychologically Grounded Facial Emotional Expressions to Different Anthropomorphic Embodiment Platforms. 565-570 - Manu Sharma, Santiago Ontañón, Christina R. Strong, Manish Mehta, Ashwin Ram:
Towards Player Preference Modeling for Drama Management in Interactive Stories. 571-576
Poster
- Gunther Kreuzberger:
Game State versus Play State: From DVDi Games to a Language of Gaming Experience. 577-579
Special Track: Machine Learning
- Jason Chan, Josiah Poon, Irena Koprinska:
Enhancing the Performance of Semi-Supervised Classification Algorithms with Bridging. 580-585 - Lutz Frommberger:
A Generalizing Spatial Representation for Robot Navigation with Reinforcement Learning. 586-591 - Diarmuid Grimes, Richard J. Wallace:
Learning to Identify Global Bottlenecks in Constraint Satisfaction Search. 592-597 - Hans Holland, Miroslav Kubat, Jan Zizka:
Instance-Based Classifiers Dealing with Ambiguous Attributes and Class Labels. 598-603 - Mihai C. Lintean, Vasile Rus:
Naive Bayes and Decision Trees for Function Tagging. 604-609 - Wenjin Lu, Ross King:
Disjunctive Bottom Set and Its Computation. 610-615 - Smiljana Petrovic, Susan L. Epstein:
Random Subsets Support Learning a Mixture of Heuristics. 616-621 - Edgar Pimenta, João Gama, André Carlos Ponce de Leon Ferreira de Carvalho:
Pursuing the Best ECOC Dimension for Multiclass Problems. 622-627 - Daniel L. Silver, Ryan Poirier:
Context-Sensitive MTL Networks for Machine Lifelong Learning. 628-633
Posters
- Jorge de la Calleja, Olac Fuentes:
A Distance-Based Over-Sampling Method for Learning from Imbalanced Data Sets. 634-635 - Rodrigo Ventura, Carlos Pinto-Ferreira:
A Multidimensional Scaling Approach to Indexing by Metric Adaptation and Representation Upgrade. 636-637 - Kasun Wickramaratna, Miroslav Kubat, Peter J. Minnett:
Automated Search for the Quantitative Laws Affecting CO2 Fugacity in Sea Water. 638-640
Special Track: Spatio-Temporal Knowledge Representation and Reasoning
- Roman Barták, Ondrej Cepek:
Temporal Networks with Alternatives: Complexity and Model. 641-646 - Hanna Bauerdick, Björn Gottfried:
Fuzzy Temporal Relations for Fault Management. 647-652 - David Brageul, Hans W. Guesgen:
A Model for Qualitative Spatial Reasoning Combining Topology, Orientation and Distance. 653-658 - Bernhard Heinemann:
Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge. 659-664 - Stefan Wölfl, Till Mossakowski, Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. 665-670
Posters
- Andrew Shewring, Hans W. Guesgen:
The Optimisation of Unitising Designs. 671-672 - Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel, Stefan Wölfl:
Qualitative Spatial Reasoning for Rule Compliant Agent Navigation. 673-674
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-19 01:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
