Abstract is missing.
- Object Knowledge Base RevisionIsabelle Crampe, Jérôme Euzenat. 3-7
- Belief States as Default Theories: Studies in Non-Prioritized Belief ChangeAditya Ghose, Randy Goebel. 8-12
- Update Operations: A ReviewAndreas Herzig, Omar Rifi. 13-17
- The Complexity of Model Checking for Propositional Default LogicsPaolo Liberatore, Marco Schaerf. 18-22
- On the Logic of ExceptionsJérôme Mengin. 23-27
- Embedding Minimal Knowledge into Negation as FailureRiccardo Rosati. 28-32
- An Update Semantics for Prima Facie ObligationsLeendert W. N. van der Torre, Yao-Hua Tan. 38-42
- Using Preferences to Select Acceptable ArgumentsLeila Amgoud. 43-44
- Using Relevance for Selecting Integrity Constraints which Do Not Interfer in Knowledge Base UpdateC. Pain-Barre. 45-46
- Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional CaseRiccardo Rosati. 47-48
- The Closing Operator: From Partial to Complete KnowledgeSofie Verbaeten. 49-50
- Towards a New Formal Model of Transformational Adaptation in Case-Based ReasoningRalph Bergmann, Wolfgang Wilke. 53-57
- Hierarchical CBR for Multiple Aircraft Conflict ResolutionAndrea Bonzano, Padraig Cunningham. 58-62
- Correct and Complete Retrieval for Case-Based Problem-SolvingJean Lieber, Amedeo Napoli. 68-72
- Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved FunctionalityAnnette ten Teije, Frank van Harmelen. 78-82
- Verifying and Validating Specification of Knowledge-Based SystemsLuis Torres, Claudia S. Frydman. 83-87
- Algebraic Topology for Knowledge Representation in Analogy SolvingErika Valencia, Jean-Louis Giavitto, Jean-Paul Sansonnet. 88-92
- Just-in-Time Analogical Reasoning: A Progressive-Deepening Model of Structure-MappingTony Veale. 93-97
- Software Design As Framework Reuse: A Knowledge-Based ApproachMercedes Gómez-Albarrán, Pedro A. González-Calero, Belén Díaz-Agudo. 98-99
- A Model for Creative Problem Solving Based on Divergent Production of SolutionsLuís Macedo. 100-101
- Explaining and Justifying Decision Support Advice in Intuitive TermsK. Nadia Papamichail. 102-103
- Foundations of Simulative TheorizingT. Laine, Heikki Hyötyniemi, P. Saariluoma. 109-113
- A New Approach to the Intended Meaning of Negative InformationDaniel Pacholczyk. 114-118
- Artificial Reasoners for the Cognitive Assessment of Patients with Parkinson s DiseaseJosette Pastor, Alain Agniel, Pierre Celsis. 119-123
- Empirical Evaluation of Possibility Theory in Human Radiological DiagnosisEric Raufaste, Rui Da Silva Neves. 124-128
- Modelling Divergent Production: A multi-domain approachFernando C. N. Pereira. 131-132
- Efficient Parsing for Information ExtractionRoberto Basili, Maria Teresa Pazienza, Fabio Massimo Zanzotto. 135-139
- Spatio-temporal Reasoning Using a Multi-dimensional Tesseral RepresentationFrans Coenen, Bridget Beattie, Trevor J. M. Bench-Capon, B. M. Diaz, Michael J. R. Shave. 140-144
- Dynamic Maps as Representations of VerbsP. Cohen. 145-149
- Connection Relations in MereotopologyAnthony G. Cohn, Achille C. Varzi. 150-154
- A Thematic Segmentation Procedure for Extracting Semantic Domains from TextsOlivier Ferret, Brigitte Grau. 155-159
- Knowledge Generation from TextsUdo Hahn. 160-164
- Text Summarization Based on Terminological LogicsUdo Hahn, Ulrich Reimer. 165-169
- A Linguistic and Mathematical Method for Mapping Thematic Trends from TextsFidelia Ibekwe-Sanjuan. 170-174
- Generalization, Segmentation and Classification of Qualitative Motion DataAlexandra Musto, Klaus Stein, Andreas Eisenkolb, Kerstin Schill, Wilfried Brauer. 180-184
- Sense Tagging and Language EngineeringMark Stevenson, Hamish Cunningham, Yorick Wilks. 185-189
- Towards Robust Understanding of Speech by Combination of Partial AnalysesKarsten L. Worm, C. J. Rupp. 190-194
- A Hierarchical Multi-Agent System for Natural Language DiagnosisJoão Balsa. 195-196
- A Few English Words Can Help Improve Your RussianAnja Belz. 197-198
- A LTAG Grammar for Parsing Oral and Incomplete UtterancesP. Lopez. 199-200
- Dynamic Semantics and UnderspecificationChristof Monz. 201-202
- Spoken Language Parsing Strategies in a Conversational SystemT. L. Soto, Jose F. Quesada. 203-204
- A Weighted Arc Consistency Technique for MAX-CSPMohamed-Salah Affane, Hachemi Bennaceur. 209-213
- Propositional Satisfaction Problems and Clausal CSPsThierry Castell, Hélène Fargier. 214-218
- Distributed Intelligent BacktrackingYoussef Hamadi, Christian Bessière, Joël Quinqueton. 219-223
- Dynamic Domain Splitting for Numeric CSPsNarendra Jussien, Olivier Lhomme. 224-228
- Partial Lazy Forward Checking for MAX-CSPJavier Larrosa, Pedro Meseguer. 229-233
- Multi-strategy Local Search for SAT ProblemD. Liang, W. Li. 234-238
- Interleaved and Discrepancy Based SearchPedro Meseguer, Toby Walsh. 239-243
- On the Hardness of Decision and Optimisation ProblemsJohn K. Slaney, Sylvie Thiébaux. 244-248
- Trying Harder to Fail FirstBarbara M. Smith, Stuart A. Grant. 249-253
- On Reformulation of Constraint Satisfaction ProblemsRainer Weigel, Christian Bliek. 254-258
- Integrating Constraint Programming Techniques into Mathematical ProgrammingSusanne Heipcke. 259-260
- Constraints with Variables AnnotationsHana Rudová. 261-262
- A Constraint Programming Approach to Portfolio SelectionGerhard Wetzel, F. Zabatta. 263-264
- Bound Consistency on Linear Constraints in Finite Domain ConstraintYuanlin Zhang, Hui Wu. 265-266
- Diagnosis of Active SystemsPietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella. 274-278
- Model-based Diagnosis Under Structural UncertaintyWolfgang Menzel, Ingo Schröder. 284-288
- The Closure Properties of Functional Flow-Based Approaches and Their Relevance to DiagnosisRoberto Ranon. 289-290
- Systems of Communicating AgentsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. 293-297
- Formalization and Pre-Validation for Interaction Protocols in a Multi Agent SystemsJean-Luc Koning, G. Francois, Yves Demazeau. 298-307
- The Intentions of Teams: Team Structure, Endodeixis, and ExodeixisMunindar P. Singh. 303-307
- A Knowledge-theoretic Approach to Distributed Problem SolvingMichael Wooldridge. 308-312
- Application of a Self-Organizing Method Based on Cooperation to Information RetrievalValérie Camps. 313-314
- Principles for Cooperative Conjecture Elaboration in a Multiagent ContextHumbert Fiorino. 315-316
- Formal Models of Control SystemsBabak Sadighi Firozabadi, Leendert W. N. van der Torre. 317-318
- Telecommunications Multi-Agent Control System (Tele-MACS)Alex L. Hayzelden. 319-320
- A Macro - Mutation Operator in Genetic AlgorithmsClaude Lattaud. 323-324
- A Multi-Agent Simulation of Primate Social ConceptsS. Picault. 327-328
- Unification of Concept Terms in Description LogicsFranz Baader, Paliath Narendran. 331-335
- Description Logics with Concrete Domains and AggregationFranz Baader, Ulrike Sattler. 336-340
- Comparison of Personal Ontologies Represented through Conceptual GraphsRose Dieng, Stefan Hug. 341-345
- Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux EnumerationMarc Fuchs. 346-350
- Vagueness and Data Reduction in Concept LearningEmmanuelle Martienne, Mohamed Quafafou. 351-355
- Theorem Proving Using Graph Operations in the Conceptual Graph FormalismEric Salvat. 356-360
- A Description Logic for Vague KnowledgeChristopher Tresp, Ralf Molitor. 361-365
- Contextual ReasoningLaurent Perrussel. 366-367
- Labeled Logics of Conditional GoalsLeendert W. N. van der Torre. 368-369
- Designing FPLA Combinational Circuits by Conditional RewritingNirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi. 373-377
- Introducing Plausibility Measures in the Process of belief Revision through Extended Logic ProgramsBerilhes Borges Garcia, José Gabriel Pereira Lopes. 378-382
- Situated Abstraction Planning by Abductive Temporal ReasoningChristopher G. Jung. 383-387
- Probabilistic Logic ProgrammingThomas Lukasiewicz. 388-392
- Observant: An Annotated Term-Rewriting System for Deciding Observation CongruenceRaul Monroy, Alan Bundy, Ian Green. 393-397
- Using Two Level Abduction to Decide Similarity of CasesKen Satoh. 398-402
- Updating Logic ProgramsYan Zhang, Norman Y. Foo. 403-407
- Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of FormulaeFabio Massacci. 408-409
- On Translation of Finitely-Valued Logics to Classical First-Order LogicViorica Sofronie-Stokkermans. 410-411
- An Integrated Framework of Learning Numerical Terms in FOLMarco Botta, Attilio Giordana, Roberto Piola. 415-419
- Tabata: A Learning Algorithm Performing a Bidirectional Search in a Reduced Search Space Using a Tabu StrategyPierre Brézellec, Henry Soldano. 420-424
- A Fuzzy Inference Framework For Induced Decision TreesKeeley A. Crockett, Zuhair Bandar, Akeel Al-Attar. 425-429
- Using a Data Metric for Preprocessing Advice for Data Mining ApplicationsRobert Engels, C. Theusinger. 430-434
- Learning Recursive Theories with ATREDonato Malerba, Floriana Esposito, Francesca A. Lisi. 435-439
- Learning to Coordinate BehaviorsMohamed Salah Hamdi, Karl Kaiser. 440-444
- Cost-Sensitive Learning with Neural NetworksMatjaz Kukar, Igor Kononenko. 445-449
- Implicit Feature Selection with the Value Difference MetricTerry R. Payne, Peter Edwards. 450-454
- Pruning Regression Trees with MDLMarko Robnik-Sikonja, Igor Kononenko. 455-459
- Version Space Learning with Instance-Based Boundary SetsEvgueni N. Smirnov, Peter J. Braspenning. 460-464
- Collective Learning in MultiAgent SystemsStéphane Calderoni. 465-466
- Simple Synchrony Networks: Learning Generalisations across Syntactic ConstituentsPeter Lane. 469-470
- Turning Yahoo to Automatic Web-Page ClassifierDunja Mladenic. 473-474
- Integrating Abduction and InductionFabrizio Riguzzi. 475-476
- Planning in Description Logics: Deduction versus Satisfiability TestingLiviu Badea. 479-483
- Towards the Automatic Acquisition of Plan LibrariesMathias Bauer. 484-488
- Planning under Resource ConstraintsJana Koehler. 489-493
- AI-Techniques in Proof PlanningErica Melis. 494-498
- Optimal Scheduling of Dynamic Progressive ProcessingAbdel-Illah Mouaddib, Shlomo Zilberstein. 499-503
- Minimal Perturbance in Dynamic SchedulingHani El Sakkout, T. Richards, Mark Wallace. 504-508
- A Declarative Formalization of STRIPSJosefina Sierra-Santibáñez. 509-513
- Interactive Constraint Satisfaction techniques for Information Gathering in PlanningRosy Barruffi, Michela Milano. 514-515
- A Sistributed Scheme for Task Planning and Negotiation in Multi-Robot SystemsSilvia Silva da Costa Botelho. 516-517
- On Non-Conservative Plan ModificationPaolo Liberatore. 518-519
- Solving Multiple Capacitated Scheduling Problems with Tabu SearchAngelo Oddi. 520-521
- Separating Constraint Dimensions in a Scheduling Problem to Reduce Search SpaceS. Scott. 522-523
- Managing Temporal BeliefsPaolo Giangrandi. 527-531
- Modeling Action, Knowledge and ControlHector Geffner, Jacques Wainer. 532-536
- Dealing with Concurrent Actions in Modal Action LogicsLaura Giordano, Alberto Martelli, Camilla Schwind. 537-541
- Delayed Effects of ActionsLars Karlsson, Joakim Gustafsson, Patrick Doherty. 542-546
- Representing Beliefs in a Situated Event CalculusF. Levy, Joachim Quantz. 547-551
- A Logic for Reasoning about Action, Preference, and CommitmentChurn-Jung Liau. 552-556
- Ideal Agents Sharing (some!) KnowledgeAlessio Lomuscio, Mark Ryan. 557-561
- Efficient Algorithms for Qualitative Spatial ReasoningJochen Renz, Bernhard Nebel. 562-566
- On Non-Binary Temporal RelationsSteffen Staab. 567-571
- Possibilistic-Based Bidding Strategies in Electronic AuctionsPere Garcia, Eduardo Giménez, Lluis Godo, Juan A. Rodríguez-Aguilar. 575-579
- Nonmonotonic Reasoning in ProbabilisticsGabriele Kern-Isberner. 580-584
- Constructing Text Filters Based on Bayesian Network LearningWai Lam, Kon Fan Low. 585-589
- Possibility Theory-Based Environment Modelling by Means of Behaviour-Based Autonomous RobotsMaite López-Sánchez, Ramon López de Mántaras, Carles Sierra. 590-594
- An Objective Definition of Subjective ProbabilityNico Roos. 595-599
- Decision As Abduction?Régis Sabbadin. 600-604
- Inferential Independence of Fuzzy RulesLaurent Ughetto. 605-609
- A Game Theory Approach to Coordination in MASMatteo Golfarelli. 610-611
- Lazy Propagation and Independence of Causal InfluenceAnders L. Madsen. 612-613
- A Scheme for Coordinating Multi-robots Planning Activities and Plans ExecutionRachid Alami, François Felix Ingrand, S. Qutub. 617-621
- AI Planning in a Chemical Plant DomainRuth Aylett, James K. Soutter, Gary J. Petley, Paul W. H. Chung. 622-626
- Perception Strategy for a Surveillance SystemClaude Barrouil, Charles Castel, Patrick Fabiani, R. Mampey, P. Secchi, Catherine Tessier. 627-631
- Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service RobotsMichael Beetz, Tom Arbuckle, Armin B. Cremers, M. Mann. 632-636
- Spatio-chromatic Features for Image RecognitionEric O. Postma, H. Jaap van den Herik, Patrick T. W. Hudson. 637-642
- Fitness Distance Correlation, as statistical measure of Genetic Algorithm difficulty, revisitedPhilippe Collard, Alessio Gaspar, Manuel Clergue, Cathy Escazut. 650-654
- Updating Shortest PathsStefan Edelkamp. 655-559
- Back-up of Heuristic Values: Minimaxing vs. Product PropagationHermann Kaindl, Anton Scheucher. 665-669
- QoS based GA Parameter Selection for Autonomously Managed Distributed Information SystemsMartin J. Oates, David Corne. 670-674
- What You See Is What You Meant: direct knowledge editing with natural language feedbackRichard Power, Donia Scott, Roger Evans. 677-681
- Introducing Reactivity in Adaptive Hypertext GenerationBerardina De Carolis. 682-683
- Graphical Abstraction - How to adapt the detail of graphics to limited resourcesAntonio Krüger. 684-685
- Vision in Robotics: How a Robot can Segment Figure from GroundJan-Olof Eklundh. 689-693
- It Don t Mean A Thing (If It Ain t Got That Swing)Ramon López de Mántaras. 694-696
- Constraint Programming: A Great AI SuccessJean-Francois Puget. 698-705
- Case-Based DecisionsItzhak Gilboa, David Schmeidler. 706-710
- Causal LogicGlenn Shafer. 711-720