Abstract is missing.
- OverviewElisabeth Maier, Marion Mast, Susann LuperFoy. 1-13
- Global Consistency in Interval Algebra Networks: Tractable SubclassesChristian Bessière, Amar Isli, Gerard Ligozat. 3-7
- Dynamics of Beliefs and Strategy of PerceptionPatrick Fabiani. 8-12
- Temporal Reasoning with Abductive Logic ProgrammingRenwei Li, Luís Moniz Pereira. 13-17
- A Study on the Logic of AbductionMarta Cialdea Mayer, Fiora Pirri. 18-22
- On the Practicality of Abductive ValidationTim Menzies. 23-27
- Normative and Epistemic Aspects in CausalityAïcha Mokhtari, Daniel Kayser. 28-32
- A General Modal Framework for the Event Calculus and its Skeptical and Credulous VariantsAngelo Montanari, Luca Chittaro, Iliano Cervesato. 33-37
- Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn ClassBernhard Nebel. 38-42
- Towards an Ontology Dealing with Periodic EventsPaolo Terenziani. 43-47
- Dealing with Uncertain Durations In Temporal Constraint Networks dedicated to PlanningThierry Vidal, Malik Ghallab. 48-54
- A Modal Logic with Context-Dependent Inference for Non-Monotonic ReasoningPhilippe Besnard, Yao-Hua Tan. 55-59
- Semantics for Default Logic based on Specific Branching Time ModelsJoeri Engelfriet, Jan Treur. 60-64
- Definitional ConstraintsNorman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco. 65-69
- Representing Autoepistemic Introspection in Terms of Default RulesTomi Janhunen. 70-74
- Learning From Conditionals: Judy Benjamin s Other ProblemsAbhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas. 75-79
- Implementing Circumscription Using a Tableau MethodIlkka Niemelä. 80-84
- PMA Epistemic Entrenchments: The General CasePavlos Peppas. 85-89
- Well Behaved and Multiple Belief RevisionPavlos Peppas. 90-94
- Revision vs. Update: Taking a Closer LookPavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko. 95-99
- Intertranslating Counterfactuals and UpdatesMark Ryan, Pierre Yves Schobbens. 100-104
- Prolog Technology for Default Reasoning (An Abridged Report)Torsten Schaub, Stefan Brüning. 105-109
- Circumscription by Inference Rules with PriorityXianchang Wang, Jia-Huai You, Li-Yan Yuan. 110-116
- Case-Based Representability of Classes of Boolean FunctionsChristoph Globig, Steffen Lange. 117-121
- Towards a Case-Based Model for Creative ProcessesPaulo Gomes, Carlos Bento, Pedro Gago, Ernesto Costa. 122-126
- Lazy Propagation in Case Retrieval NetsMario Lenz, Hans-Dieter Burkhard. 127-131
- Using Classification in Case-Based PlanningJean Lieber, Amedeo Napoli. 132-136
- On the Usefulness of Re-using Diagnostic SolutionsLuigi Portinale, Pietro Torasso. 137-141
- Translating Case-Based Reasoning into Abductive Logic ProgrammingKen Satoh. 142-146
- Towards a Methodology for Case AdaptationAngi Voß. 147-154
- The Satisfiability Problem Regarded as a Constraint Satisfaction ProblemHachemi Bennaceur. 155-159
- Adaptive Constraint Satisfaction: The Quickest First PrincipleJames E. Borrett, Edward P. K. Tsang, N. R. Walsh. 160-164
- Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction ProblemsBertrand Cabon, Gérard Verfaillie, David Martinez, P. Bourret. 165-169
- Phase Transitions and Annealed Theories: Number Partitioning as a Case StudyIan P. Gent, Toby Walsh. 170-174
- The Phase Transition Behaviour of Maintaining Arc ConsistencyStuart A. Grant, Barbara M. Smith. 175-179
- Davis and Putnam were Already Checking ForwardRichard Génisson, Philippe Jégou. 180-184
- Predicting Phase Transitions of Binary CSPs with Constraint Graph InformationAlvin C. M. Kwan, Edward P. K. Tsang, James E. Borrett. 185-189
- Phase Transition in MAX-CSPJavier Larrosa, Pedro Meseguer. 190-194
- Probabilistic Analysis of Local Search on Random Instances of Constraint SatisfactionHoong Chuin Lau. 195-199
- Answers Synthesis for CLP with NegationGilles Richard, Frédéric Saubion. 200-204
- Context in Discrete Constraint Satisfaction ProblemsRainer Weigel, Boi Faltings, Berthe Y. Choueiry. 205-212
- Royal-Road Landscapes for a Dual Genetic AlgorithmPhilippe Collard, Alessio Gaspar. 213-217
- Fitness Distance Correlation in a Dual Genetic AlgorithmPhilippe Collard, Cathy Escazut. 218-222
- Hopfield Neural Network for Scheduling Non Pre-emptive TasksJean-Michel Gallone, François Charpillet. 223-227
- Symbiotic Coevolution for Epistatic ProblemsJan Paredis. 228-232
- On the Role of Topology for Neural Network InterpretationJürgen Rahmel. 233-240
- Modelling Interaction with Experts: The Role of a Shared Task ModelFrances M. T. Brazier, Jan Treur, Niek J. E. Wijngaards. 241-245
- Lean Modeling : The Intelligent Use of Geometrical Abstraction in 3D AnimationsAndreas Butz, Antonio Krüger. 246-250
- Adapting Decision Theory for Multimedia Presentation Design: User Modelling for Intent-based AuthoringAndrew Csinger, David Poole. 251-255
- Constraint Propagation in a Cooperative Approach for Multimodal Presentation PlanningYi Han, Ingrid Zukerman. 256-260
- Interactive Multi modal Explanations and their Temporal CoordinationTsuneaki Kato, Yukiko I. Nakano, H. Nakajima, Takaaki Hasegawa. 261-265
- A Video Indexing Method using Natural Language Memo for TV Program ProductionYeun-Bae Kim, Masahiro Shibata. 266-270
- Knowledge-Based Dialog Structuring for Graphics InteractionRalf Möller. 271-275
- Human and Machine Collaboration in Creative DesignPearl Pu, Denis Lalanne. 276-282
- Description Logics with Symbolic Number RestrictionsFranz Baader, Ulrike Sattler. 283-287
- A Unified Architechture for Knowledge Representation Based on Description LogicsLiviu Badea. 288-292
- Safety Logics II: Normative SafetyJ. Bell, Z. Huang. 293-297
- Building and Reusing Ontologies for Electrical Network ApplicationsAmaia Bernaras, Iñaki Laresgoiti, Jose Manuel Corera. 298-302
- Reasoning with Inclusion Axioms in Description Logics: Algorithms and ComplexityDiego Calvanese. 303-307
- Knowledge Oriented Design of an Application for Real Time Traffic Management: The TRYS SystemJosé Cuena, Josefa Z. Hernández, Martín Molina. 308-312
- Experiences in Modelling Statistical Process Control KnowledgeN. Glaser, M.-C. Haton. 313-317
- Conditional Desires and Utilities: an Alternative Logical Approach to Qualitative Decision TheoryJérôme Lang. 318-322
- CARIN: A Representation Language Combining Horn Rules and Description LogicsAlon Y. Levy, Marie-Christine Rousset. 323-327
- Modeling and Verifying Complex Objects: A Declarative Approach Based on Description LogicsMarie-Christine Rousset, Pascale Hors. 328-334
- Problem Solving in Interactive Proof: A Knowledge-Modelling ApproachJ. Stuart Aitken. 335-339
- Counterfactual Exceptions in Deductive Database QueriesTroels Andreasen, Henning Christiansen. 340-344
- The Expressive Power of Tractable DisjunctionRachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker. 345-349
- Using the Davis and Putnam Procedure for an Efficient Computation of Preferred ModelsThierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre. 350-354
- An Almost Quadratic Class of Satisfiability ProblemsMukesh Dalal. 355-359
- Semantics of an Anytime Family of ReasonersMukesh Dalal. 360-364
- Optimizing the Presentation of Modal Natural Deduction ProofsErika F. de Lima, Christoph Lingenfelder. 365-369
- BDBIDA: A New Approach for Space-limited Bidirectional Heuristic Graph SearchJürgen Eckerle. 370-374
- A Resolution Calculus for PresuppositionsManfred Kerber, Michael Kohlhase. 375-379
- Intelligent Route Finding: Combining Knowledge and Cases and an Efficient Search AlgorithmBing Liu. 380-384
- MP: An Efficient Method for Calculating the Minimum Herbrand Model of Chain Datalog ProgramsAnke D. Rieger. 385-389
- Distributed SpecificationDavid Stuart Robertson. 390-394
- Backjumping in State-Space SearchRoland Steiner, Hermann Kaindl, Gerhard Kainz. 395-402
- Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive LearnerZoltán Alexin, Tibor Gyimóthy, Henrik Boström. 403-407
- Assumptions of Problem-Solving Methods and their Role in Knowledge EngineeringV. Richard Benjamins, Dieter Fensel, Remco Straatman. 408-412
- MIDE: A Model-Based and Incremental Knowledge Acquisition MethodologySophie Billet-Coat. 413-417
- Cokace: A Centaur-based environment for CommonKADS Conceptual Modelling LanguageOlivier Corby, Rose Dieng. 418-422
- MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based SystemsDieter Fensel, Rix Groenboom. 423-427
- Relational Learning with Decision TreesPeter Geibel, Fritz Wysotzki. 428-432
- KBS Validation: A Knowledge Acquisition PerspectiveCorinne Haouche, Jean Charlet. 433-437
- A Complete Method for Program Specialization Based on UnfoldingShan-Hwei Nienhuys-Cheng, Ronald de Wolf. 438-442
- Stochastically Guided Disjunctive Version Space LearningNikolay I. Nikolaev, Evgueni N. Smirnov. 443-447
- Explanation-Based Generalization for Negation as Failure and Multiple ExamplesStefan Schrödl. 448-452
- Digging for Peace: Using Machine Learning Methods for Assessing International Conflict DatabasesRobert Trappl, Johannes Fürnkranz, Johann Petrak. 453-457
- What Is It That Makes It a Horowitz? Empirical Musicology via Machine LearningGerhard Widmer. 458-462
- Rule Induction Without Decision Tree ConstructionXindong Wu, David Urpani, James A. Sykes. 463-470
- Causal Probabilistic Networks for Dynamic ModelingRiccardo Bellazzi. 471-475
- CEC: Comparative Analysis by Envisionment ConstructionHidde de Jong, Nicolaas J. I. Mars, Paul E. van der Vet. 476-480
- On-Line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-recording Diagnosis EnginesOskar Dressler. 481-485
- Qualitative Spatial Orientation with Constraint Handling RulesM. Teresa Escrig, Francisco Toledo. 486-490
- Model-Based Diagnosis of Hardware DesignsGerhard Friedrich, Markus Stumptner, Franz Wotawa. 491-495
- A Model-based Reasoning Approach to CircumscriptionPeter Fröhlich, Wolfgang Nejdl. 496-500
- Taking Dimension Seriously in Qualitative Spatial ReasoningAntony Galton. 501-505
- Analogical Representations for Mechanism SynthesisPatrick Olivier, K. Nakata, M. Landon, A. McManus. 506-510
- Diagnosis with Cascading DefectsM. Tatar. 511-518
- Altruistic Cooporation Between Self-Interested AgentsSviatoslav Brainov. 519-523
- Abstract Goals in Multi-Agent SystemsHans-Dieter Burkhard. 524-528
- Understanding Autonomous InteractionMark d Inverno, Michael Luck. 529-533
- Controlling Distributed Manufacturing Systems by a Market MechanismTamás Kis, József Váncza, András Márkus. 534-538
- Emergent Co-ordination of Flow Control Actions through Functional Co-operation of Social AgentsSascha Ossowski, Ana García-Serrano, José Cuena. 539-543
- Cooperative Goal-satisfaction without Communication in Large-scale Agent-SystemsOnn Shehory, Sarit Kraus. 544-548
- Multi-Agent Integration of Information Gathering and Decision SupportKatia P. Sycara, Dajun Zeng. 549-556
- Controlling Functional UncertaintyRolf Backofen. 557-561
- Search in a Learnable Spoken Language ParserFinn Dag Buø, Alex Waibel. 562-566
- Efficient Implementation of a Semantic-based Transfer ApproachMichael Dorna, Martin C. Emele. 567-571
- A Conceptual Reasoning Approach to Textual EllipsisUdo Hahn, Katja Markert, Michael Strube. 572-576
- A New Algorithm For Generating Referential DescriptionsHelmut Horacek. 577-581
- Anaphora in a Wider Context: Tracking Discourse ReferentsChristopher Kennedy, Branimir Boguraev. 582-586
- A Formal and Computational Characterization of Pragmatic InfelicitiesDaniel Marcu, Graeme Hirst. 587-591
- Using Argument Graphs to Generate ArgumentsRichard McConachy, Ingrid Zukerman. 592-598
- Modeling Planning Domains SystematicallySusanne Biundo, Werner Stephan. 599-603
- Common Sense Reasoning: Experiments and ImplementationNathalie Chaignaud, F. Levy. 604-608
- Customized Plans Transmitted by Flexible RefinementDietmar Dengler. 609-613
- Temporal and Resource Reasoning in Planning: the parcPLAN approachA. El-Kholy, B. Richards. 614-618
- Constraint Propagation Techniques for Disjunctive Scheduling: The Preemptive CaseClaude Le Pape, Philippe Baptiste. 619-623
- A Case Study in Reasoning about Actions and Continuous ChangeR. Miller. 624-628
- DEDAL: a DEDuctive and ALgorithmic planning systemC. Pain-Barre. 629-633
- Scheduling Sport Tournaments using Constraint Logic ProgrammingAndrea Schaerf. 634-638
- Jobshop Scheduling in a ShipyardThomas Stidsen, L. V. Kragelund, O. Mateescu. 639-646
- Justification of Plan Recognition ResultsM. Bauer. 647-651
- Beyond Counter-Examples to Nonmonotonic Formalisms: A Possibility-Theoretic AnalysisSalem Benferhat, Didier Dubois, Henri Prade. 652-656
- Reasoning with Misperception in the Features and Fluents FrameworkSilvia Coradeschi. 657-661
- Applying Fuzzy Logic for Multisensor Data FusionF. Ramparany, M. F. Collin. 662-666
- Extended ProbabilityNic Wilson. 667-671
- Fast Markov Chain Algorithms for Calculating Dempster-Shafer BeliefNic Wilson, Serafín Moral. 672-678
- Qualitative Autonomous Navigation for Wheelchair RobotsNikitas M. Sgouros, Panayotis Tsanakas, George K. Papakonstantinou, N. Katevas. 679-683
- Robotics and the Common Sense Informatic SituationMurray Shanahan. 684-688
- Knowledged-based Support for 3D Object ReconstructionW. Willuhn, F. Ade. 689-693
- Reinforcement Learning for a Real Robot in a Real EnvironmentTomohiro Yamaguchi, Motohmi Masubuchi, Yasuhiro Tanaka, Masahiko Yachida. 694-698
- An Architecture for Modeling and Validation. Application to Mobile RoboticsLuc Yriarte, Pascal Deplanques, Jean Sallantin, Philippe Reitz, René Zapata, B. Burg, Francois Arlabosse. 699-706
- Getting Robots to Know Exactly What They Are DoingErik Sandewall. 707
- Commonsense ReasoningLuigia Carlucci Aiello. 708-709
- Modeling Collaboration for Human-Computer CommunicationBarbara J. Grosz. 710
- Knowledge Oriented Application Development: Lessons Learnt from Real-Time Decision Support SystemsJosé Cuena. 711-714