default search action
16th ECAI 2004: Valencia, Spain
- Ramón López de Mántaras, Lorenza Saitta:
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004. IOS Press 2004, ISBN 1-58603-452-9
Agents and Distritbuted AI
- Samir Aknine, Philippe Caillou:
Agreements Without Disagreements. ECAI 2004: 3-7 - Shlomit Bergman, Elan Pavlov, Jeffrey S. Rosenschein:
Negotiation in State-Oriented Domains with Incomplete Information over Goals. ECAI 2004: 8-12 - Guido Boella, Leendert W. N. van der Torre:
Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents. ECAI 2004: 13-17 - Trung Dong Huynh, Nicholas R. Jennings, Nigel R. Shadbolt:
FIRE: An Integrated Trust and Reputation Model for Open Multi-Agent Systems. ECAI 2004: 18-22 - Alberto Finzi, Thomas Lukasiewicz:
Game-Theoretic Agent Programming in Golog. ECAI 2004: 23-27 - Antonis C. Kakas, Paolo Torroni, Neophytos Demetriou:
Agent Planning, Negotiation and Control of Operation. ECAI 2004: 28-32 - Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
The KGP Model of Agency. ECAI 2004: 33-37 - Fernando Lopes, Nuno J. Mamede, Augusto Q. Novais, Helder Coelho:
Negotiation Strategies for Autonomous Computational Agents. ECAI 2004: 38-42 - Yannick Pencolé:
Diagnosability Analysis of Distributed Discrete Event Systems. ECAI 2004: 43-47 - Josep M. Pujol, Andreas Flache, Ramon Sangüesa, Jordi Delgado:
Emergence of Complex Networks through Local Optimization. ECAI 2004: 48-52 - Franco Raimondi, Alessio Lomuscio:
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. ECAI 2004: 53-57 - Floris Roelofsen, Luciano Serafini, Alessandro Cimatti:
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. ECAI 2004: 58-62 - Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael J. Wooldridge:
SERSE: Searching for Semantic Web Content. ECAI 2004: 63-67 - Andréa I. Tavares, Mario Fernando Montenegro Campos:
Balancing Coordination and Synchronization Cost in Cooperative Situated Multi-Agent Systems with Imperfect Communication. ECAI 2004: 68-73 - Bình Vu Trân, James Harland, Margaret Hamilton:
Expectation Reasoning Using Regret and Disappointment. ECAI 2004: 74-78 - Perukrishnen Vytelingum, Rajdeep K. Dash, Esther David, Nicholas R. Jennings:
A Risk-Based Bidding Strategy for Continuous Double Auctions. ECAI 2004: 79-83 - Thomas Walker, Daniel Kudenko, Malcolm J. A. Strens:
Algorithms for Distributed Exploration. ECAI 2004: 84-88 - Yair B. Weinberger, Jeffrey S. Rosenschein:
Passive Threats among Agents in State Oriented Domains. ECAI 2004: 89-96
Case-Based Approaches
- Eyke Hüllermeier:
Instance-Based Prediction with Guaranteed Confidence. ECAI 2004: 97-101 - Héctor Núñez, Miquel Sànchez-Marrè:
Instance-Based Learning Techniques of Unsupervised Feature Weighting Do not Perform So Badly! ECAI 2004: 102-108
Cognitive Modelling
- Patrícia Augustin Jaques, Rosa Maria Vicari, Sylvie Pesty, Jean-François Bonneville:
Applying Affective Tactics for a Better Learning. ECAI 2004: 109-113 - Heikki Hyötyniemi, Juha Hemánus, Vuokko Lantz:
Exchanging Emotions - SOM Approach. ECAI 2004: 114-118 - Amy Loutfi, Silvia Coradeschi:
Forming Odour Categories Using an Electronic Nose. ECAI 2004: 119-123 - Alke Martens, Adelinde M. Uhrmacher:
A Formal Tutoring Process Model for Intelligent Tutoring Systems. ECAI 2004: 124-128 - John-Jules Ch. Meyer:
Reasoning about Emotional Agents. ECAI 2004: 129-133 - Luís Morgado, Graça Gaspar:
Focusing Reasoning Through Emotional Mechanisms. ECAI 2004: 134-140
Constraint Satisfaction, Search, Games
- Andreas Auer, Hermann Kaindl:
A Case Study of Revisiting Best-First vs. Depth-First Search. ECAI 2004: 141-145 - Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais:
Boosting Systematic Search by Weighting Constraints. ECAI 2004: 146-150 - Kenneth N. Brown, James Little, Páidí J. Creed, Eugene C. Freuder:
Adversarial Constraint Satisfaction by Game-Tree Search. ECAI 2004: 151-155 - Tristan Cazenave:
Generalized Widening. ECAI 2004: 156-160 - Hubie Chen:
Quantified Constraint Satisfaction and Bounded Treewidth. ECAI 2004: 161-165 - Philippe Collard, Sébastien Vérel, Manuel Clergue:
How to Use the Scuba Diving Metaphor to Solve Problems with Neutrality? ECAI 2004: 166-170 - Alan M. Frisch, Christopher Jefferson, Ian Miguel:
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI 2004: 171-175 - Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley:
Encoding Quantified CSPs as Quantified Boolean Formulae. ECAI 2004: 176-180 - Gianluigi Greco, Francesco Scarcello:
Constrained Pure Nash Equilibria in Graphical Games. ECAI 2004: 181-185 - Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
Robust Solutions for Constraint Satisfaction and Optimization. ECAI 2004: 186-190 - Gaofeng Huang, Andrew Lim:
An Effective Branch-and-Bound Algorithm to Solve the k-Longest Common Subsequence Problem. ECAI 2004: 191-195 - Philippe Jégou, Cyril Terrioux:
Decomposition and Good Recording for Solving Max-CSPs. ECAI 2004: 196-200 - Carlos Linares López:
A Study of the Accuracy of Heuristic Functions. ECAI 2004: 201-205 - Arnold Maestre, Christian Bessiere:
Improving Asynchronous Backtracking for Dealing with Complex Local Problems. ECAI 2004: 206-210 - Colva M. Roney-Dougal, Ian P. Gent, Tom W. Kelsey, Steve Linton:
Tractable Symmetry Breaking Using Restricted Search Trees. ECAI 2004: 211-215 - Martí Sánchez-Fibla, Pedro Meseguer, Javier Larrosa:
Using Constraints with Memory to Implement Variable Elimination. ECAI 2004: 216-220 - John K. Slaney, Arnold Binas, David Price:
Guiding a Theorem Prover with Soft Constraints. ECAI 2004: 221-225 - Michel Vasquez, Djamal Habet:
Complete and Incomplete Algorithms for the Queen Graph Coloring Problem. ECAI 2004: 226-230 - Nic Wilson:
Uncertain Linear Constraints. ECAI 2004: 231-238
Genetic Algorithms, Emergent Behaviours
- Sergey Kornienko, Olga Kornienko, Paul Levi:
Generation of Desired Emergent Behavior in Swarm of Micro-Robots. ECAI 2004: 239-243 - Josué Pereira de Castro, Adriana Postal, Guilherme Bittencourt:
A Genetic Algorithm with Feminine Selection. ECAI 2004: 244-250
Knowledge Engineering
- Rainer Deventer, Heinrich Niemann, Martino Celeghini:
Control of a Hydroforming Press with Bayesian Networks. ECAI 2004: 251-255 - Doron Friedman, Yishai A. Feldman:
Knowledge-Based Cinematography and Its Applications. ECAI 2004: 256-262
Knowledge Representation
- Liviu Badea:
Determining the Direction of Causal Influence in Large Probabilistic Networks: A Constraint-Based Approach. ECAI 2004: 263-267 - Evelyn Balfe, Barry Smyth:
Improving Web Search through Collaborative Query Recommendation. ECAI 2004: 268-272 - Chitta Baral, Jicheng Zhao:
Goal Specification in Presence of Non-Deterministic Actions. ECAI 2004: 273-277 - Roberta Benassi, Sonia Bergamaschi, Alain Fergnani, Daniele Miselli:
Extending a Lexicon Ontology for Intelligent Information Integration. ECAI 2004: 278-282 - Thomas Bittner, Maureen Donnelly:
The Mereology of Stages and Persistent Entities. ECAI 2004: 283-287 - Piero A. Bonatti:
Abduction over Unbounded Domains via ASP. ECAI 2004: 288-292 - Tibor Bosse, Catholijn M. Jonker, Jan Treur:
Analysis of Design Process Dynamics. ECAI 2004: 293-297 - Sebastian Brandt:
Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else? ECAI 2004: 298-302 - Gerhard Brewka:
A Rank Based Description Language for Qualitative Preferences. ECAI 2004: 303-307 - Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris:
An Ontology Based Visual Tool for Query Formulation Support. ECAI 2004: 308-312 - Matteo Cristani, Francesco Bellomi:
Fundamental Issues of Aesthetic Knowledge Representation. ECAI 2004: 313-317 - Frédéric Fürst, Michel Leclère, Francky Trichet:
Operationalizing Domain Ontologies: A Method and a Tool. ECAI 2004: 318-322 - Jaime Shinsuke Ide, Fábio Gagliardi Cozman, Fabio Tozeto Ramos:
Generating Random Bayesian Networks with Constraints on Induced Width. ECAI 2004: 323-327 - Adnan Darwiche:
New Advances in Compiling CNF into Decomposable Negation Normal Form. ECAI 2004: 328-332 - Jérôme Euzenat, Petko Valtchev:
Similarity-Based Ontology Alignment in OWL-Lite. ECAI 2004: 333-337 - Maria Fox, Derek Long, Keith Halsey:
An Investigation into the Expressive Power of PDDL2.1. ECAI 2004: 328-342 - Chiara Ghidini, Fausto Giunchiglia:
A Semantics for Abstraction. ECAI 2004: 343-347 - Andreas Herzig, Ivan José Varzinczak:
Domain Descriptions Should Be Modular. ECAI 2004: 348-352 - Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI 2004: 353-357 - Tomi Janhunen:
Representing Normal Programs with Clauses. ECAI 2004: 358-362 - Daniel Kayser, Farid Nouioua:
Representing Knowledge about Norms. ECAI 2004: 363-367 - Noël Laverny, Jérôme Lang:
From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning. ECAI 2004: 368-372 - Tie-Fei Liu, Wing-Kin Sung, Ankush Mittal:
Gene Network Modeling through Semi-Fixed Bayesian Network. ECAI 2004: 373-377 - Carsten Lutz, Maja Milicic:
Description Logics with Concrete Domains and Functional Dependencies. ECAI 2004: 378-382 - Michael P. O'Mahony, Neil J. Hurley, Guenole C. M. Silvestre:
Efficient and Secure Collaborative Filtering through Intelligent Neighbour Selection. ECAI 2004: 383-387 - David Pearce, Agustín Valverde:
Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI 2004: 388-392 - Helena Sofia Pinto, Steffen Staab, Christoph Tempich:
DILIGENT: Towards a fine-grained methodology for Distributed, Loosely-controlled and evolving Engineering of oNTologies. ECAI 2004: 393-397 - Stefan Schlobach, Marius Olsthoorn, Maarten de Rijke:
Type Checking in Open-Domain Question Answering. ECAI 2004: 398-402 - Stefan Schulz, Udo Hahn:
Representing Natural Kinds by Spatial Inclusion and Containment. ECAI 2004: 403-410
Machine Learning, Data Mining
- Isabelle Alvarez:
Explaining the Result of a Decision Tree to the End-User. ECAI 2004: 411-415 - Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Outlier Detection Using Disjunctive Logic Programming. ECAI 2004: 416-419 - Henri Binsztok, Thierry Artières, Patrick Gallinari:
A Model-Based Approach to Sequence Clustering. ECAI 2004: 420-424 - Marco Botta, Ugo Galassi, Attilio Giordana:
Learning Complex and Sparse Events in Long Sequences. ECAI 2004: 425-429 - Gemma Casas-Garriga:
Statistical Strategies for Pruning All the Uninteresting Association Rules. ECAI 2004: 430-434 - Philipp Cimiano, Andreas Hotho, Steffen Staab:
Comparing Conceptual, Divise and Agglomerative Clustering for Learning Taxonomies from Text. ECAI 2004: 435-439 - Guillaume Cleuziou, Lionel Martin, Christel Vrain:
PoBOC: An Overlapping Clustering Algorithm, Application to Rule-Based Classification and Textual Data. ECAI 2004: 440-444 - George Macleod Coghill, Simon M. Garrett, Ross D. King:
Learning Qualitative Metabolic Models. ECAI 2004: 445-449 - Josenildo Costa da Silva, Matthias Klusch, Stefano Lodi, Gianluca Moro:
Inference Attacks in Peer-to-Peer Homogeneous Distributed Data Mining. ECAI 2004: 450-454 - Guang Dai, Yuntao Qian:
Face Recognition Using Novel LDA-Based Algorithms. ECAI 2004: 455-459 - Nicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile:
A Backtracking Strategy for Order-Independent Incremental Learning. ECAI 2004: 460-464 - Giorgio Maria Di Nunzio, Alessandro Micarelli:
Pushing "Underfitting" to the Limit: Learning in Bidimensional Text Categorization. ECAI 2004: 465-469 - Dragan Gamberger, Nada Lavrac:
Avoiding Data Overfitting in Scientific Discovery: Experiments in Functional Genomics. ECAI 2004: 470-474 - Alessio Guerri, Michela Milano:
Learning Techniques for Automatic Algorithm Portfolio Selection. ECAI 2004: 475-479 - Hanene Azzag, Christiane Guinot, Gilles Venturini:
AntTree: A Web Document Clustering Using Artificial Ants. ECAI 2004: 480-484 - Dietmar Janetzko, Hacène Cherfi, Roman Kennke, Amedeo Napoli, Yannick Toussaint:
Knowledge-Based Selection of Association Rules for Text Mining. ECAI 2004: 485-489 - Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou:
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. ECAI 2004: 490-494 - Frédéric Koriche:
Bias Windowing for Relational Learning. ECAI 2004: 495-499 - Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. ECAI 2004: 500-504 - Ruei-Sung Lin, Ming-Hsuan Yang, Stephen E. Levinson:
Adaptive Discriminative Generative Model for Object Tracking. ECAI 2004: 505-509 - Yutaka Matsuo, Hironori Tomobe, Kôiti Hasida, Mitsuru Ishizuka:
Finding Social Network for Trust Calculation. ECAI 2004: 510-514 - Rada Mihalcea:
Voted Co-Training for Bootstrapping Sense Classifiers. ECAI 2004: 515-519 - Siegfried Nijssen, Joost N. Kok:
Ideal Refinement of Datalog Clauses Using Primary Keys. ECAI 2004: 520-524 - Hiroki Nomiya, Kuniaki Uehara:
Visual Learning by Set Covering Machine with Efficient Feature Selection. ECAI 2004: 525-529 - Laurent Péret, Frédérick Garçia:
On-Line Search for Solving Markov Decision Processes via Heuristic Sampling. ECAI 2004: 530-534 - David Riaño:
Time-Independent Rule-Based Guideline Induction. ECAI 2004: 535-538 - Josep Roure Alcobé:
Incremental Augmented Naive Bayes Classifiers. ECAI 2004: 539-543 - Paulo E. Santos, Derek R. Magee, Anthony G. Cohn, David C. Hogg:
Combining Multiple Answers for Learning Mathematical Structures from Visual Observation. ECAI 2004: 544-548 - Georgios Sigletos, Georgios Paliouras, Constantine D. Spyropoulos, Takis Stamapoulos:
Stacked Generalization for Information Extraction. ECAI 2004: 549-553 - Adam Szarowicz, Paolo Remagnino:
Avatars That Learn How to Behave. ECAI 2004: 554-558 - Ricardo Vilalta, Murali-Krishna Achari, Christoph F. Eick:
Piece-Wise Model Fitting Using Local Data Patterns. ECAI 2004: 559-563 - Farida Zehraoui, Younès Bennani:
M-SOM-ART: Growing Self Organizing Map for Sequences Clustering and Classification. ECAI 2004: 564-570
Natural Language Processing
- Sergio Barrachina, Juan Miguel Vilar:
Automatic Discovery of Translation Collocations from Bilingual Corpora. ECAI 2004: 571-575 - Gustavo A. Casañ, Maria Asunción Castaño:
Improvements on Automatic Word Codification for Connectionist Machine Translation. ECAI 2004: 576-580 - Carlos Iván Chesñevar, Ana Gabriela Maguitman:
An Argumentative Approach to Assessing Natural Language Usage based on the Web Corpus. ECAI 2004: 581-585 - Elsa Cubel, Jorge Civera, Juan Miguel Vilar, Antonio L. Lagarda, Francisco Casacuberta, Enrique Vidal, David Picó, Jorge González, Luis Rodríguez:
Finite-State Models for Computer Assisted Translation. ECAI 2004: 586-590 - Mathieu Estratat, Laurent Henocque:
Parsing Languages with a Configurator. ECAI 2004: 591-595 - Heshaam Feili, Gholamreza Ghassem-Sani:
An Application of Lexicalized Grammars in English-Persian Translation. ECAI 2004: 596-600 - Alessandro Mazzei, Vincenzo Lombardo:
A Comparative Analysis of Extracted Grammars. ECAI 2004: 601-605 - Tony Veale:
WordNet Sits the S.A.T. - A Knowledge-Based Approach to Lexical Analogy. ECAI 2004: 606-612
Neural Networks, Support Vector Machines
- Marco Ernandes, Marco Gori:
Likely-Admissible and Sub-Symbolic Heuristics. ECAI 2004: 613-617 - Ezequiel López-Rubio, Juan Miguel Ortiz-de-Lazcano-Lobato, María del Carmen Vargas-González, José Miguel López-Rubio:
Dynamic Selection of Model Parameters in Principal Components Analysis Neural Networks. ECAI 2004: 618-622 - Kang Peng, Zoran Obradovic, Slobodan Vucetic:
Towards Efficient Learning of Neural Network Ensembles from Arbitrarily Large Datasets. ECAI 2004: 623-627 - Filippo Portera, Alessandro Sperduti:
A Generalized Quadratic Loss for Support Vector Machines. ECAI 2004: 628-634
Philisophical Foundations
- Samir Chopra, Laurence White:
Artificial Agents - Personhood in Law and Philosophy. ECAI 2004: 635-639 - Victor Jauregui, Maurice Pagnucco, Norman Y. Foo:
Simplicity in Solving the Frame Problem. ECAI 2004: 640-646
Planning, Scheduling
- Tsz-Chiu Au, Dana S. Nau, V. S. Subrahmanian:
Utilizing Volatile External Information During Planning. ECAI 2004: 647-651 - J. Christopher Beck, Nic Wilson:
Job Shop Scheduling with Probabilistic Durations. ECAI 2004: 652-656 - Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso:
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. ECAI 2004: 657-661 - Antonio Garrido, Derek Long:
Planning with Numeric Varibles in Multiobjective Planning. ECAI 2004: 662-666 - Alfonso Gerevini, Alessandro Saetti, Ivan Serina:
Planning with Numerical Expressions in LPG. ECAI 2004: 667-671 - Bernhard Nebel, Yuliya Babovich-Lierler:
When Are Behaviour Networks Well-Behaved? ECAI 2004: 672-676 - Federico Pecora, Riccardo Rasconi, Amedeo Cesta:
Assessing the Bias of Classical Planning Strategies on Makespan-Optimizing Scheduling. ECAI 2004: 677-681 - Jussi Rintanen:
Evaluation Strategies for Planning as Satisfiability. ECAI 2004: 682-687 - Vincent W. L. Tam, M. C. Kwan:
Improving the Initialization and Repair Heuristics to Effectively Solve the Pickup and Delivery Problems with Time Windows. ECAI 2004: 688-692 - Grigorios Tsoumakas, Dimitris Vrakas, Nick Bassiliades, Ioannis P. Vlahavas:
Lazy Adaptive Multicriteria Planning. ECAI 2004: 693-697 - Fan Wang, Andrew Lim, Hong Chen:
Flexible Demand Assignment Problem. ECAI 2004: 698-704
Prestigious Applications of Intelligent Systems (PAIS)
- Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker:
Querying the Semantic Web with Corese Search Engine. ECAI 2004: 705-709 - Guifre Cuní, Marc Esteva, Pere Garcia, Eloi Puertas, Carles Sierra, Teresa Solchaga:
MASFIT: Multi-Agent System for Flsh Trading. ECAI 2004: 710-714 - Eero Hyvönen, Samppa Saarela, Kim Viljanen, Eetu Mäkelä, Arttu Valo, Mirva Salminen, Suvi Kettula, Miikka Junnila:
A Portal for Publishing Museum Collections on the Semantic Web. ECAI 2004: 715-719 - Dietmar Jannach:
ADVISOR SUITE - A Knowledge-Based Sales Advisory-System. ECAI 2004: 720-724 - Vangelis Karkaletsis, Constantine D. Spyropoulos, Claire Grover, Maria Teresa Pazienza, José Coch, Dimitris Souflis:
A Platform for Cross-Lingual, Domain and User Adaptive Web Information Extraction. ECAI 2004: 725-729 - Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry:
An Interactive System for Hiring and Managing Graduate Teaching Assistants. ECAI 2004: 730-734 - Peter J. F. Lucas, Ruud Kuipers, Frederick Feith:
A System for Pacemaker Treatment Advice. ECAI 2004: 735-739 - Lawrence Mandow, José-Luis Pérez-de-la-Cruz:
Model and Heuristics for the Shortest Road Layout Problem. ECAI 2004: 740-744 - Stefan Mersmann, Michel Dojat:
SmartCareTM-Automated Clinical Guidelines in Critical Care. ECAI 2004: 745-749 - Claudia Picardi, Luca Console, Frederic Berger, Jan Breeman, Tony Kanakis, Jeroen Moelands, Stephan Collas, Emmanuel Arbaretier, Nino De Domenico, Ermanno Girardelli, Oskar Dressler, Peter Struss, Benjamin Zilbermann:
AUTAS: A Tool for Supporting FMECA Generation in Aeronautic Systems. ECAI 2004: 750-754 - Martijn C. Schut, Michael Kentrop, Mark Leenaarts, Marco Melis, Ian Miller:
APPROACH: Decentralised Rotation Planning for Container Barges. ECAI 2004: 755-759 - Somayajulu Sripada, Ehud Reiter, Ian Davy, Kristian Nilssen:
Lessons from Deploying NLG Technology for Marine Weather Forecast Text Generation. ECAI 2004: 760-764 - Soledad Valero, Estefania Argente, Jose Manuel Serra, P. Serna, Vicente J. Botti, Avelino Corma:
A Soft Computing Technique Applied to Industrial Catalysis. ECAI 2004: 765-772
Reasoning
- Ofer Arieli:
Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae. ECAI 2004: 773-777 - Juan Carlos Augusto, Chris D. Nugent:
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes. ECAI 2004: 778-782 - Pietro Baroni, Massimiliano Giacomin:
A General Recursive Schema for Argumentation Semantics. ECAI 2004: 783-787 - Guilherme Bittencourt, Laurent Perrussel, Jerusa Marchi:
A Syntactical Approach to Revision. ECAI 2004: 788-792 - Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
A Unifying Semantics for Belief Change. ECAI 2004: 793-797 - Pedro Cabalar, David Lorenzo:
New Insights on the Intuitionistic Interpretation of Default Logic. ECAI 2004: 798-802 - Sylvie Coste-Marquis, Pierre Marquis:
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. ECAI 2004: 803-807 - Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
A Tabulation Proof Procedure for Residuated Logic Programming. ECAI 2004: 808-812 - Gerhard Friedrich:
Elimination of Spurious Explanations. ECAI 2004: 813-817 - Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati:
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. ECAI 2004: 818-822 - Yi Jin, Michael Thielscher:
Representing Beliefs in the Fluent Calculus. ECAI 2004: 823-827 - Mahat Khelfallah, Belaid Benhamou:
Geographic Information Revision Based on Constraints. ECAI 2004: 828-832 - Daniel Köb, Franz Wotawa:
Introducing Alias Information into Model-Based Debugging. ECAI 2004: 833-837 - Gianfranco Lamperti, Marina Zanella:
Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse. ECAI 2004: 838-842 - Wolfgang Mayer, Markus Stumptner:
Debugging Program Loops Using Approximate Modeling. ECAI 2004: 843-847 - Roberto Micalizio, Pietro Torasso, Gianluca Torta:
On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach. ECAI 2004: 848-852 - Yves Moinard:
Plausibility Structures for Default Reasoning. ECAI 2004: 853-857 - Lledó Museros Cabedo, M. Teresa Escrig:
A Qualitative Theory for Shape Representation and Matching for Design. ECAI 2004: 858-862 - Alexander Nittka:
An Algorithm for Knowledge Base Extraction. ECAI 2004: 863-867 - José T. Palma, José M. Juárez, Manuel Campos, Roque Marín:
A Fuzzy Approach to Temporal Model-Based Diagnosis for Intensive Care Units. ECAI 2004: 868-872 - Martin Sachenbacher, Brian C. Williams:
Diagnosis as Semiring-Based Constraint Optimization. ECAI 2004: 873-877 - Steven Shapiro, Maurice Pagnucco:
Iterated Belief Change and Exogeneous Actions in the Situation Calculus. ECAI 2004: 878-882 - Peter Struss:
Models of Behavior Deviations in Model-Based Systems. ECAI 2004: 883-887 - Nic Wilson:
Consistency and Constrained Optimisation for Conditional Preferences. ECAI 2004: 888-894
Robotics
- Stéphane Cambon, Fabien Gravot, Rachid Alami:
A Robot Task Planner that Merges Symbolic and Geometric Reasoning. ECAI 2004: 895-899 - Jeremy Forth, Murray Shanahan:
Indirect and Conditional Sensing in the Event Calculus. ECAI 2004: 900-904 - Antonio Morales, Eris Chinellato, Andrew H. Fagg, Angel P. del Pobil:
Active Learning for Robot Manipulation. ECAI 2004: 905-909 - Avi Rosenfeld, Gal A. Kaminka, Sarit Kraus:
Adaptive Robot Coordination Using Interference Metrics. ECAI 2004: 910-916
Vision, Perception
- Ilkka Autio, Jussi T. Lindgren:
Attention-Driven Parts-Based Object Detection. ECAI 2004: 917-921 - Brandon Bennett, Derek R. Magee, Anthony G. Cohn, David C. Hogg:
Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects. ECAI 2004: 922-926 - Niek Bergboer, Eric O. Postma, H. Jaap van den Herik:
A Context-Based Model of Attention. ECAI 2004: 927-931 - Gerald Fritz, Christin Seifert, Lucas Paletta, Horst Bischof:
Learning to Focus Attention on Discriminative Regions for Object Detection. ECAI 2004: 932-936 - Katerina Pastra, Yorick Wilks:
Vision-Language Integration in AI: A Reality Check. ECAI 2004: 937-944
Posters
- Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Distributed Reasoning in a Peer-to-Peer Setting. ECAI 2004: 945-946 - Alejandro Agostini, Enric Celaya:
Learning Model Free Motor Control. ECAI 2004: 947-948 - Samir Aknine:
Iterated Algorithm for the Optimal Winner Determination in Combined Negotiations. ECAI 2004: 949-950 - João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira:
A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. ECAI 2004: 951-952 - Zakariya M. Al-Hamouz, A. H. Mantawy, Hussain N. Al-Duwaish, Ibrahim El-Amin, Ali Al-Faraj:
Transmission Expansion Planning Based on Tabu Search Algorithm. ECAI 2004: 953-954 - Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu:
Automatic Generation of Macro-Operators from Static Domain Analysis. ECAI 2004: 955-956 - Mohammed Attik, Laurent Bougrain, Frédéric Alexandre:
Optimal Brain Surgeon Variants for Optimization. ECAI 2004: 957-958 - J. Christopher Beck, Patrick Prosser, Richard J. Wallace:
Failing First: An Update. ECAI 2004: 959-960 - Salem Benferhat, Rania El Baida:
Handling Conflicts in Access Control Models. ECAI 2004: 961-962 - Alain Bidault, Sarah Cohen Boulakia, Christine Froidevaux:
Preferences for Queries in a Mediator Approach. ECAI 2004: 963-964 - Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
An Abstraction from Power to Coalition Structures. ECAI 2004: 965-966 - Juan A. Botía, Alberto López-Acosta, Antonio Fernandez Gómez-Skarmeta:
ACLAnalyser: A Tool for Debugging Multi-Agent Systems. ECAI 2004: 967-968 - Klaus Brinker:
On Multiclass Active Learning with Support Vector Machines. ECAI 2004: 969-970 - Emerson Cabrera Paraiso, Jean-Paul A. Barthès, Cesar Augusto Tacla:
A Speech Architecture for Personal Assistants in a Knowledge Management Context. ECAI 2004: 971-972 - Philippe Collard, Sébastien Vérel, Manuel Clergue:
Local Search Heuristics: Fitness Cloud versus Fitness Landscape. ECAI 2004: 973-974 - Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics. ECAI 2004: 975-976 - Simon Colton, Alison Pease:
Lakatos-Style Automated Theorem Modification. ECAI 2004: 977-978 - Fábio Gagliardi Cozman:
Axiomatizing Noisy-OR. ECAI 2004: 979-980 - Maurice Coyle, Barry Smyth:
Different Strokes for Different Folks: An Analysis of Similarity and Diversity in Web Search. ECAI 2004: 981-982 - Stephen Cresswell, Alexandra M. Coddington:
Adapting LPGP to Plan with Deadlines. ECAI 2004: 983-984 - Stephen Cresswell, Alexandra M. Coddington:
Compilation of LTL Goal Formulas into PDDL. ECAI 2004: 985-986 - Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988 - Michael Defoin-Platel, Manuel Clergue, Philippe Collard:
Dynamical Teams of Genetic Predictors. ECAI 2004: 989-990 - Robert Demolombe:
From Belief Change to Obligation Change in the Situation Calculus. ECAI 2004: 991-992 - Jorge Díez, Gustavo F. Bayón, José Ramón Quevedo, Juan José del Coz, Oscar Luaces, Jaime Alonso, Antonio Bahamonde:
Discovering Relevancies in Very Difficult Regression Problems: Applications to Sensory Data Analysis. ECAI 2004: 993-994 - Clare Dixon:
Miss Scarlett in the Ballroom with the Lead Piping. ECAI 2004: 995-996 - Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas:
Towards a Logical Analysis of Biochemical Reactions. ECAI 2004: 997-998 - Madalina M. Drugan, Linda C. van der Gaag:
A New MDL-Based Function for Feature Selection for Bayesian Network Classifiers. ECAI 2004: 999-1000 - Paul E. Dunne:
Context Dependence in Multiagent Resource Allocation. ECAI 2004: 1001-1002 - Paul E. Dunne, Michael Laurence, Michael J. Wooldridge:
Tractability Results for Automatic Contracting. ECAI 2004: 1003-1004 - Gilles Énée, Cathy Escazut, Michael Defoin-Platel:
Evolution of Communication Between Genetic Agents. ECAI 2004: 1005-1006 - Floriana Esposito, Nicola Fanizzi, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro:
Induction and Revision of Terminologies. ECAI 2004: 1007-1008 - Roberto Esposito:
Empirical Evaluation of the Effects of Concept Complexity on Generalization Error. ECAI 2004: 1009-1010 - Stefano Ferilli, Floriana Esposito, Teresa Maria Altomare Basile, Nicola Di Mauro:
Automatic Induction of Domain-Related Information: Learning Descriptors Type Domains. ECAI 2004: 1011-1012 - Ricardo Luís de Freitas, Gilberto Shigueo Nakamiti, Carlos Miguel Tobar, Dilermando Piva Jr.:
Appropriateness of the Case-Based Approach in an Application to Assistant Robotics. ECAI 2004: 1013-1014 - Cipriano Galindo, Javier Gonzalez, Juan-Antonio Fernández-Madrigal:
Interactive Task Planning through Multiple Abstraction: Application to Assistant Robotics. ECAI 2004: 1015-1016 - Antony Galton, James Hood:
Qualitative Interpolation for Environmental Knowledge Representation. ECAI 2004: 1017-1018 - Fabio Gasparetti, Alessandro Micarelli:
Swarm Intelligence: Agents for Adaptive Web Search. ECAI 2004: 1019-1020 - Mehmet Giritli:
A Spatial Logic of Betweenness. ECAI 2004: 1021-1022 - Maarten Grachten, Josep Lluís Arcos:
Using the Implication/Realization Model for Measuring Melodic Similarity. ECAI 2004: 1023-1024 - Irène Grosclaude:
Model-Based Monitoring of Software Components. ECAI 2004: 1025-1026 - Hans W. Guesgen, Paul Shotbolt:
Dynamic Skeleton Based Wayfinding. ECAI 2004: 1027-1028 - Keith Halsey, Derek Long, Maria Fox:
Multiple Relaxations in Temporal Planning. ECAI 2004: 1029-1030 - Patrik Haslum:
Improving Heuristics Through Search. ECAI 2004: 1031-1032 - Nathanael Hyafil, Fahiem Bacchus:
Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning. ECAI 2004: 1033-1034 - Richard Johansson, David Williams, Pierre Nugues:
Converting Texts of Road Accidents into 3D Scenes. ECAI 2004: 1035-1036 - Rasa Jurgelenaite, Peter J. F. Lucas:
Parameter Estimation in Large Causal Models. ECAI 2004: 1037-1038 - Katharina Kaiser, Silvia Miksch:
Temporal Plan Interdependencies. ECAI 2004: 1039-1040 - Christian Köhler, Artur Ottlik, Hans-Hellmut Nagel, Bernhard Nebel:
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking. ECAI 2004: 1041-1042 - Eylem Koca, Taner Bilgiç:
A Troubleshooting Approach with Dependent Actions. ECAI 2004: 1043-1044 - Matjaz Kukar:
Estimating Confidence Values of Individual Predictions by their Typicalness and Reliability. ECAI 2004: 1045-1046 - Gérard Ligozat, Jochen Renz:
Problems with Local Consistency for Qualitative Calculi. ECAI 2004: 1047-1048 - Andrew Lim, Zhou Xu:
A Critical-Shaking Neighbourhood Search for the Yard Allocation Problem. ECAI 2004: 1049-1050 - Honghai Liu, George Macleod Coghill:
Qualitative Modelling of Planar Robots. ECAI 2004: 1051-1052 - Dermot Lynott, Mark T. Keane:
Modelling the Interpretation of Novel Compounds. ECAI 2004: 1053-1054 - Rónán Mac Ruairi, Mark T. Keane:
Role Swapping in Multi-Agent Sensor Webs. ECAI 2004: 1055-1056 - Vincent Maya, Myriam Lamolle, Catherine Pelachaud:
Embodied Conversational Agents and Influences. ECAI 2004: 1057-1058 - Wolfgang Mayer, Markus Stumptner:
High-Level Observations in Java Debugging. ECAI 2004: 1059-1060 - Djamel Merad, Narjes Khézami, Samir Otmane, Malik Mallem:
A 3D Free Form Object Localization Using Skeletons: Application to Teleoperation. ECAI 2004: 1061-1062 - Stefania Montani, Paolo Terenziani:
Mapping Clinical Guidelines Representation Primitives to Decision Theory Concepts. ECAI 2004: 1063-1064 - María Dolores Rodríguez-Moreno, Angelo Oddi, Daniel Borrajo, Amedeo Cesta, Daniel Meziat:
IPSS: A Hybrid Reasoner for Planning and Scheduling. ECAI 2004: 1065-1066 - Benoit Morisset, Guillaume Infantes, Malik Ghallab, Félix Ingrand:
Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors. ECAI 2004: 1067-1068 - Alexander Nareyek, Stephen F. Smith, Christian M. Ohler:
Local Search for Heuristic Guidance in Tree Search. ECAI 2004: 1069-1070 - Maria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto:
Identifying Relational Concept Lexicalisations by Using General Linguistic Knowledge. ECAI 2004: 1071-1072 - Georgios Petasis, Vangelis Karkaletsis, Claire Grover, Ben Hachey, Maria Teresa Pazienza, Michele Vindigni, José Coch:
Adaptive, Multilingual Named Entity Recognition in Web Pages. ECAI 2004: 1073-1074 - Ahti-Veikko Pietarinen:
Extending Defeasible Logic and Defeasible Prolog. ECAI 2004: 1075-1076 - Edoardo Pignotti, Peter Edwards, Gunnar Aastrand Grimnes:
Context-Aware Personalised Service Delivery. ECAI 2004: 1077-1078 - Ralf Regele, Paul Levi:
Cooperation Based on Communication: An Approach for an Autonomous Driving System. ECAI 2004: 1079-1080 - Mónica Sánchez, Francesc Prats, Núria Agell, Joseph Aguilar-Martin:
A Characterization of Linearly Compensated Hybrid Connectives Used in Fuzzy Classifications. ECAI 2004: 1081-1082 - David Sarne, Meirav Hadad, Sarit Kraus:
Equilibrium Strategies for Task Allocation in Dynamic Multi-Agent Systems. ECAI 2004: 1083-1084 - Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
Symbolic Models for Diagnosing Discrete-Event Systems. ECAI 2004: 1085-1086 - Laura Sebastia, Eva Onaindia, Eliseo Marzal:
Concurrent Planning by Decomposition. ECAI 2004: 1087-1088 - Nuno Seco, Tony Veale, Jer Hayes:
An Intrinsic Information Content Metric for Semantic Similarity in WordNet. ECAI 2004: 1089-1090 - Csaba Szepesvári, András Kocsor, Kornél Kovács:
Kernel Machine Based Feature Extraction Algorithms for Regression Problems. ECAI 2004: 1091-1092 - Minh Tang, Amol Dattatraya Mali:
Variants of A* for Planning. ECAI 2004: 1093-1094 - Antoaneta Serguieva, Tariq M. Khan:
Domain Representation Assisting Cognitive Analysis. ECAI 2004: 1095-1096 - Annette ten Teije, Frank van Harmelen, Bob J. Wielinga:
Configuration of Web Services as Parametric Design. ECAI 2004: 1097-1098 - Jesús Tomás, Jaime Lloret, Francisco Casacuberta:
A Spanish-Catalan Translator Using Statistical Methods. ECAI 2004: 1099-1100 - Linda C. van der Gaag, Eveline M. Helsper:
Defining Classes of Influences for the Acquisition of Probability Constraints for Bayesian Networks. ECAI 2004: 1101-1102 - Nico Van de Weghe, Anthony G. Cohn, Philippe De Maeyer:
A Qualitative Representation of Trajectory Pairs. ECAI 2004: 1103-1104 - Willem Jan van Hoeve, Michela Milano:
Postponing Branching Decisions. ECAI 2004: 1105-1106 - Quoc Bao Vo:
Contextualized Abstraction for Assertion-Level Theorem Proving. ECAI 2004: 1107-1108 - Gerhard Widmer, Patrick Zanon:
Automatic Recognition of Famous Artists by Machine. ECAI 2004: 1109-1110 - Nic Wilson:
Soft Constraints with Partially Ordered Preferences. ECAI 2004: 1111-1112 - Xiaowei Shao, Changsheng Shao, Changan Zhao:
An Ant Colony Genetic Algorithm. ECAI 2004: 1113-1114 - Joseph Zalaket, Guy Camilleri:
NGP: Numerical Graph Planning. ECAI 2004: 1115-1116 - Emmanuel Zenou, Malik Ghallab, Manuel Samuelides:
Topological Visual Localization Using Decentralized Galois Lattices. ECAI 2004: 1117-1120
Invited Talks
- Glorianna Davenport:
Madia Fabrics: The Problem of Time in Personal Media Making. ECAI 2004: 1121 - Christian Freksa:
Spatial Cognition: An AI Perspective. ECAI 2004: 1122-1128 - Carole A. Goble, David De Roure:
The Semantic Grid: Myth Busting and Bridge Building. ECAI 2004: 1129-1135 - Seppo Laukkanen, Ilkka Karanta, Ville Kotovirta, Jussi Markkanen, Jukka Rönkkö:
Adding Intelligence to Virtual Reality. ECAI 2004: 1136-1144
Late Papers
- Abdul Ghafoor Abbasi, Bilal Mustafa, Hafiz Farooq Ahmad, Arshad Ali, Hiroki Suguri, Zaheer Abbas Khan:
Autonomous Cache-Provision Agreement for Scalability of Directory in MAS. ECAI 2004: 1145-1146
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 2024-10-31 20:20 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by: