default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th ECAI 2000: Berlin, Germany
- Werner Horn:
ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000. IOS Press 2000 - Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging. ECAI 2000: 3-7 - Salem Benferhat, Didier Dubois, Henri Prade:
Kalman-like Filtering in a possibilistic Setting. ECAI 2000: 8-12 - Salem Benferhat, Sébastien Konieczny, Odile Papini, Ramón Pino Pérez:
Iterated Revision by Epistemic States: Axioms, Semantics and Syntax. ECAI 2000: 13-17 - Gerhard Brewka:
Declarative Representation of Revision Strategies. ECAI 2000: 18-22 - Sylvie Coste-Marquis, Pierre Marquis:
Compiling Stratified Belief Bases. ECAI 2000: 23-27 - Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Iterated Belief Revision. ECAI 2000: 28-32 - Wiebe van der Hoek, Cees Witteveen:
Classical, General Frameworks for Recovery. ECAI 2000: 33-37 - Emil Weydert:
How to Revise Ranked Probabilities. ECAI 2000: 38-44 - Béatrice Fuchs, Jean Lieber, Alain Mille, Amedeo Napoli:
An Algorithm for Adaptation in Case-based Reasoning. ECAI 2000: 45-49 - Eyke Hüllermeier:
Focusing Search by Using Problem Solving Experience. ECAI 2000: 50-54 - Eyke Hüllermeier:
Similarity-based Inference as Evitential Reasoning. ECAI 2000: 55-59 - Elizabeth McKenna, Barry Smyth:
Competence-guided Editing Methods for Lazy Learning. ECAI 2000: 60-64 - Barry Smyth, Mark Mullins, Elizabeth McKenna:
Picture Perfect: Visualisation Techniques for Case-based Reasoning. ECAI 2000: 65-72 - Francisco Azevedo, Pedro Barahona:
Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. ECAI 2000: 73-77 - Jean-François Condotta:
Tractable Sets of the Generalized Interval Algebra. ECAI 2000: 78-82 - Diana Cukierman, James P. Delgrande:
A Formalization of Structured Temporal Objects and Repetition. ECAI 2000: 83-87 - Romuald Debruyne:
A Property of Path Inverse Consistency Leading to an Optimal PIC Algorithm. ECAI 2000: 88-92 - Ari K. Jónsson, Jeremy Frank:
A Framework for Dynamic Constraint Reasoning using Procedural Constraints. ECAI 2000: 93-97 - Chu Min Li, Sylvain Gérard:
On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SAT. ECAI 2000: 98-102 - Vasco M. Manquinho, João Marques-Silva:
Search Pruning Conditions for Boolean Optimization. ECAI 2000: 103-107 - Angelo Oddi, Amedeo Cesta:
Incremental Forward Checking for the Disjunctive Temporal Problem. ECAI 2000: 108-112 - Josh Singer, Ian P. Gent, Alan Smaill:
Local Search on Random 2+p-SAT. ECAI 2000: 113-117 - Christine Solnon:
Solving Permutation Constraint Satisfaction Problems with Artificial Ants. ECAI 2000: 118-122 - John K. Slaney, Sylvie Thiébaux, Philip Kilby:
Estimating the Hardness of Optimisation. ECAI 2000: 123-130 - Luca Console, Claudia Picardi, Marina Ribaudo:
Diagnosis and Diagnosability Analysis Using PEPA. ECAI 2000: 131-135 - Marie-Odile Cordier, Philippe Dague, Michel Dumas, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès:
A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis. ECAI 2000: 136-140 - Hidde de Jong, Michel Page:
Qualitative Simulation of Large and Complex Genetic Regulation Systems. ECAI 2000: 141-145 - Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner:
Consistency-Based Diagnosis of Configuration Knowledge Bases. ECAI 2000: 146-150 - Gianfranco Lamperti, Marina Zanella:
Uncertain Temporal Observations in Diagnosis. ECAI 2000: 151-155 - Christine Largouët, Marie-Odile Cordier:
Timed Automata Model to Improve the Classification of a Sequence of Images. ECAI 2000: 156-160 - Mark Lee:
Qualitative Modelling of Linear Networks in Engineering Applications. ECAI 2000: 161-165 - Paolo Liberatore, Francesco M. Donini:
Verification Programs for Abduction. ECAI 2000: 166-170 - Cristinel Mateis, Markus Stumptner, Franz Wotawa:
Modeling Java Programs for Diagnosis. ECAI 2000: 171-175 - Andrea Panati, Daniele Theseider Dupré:
State-based vs Simulation-based Diagnosis of Dynamic Systems. ECAI 2000: 176-180 - Annette ten Teije, Frank van Harmelen:
Describing Problem Solving Methods using Anytime Performance Profiles. ECAI 2000: 181-185 - Günter Tusch:
Optimal Sequential Decisions in Liver Transplantation on a POMDP Model. ECAI 2000: 186-190 - Ivayla Vatcheva, Hidde de Jong, Nicolaas J. I. Mars:
Selection of Perturbation Experiments for Model Discrimination. ECAI 2000: 191-198 - Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke:
Tree-based Heuristics in Modal Theorem Proving. ECAI 2000: 199-203 - Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika:
A Foundation for Region-based Qualitative Geometry. ECAI 2000: 204-208 - Alexander Borgida, Enrico Franconi, Ian Horrocks:
Explaining ALC Subsumption. ECAI 2000: 209-213 - Floriana Grasso:
Using an Ontology Conceptualisation Method to Capture an Advice Giving System Knowledge. ECAI 2000: 214-218 - Nicola Guarino, Christopher A. Welty:
Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis. ECAI 2000: 219-223 - Richard C. Meathrel, Antony Galton:
Qualitative Representation of Planar Outlines. ECAI 2000: 224-228 - Erica Melis, Jürgen Zimmer, Tobias Müller:
Extensions of Constraint Solving for Proof Planning. ECAI 2000: 229-233 - Reinhard Moratz, Jochen Renz, Diedrich Wolter:
Qualitative Spatial Reasoning about Line Segments. ECAI 2000: 234-238 - Ulrike Sattler:
Description Logics for the Representation of Aggregated Objects. ECAI 2000: 239-243 - Frank Wolter, Michael Zakharyaschev:
Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000: 244-250 - Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro:
Data Set Editing by Ordered Projection. ECAI 2000: 251-255 - Érick Alphonse, Céline Rouveirol:
Lazy Propositionalisation for Relational Learning. ECAI 2000: 256-260 - Necati Aras, I. Kuban Altinel, B. John Oommen:
A Kohonen-like Decomposition Method for the Traveling Salesman Problem: KNIESDECOMPOSE. ECAI 2000: 261-265 - Lluís A. Belanche Muñoz:
Similarity-based Heterogeneous Neuron Models. ECAI 2000: 271-275 - Rickard Cöster, Lars Asker:
Similarity-based Approach to Relevance Learning. ECAI 2000: 276-280 - Alain Dutech:
Solving POMDPs Using Selected Past Events. ECAI 2000: 281-285 - Aneurin M. Easwaran, Jeremy Pitt:
An Agent Service Brokering Algorithm for Winner Determination in Combinatorial Auctions. ECAI 2000: 286-290 - Johannes Fürnkranz, Bernhard Pfahringer, Hermann Kaindl, Stefan Kramer:
Learning to Use Operational Advice. ECAI 2000: 291-295 - Frédérick Garçia, Florent Serre:
Efficient Asymptotic Approximation in Temporal Difference Learning. ECAI 2000: 296-300 - Marco Gori, Paolo Frasconi, Alessandro Sperduti:
Learning Efficiently with Neural Networks: A Theoretical Comparison between Structured and Flat Representations. ECAI 2000: 301-305 - Udo Heuser, Wolfgang Rosenstiel:
Automatic Generation of Local Internet Catalogues Using the Hierarchical Radius-based Competitive Learning. ECAI 2000: 306-310 - Frank Kirchner, Corinna Richter:
Q-Surfing: Exploring a World Model by Significance Values in Reinforcement Learning Tasks. ECAI 2000: 311-315 - David Lorenzo, Ramón P. Otero:
Learning to Reason About Actions. ECAI 2000: 316-320 - Alexander Maedche, Steffen Staab:
Discovering Conceptual Relations from Text. ECAI 2000: 321-325 - Vicenç Torra:
Towards the Re-identification of Individuals in Data Files with Non-common Variables. ECAI 2000: 326-332 - Alessandro Agostini:
Team-Solvability: A Model-Theoretic Perspective. ECAI 2000: 333-337 - Leila Amgoud, Simon Parsons, Nicolas Maudet:
Arguments, Dialogue, and Negotiation. ECAI 2000: 338-342 - Mihai Barbuceanu, Wai-Kau Lo:
Integrating Individual, Organizational and Market Level Reasioning for Agent Coordination. ECAI 2000: 343-347 - Rachel A. Bourne, Cora B. Excelente-Toledo, Nicholas R. Jennings:
Run-Time Selection of Coordination Mechanisms in Multi-Agent Systems. ECAI 2000: 348-352 - Cristiano Castelfranchi:
Founding Agents' "Autonomy" on Dependence Theory. ECAI 2000: 353-357 - Koen V. Hindriks, Mark d'Inverno, Michael Luck:
Architecture for Agent Programming Languages. ECAI 2000: 363-367 - Churn-Jung Liau:
Logical Systems for Reasoning about Multi-agent Belief, Information Acquisition and Trust. ECAI 2000: 368-372 - Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints. ECAI 2000: 373-377 - Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael J. Wooldridge:
Intention Reconsideration in Theory and Practice. ECAI 2000: 378-382 - Takuo Tsuruta, Toramatsu Shintani:
Scheduling Meetings Using Distributed Valued Constraint Satisfaction Algorithm. ECAI 2000: 383-387 - Gerhard Weiss:
Achieving Coordination through Combining Joint Planning and Joint Learning. ECAI 2000: 388-392 - Michael J. Wooldridge, Simon Parsons:
Languages for Negotiation. ECAI 2000: 393-400 - Tilman Becker, Anne Kilger, Patrice Lopez, Peter Poller:
Multilingual Generation for Translation in Speech-to-Speech Dialogues and its Realization in Verbmobil. ECAI 2000: 401-405 - Alain Bidault, Christine Froidevaux, Brigitte Safar:
Repairing Queries in a Mediator Approach. ECAI 2000: 406-410 - Neus Català, Núria Castell, Mario Martín:
Essence: A Portable Methodology for Acquiring Information Extraction Patterns. ECAI 2000: 411-415 - Fabio Ciravegna, Alberto Lavelli, Giorgio Satta:
Bringing Information Extraction out of the Labs: the NoName Environment. ECAI 2000: 416-420 - Gerard Escudero, Lluís Màrquez, German Rigau:
Naive Bayes and Exemplar-based Approaches to Word Sense Disambiguation Revisited. ECAI 2000: 421-425 - Olivier Ferret, Brigitte Grau:
A Topic Segmentation of Texts based on Semantic Domains. ECAI 2000: 426-430 - Annika Flycht-Erikson:
A Domain Knowledge Manager for Dialogue Systems. ECAI 2000: 431-435 - Christian R. Huyck:
A Practical System for Human-like Parsing. ECAI 2000: 436-440 - António Ribeiro, José Gabriel Pereira Lopes, João Mexia:
Linear Regression Based Alignment of Parallel Texts Using Homograph Words. ECAI 2000: 446-450 - Paola Velardi, Alessandro Cucchiarelli:
A Theoretical Analysis of Context-based Learning Algorithms or Word Sense Disambiguation. ECAI 2000: 451-458 - Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock:
A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000: 459-463 - James P. Delgrande, Torsten Schaub, Hans Tompits:
Logic Programs with Compiled Preferences. ECAI 2000: 464-468 - Guido Governatori, Michael J. Maher:
An Argumentation-Theoretic Characterization of Defeasible Logic. ECAI 2000: 469-473 - Yves Moinard:
Characterizing General Preferential Entailments. ECAI 2000: 474-478 - Yves Moinard, Raymond Rolland:
Equivalent Sets of Formulas for Circumscriptions. ECAI 2000: 479-483 - Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
GADEL: a Genetic Algorithm to Compute Default Logic Extensions. ECAI 2000: 484-490 - Luigi Ceccaroni, Dave Robertson:
WaRP: A Reactive Planner Integrated in an Environmental Decision Support System fo Wastewater Treatment Plant Management. ECAI 2000: 491-495 - Jun Hong:
Plan Recognition through Goal Graph Analysis. ECAI 2000: 496-500 - Jonas Kvarnström, Patrick Doherty, Patrik Haslum:
Extending TALplanner with Concurrency and Resources. ECAI 2000: 501-505 - Ian Miguel, Peter Jarvis, Qiang Shen:
Flexible Graphplan. ECAI 2000: 506-510 - Silvia Miksch, Andreas Seyfang:
Continual Planning with Time-Oriented, Skeletal Plans. ECAI 2000: 511-515 - Pavlos Moraitis, Alexis Tsoukiàs:
Graph Based Representation of Dynamic Planning. ECAI 2000: 516-520 - Ioannis Refanidis, Ioannis P. Vlahavas:
Heuristic Planning with Resources. ECAI 2000: 521-525 - Jussi Rintanen:
Incorporation of Temporal Logic Control into Plan Operators. ECAI 2000: 526-530 - Laura Sebastia, Eva Onaindia, Eliseo Marzal:
A Graph-based Approach for POCL Planning. ECAI 2000: 531-535 - Richard J. Wallace, Eugene C. Freuder:
Dispatchability Conditions for Schedules with Consumable Resources. ECAI 2000: 536-542 - Pedro Cabalar, Ramón P. Otero, Silvia Gómez Pose:
Temporal Constraint Networks in Action. ECAI 2000: 543-547 - Henrik Grosskreutz, Gerhard Lakemeyer:
Turning High-Level Plans into Robot Programs in Uncertain Domains. ECAI 2000: 548-552 - Andreas Herzig, Jérôme Lang, Thomas Polacsek:
A modal logic for epistemic tests. ECAI 2000: 553-557 - Koen V. Hindriks, Yves Lespérance, Hector J. Levesque:
An Embedding of ConGolog in 3APL. ECAI 2000: 558-562 - Eugenia Ternovskaia:
ID-logic and the Ramification Problem for the Situation Calculus. ECAI 2000: 563-570 - Stefan Arnborg, Gunnar Sjödin:
Bayes Rules in Finite Models. ECAI 2000: 571-575 - Rainer Deventer, Heinrich Niemann:
Non-linear Modelling of a Production Process by Hybrid Bayesian Networks. ECAI 2000: 576-580 - Gabriele Kern-Isberner:
Solving the Inverse Representation Problem. ECAI 2000: 581-585 - Régis Sabbadin:
Empirical Comparison of Probabilistic and Possibilistic Markov Decision Processes Algorithms. ECAI 2000: 586-590 - Axel Vogler, Patrick Rammelt, Jörg Herbers, Dietmar Neumerkel:
Visual Design Support in Dynamic Probabilistic Networks for Driver Modelling. ECAI 2000: 591-598 - Ian P. Gent, Barbara M. Smith:
Symmetry Breaking in Constraint Programming. ECAI 2000: 599-603 - Helmut Horacek:
Towards Understanding Conceptual Differences Between Minimaxing and Product-Propagation. ECAI 2000: 604-608 - Masashi Shimbo, Toru Ishida:
Towards Real-Time Search with Inadmissible Heuristics. ECAI 2000: 609-613 - John K. Slaney:
Is there a Constaintness Knife-edge? ECAI 2000: 614-620 - Liliana Ardissono, Pietro Torasso:
Dynamic User Modeling in a Web Store Shell. ECAI 2000: 621-625 - Simon Dixon, Emilios Cambouropoulos:
Beat Tracking with Musical Knowledge. ECAI 2000: 626-630 - Mitsunori Matsushita, Hayato Yonezawa, Tsuneaki Kato:
Frame Representation of User's Requirement for Automated Data Visualization. ECAI 2000: 631-635 - Christophe Vaudry, Michel Crampes:
Composition Through Agent Negotiation: A Step Towards Fluid Interface. ECAI 2000: 636-642 - Jean-Christophe Baillie, Jean-Gabriel Ganascia:
Action Categorization from Video Sequences. ECAI 2000: 643-647 - Michael Beetz, Thorsten Belker:
Autonomous Environment and Task Adaptation for Robotic Agents. ECAI 2000: 648-652 - Krysia Broda, Christopher J. Hogger, Sam Watson:
Constructing Teleo-reactive Robot Programs. ECAI 2000: 653-657 - Antonio D'Angelo, Federico Montesello, Enrico Pagello:
Can Representation be Liberated from Symbolism: Modeling Robot Actions with Roboticles. ECAI 2000: 658-662 - Stefan Kopp, Ipke Wachsmuth:
A Knowledge-based Approach for Lifelike Gesture Animation. ECAI 2000: 663-667 - Peter Pachowicz, Sung Wook Baik:
On-Line Model Modification for Adaptive Object Recognition. ECAI 2000: 668-672 - Nathanaël Rota, Monique Thonnat:
Activity Recognition from Video Sequences using Declarative Models. ECAI 2000: 673-680 - Sarabjot S. Anand, Matthias Baumgarten, Alex G. Büchner, Maurice D. Mulvenna:
Gaining Insights into Web Customers using Web Intelligence. ECAI 2000: 681-685 - Clara Bagnasco, Amedeo Cappelli, Bernardo Magnini:
A Dialogue Environment for Accessing Public Administration Data: the TAMIC-P System. ECAI 2000: 686-690 - Stefania Bandini, Sara Manzoni:
A Knowledge-Based System for the Design of Rubber Compounds in Motor Racing. ECAI 2000: 691-695 - Fabio Ciravegna, Alberto Lavelli, Nadia Mana, Johannes Matiasek, Luca Gilardoni, Silvia Mazza, Massimo Ferraro, William J. Black, Fabio Rinaldi, David Mowatt:
Flexible Text Classification for Financial Applications: The Facile System. ECAI 2000: 696-700 - Paul Cotter, Barry Smyth:
Personalisation Technologies for the Digital TV World. ECAI 2000: 701-705 - Francisco P. Maturana, Sivaram Balasubramanian, Dave Vasko:
An Autonomous Cooperative System for Material Handling Applications. ECAI 2000: 706-710 - Robert Milne, Charlie Nicol:
Tiger: Continuous Diagnosis of Gas Turbines. ECAI 2000: 711-715 - Stefania Montani, Riccardo Bellazzi, Alberto Riva, Cristiana Larizza, Luigi Portinale, Mario Stefanelli:
Artificial Intelligence Techniques for Diabetes Management: the T-IDDM Project. ECAI 2000: 716-720 - Chris J. Price:
Autosteve: Automated Electrical Design Analysis. ECAI 2000: 721-725 - Kanna Rajan, Douglas E. Bernard, Gregory Dorais, Edward B. Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, P. Pandurang Nayak, Nicolas F. Rouquette, Benjamin D. Smith, William Taylor, Yu-Wen Tung:
Remote Agent: An Autonomous Control System for the New Millennium. ECAI 2000: 726-730 - Rik Gerrits, Silvie Spreeuwenberg:
VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. ECAI 2000: 731-738 - Piero P. Bonissone:
Hybrid Soft Computing: Where are we Going? ECAI 2000: 739-746 - Patrik Dohrty, Gösta H. Granlund, Krzysztof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman, Johan Wiklund:
The WITAS Unmanned Aerial Vehicle Project. ECAI 2000: 747-755 - Daniele Nardi:
Artificial Intelligence in RoboCup. ECAI 2000: 756-762 - Bernhard Nebel:
Knowledge Representation and Reasoning: The Theoretical Side of AI. ECAI 2000: 763-763 - Luc Steels:
The Emergence of Grammar in Communicating Autonomous Robotic Agents. ECAI 2000: 764-769 - Mark Wallace:
Search in AI: Escaping from the CSP Straightjacket. ECAI 2000: 770-776
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-12-03 20:17 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:
