Stop the war!
Остановите войну!
for scientists:
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 - 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 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,