Index
Advanced Research with Autonomous Unmanned
Aerial Vehicles, 731
Agents, 234
Allen, Paul G., 507
Amgoud, Leila, 175, 194
Angele, Jurgen, 507
Approximative Query Techniques for Agents with
Heterogeneous Ontologies and Perceptive Capabilities, 459
Argumentation, 174
Automated Reformulation of Specifications by
Safe Delay of Constraints, 388
Axiomatizing the Cyclic Interval Calculus, 95
Bacchus, Fahiem, 613
Baget, Jean-François, 407
Baral, Chitta, 554, 720
Barker, Ken, 488, 507
Barrett, Anthony, 654
Belief Revision and Update, 310
Bell, John, 2
Benferhat, Salem, 130
Besnard, Philippe, 183
Bloch, Isabelle, 329
Bochman, Alexander, 427
Boella, Guido, 255
Bonnefon, Jean François, 130
Bottazzi, Emanuele, 267
Breadth-First Heuristic Search, 701
Brewka, Gerhard, 213
C&L Intention Revisited, 527
Cadoli, Marco, 388
Calvanese, Diego, 469
Catenacci, Carola, 267
Causal Logic of Logic Programming, A, 427
Causation and Causal Conditionals, 2
Cayrol, Claudette, 194
Ceusters, Werner, 114
Characterization of Semantics for Argument Systems, 183
Chaudhri, Vinay K., 488, 507
Chaw, Shaw Yi, 488
Chen, XiaoPing, 606
Chopra, Samir, 319
Clark, Peter, 488, 507
Combining Answer Set Programming with Description Logics for the Semantic Web, 141
Compact Representations of Preference, 202
Complex Preferences for Answer Set Optimization, 213
Complexity Analysis, 368
Complexity of Model Checking and Bounded
Predicate Arities for Non-ground Answer Set
Programming, 377
Condensed Representations for Inductive Logic
Programming, 438
Conditioning and Conditional Logics, 1
Condotta, Jean-François, 95
Coste-Marquis, Sylvie, 203
Davis, Ernest, 235
De Giacomo, Giuseppe, 469
De Raedt, Luc, 438
Delgrande, James P., 673
Denecker, Marc, 106, 545
Description Logics, 140
Discovering State Invariants, 536
Distance Semantics for Relevance-Sensitive Belief
Revision, 319
Doherty, Patrick, 459, 731
Domain-Specific Preferences for Causal Reasoning
and Planning, 673
Doutre, Sylvie, 183
Eiter, Thomas, 141, 377, 447, 720
Eliminating Disjunctions in Stable Logic Programming, On, 447
Eschenbach, Carola, 300
Everaere, Patricia, 357
Evidence and Belief, 733
Experimental Analysis of Possibilistic Default
Reasoning, An, 130
KR 2004
743
Expressive Power and Succinctness of Propositional Languages for Preference Representation,
203
Extending the Knowledge-Based Approach to
Planning with Incomplete Information and
Sensing, 613
Faber, Wolfgang, 377
Fan, James, 488
Ferrario, Roberta, 267
Fielding, James M. , 114
Fink, Michael, 377, 447
First-Order Theory of Communicating First-Order
Formulas, A, 235
Fisseler, Jens, 34
Foo, Norman, 311, 319
Four Dimensions of Artifacts, The, 289
Friedland, Noah S., 507
From Hybrid Systems to Universal Plans Via Domain Compilation, 654
Gabaldon, Alfredo, 634
GAI Networks for Utility Elicitation, 224
Galton, Antony, 45
Gangemi, Aldo, 267
Garbacz, Pawel, 289
Géffner, Hector, 662
Gilboa, Itzhak, 733
Glass, David H., 348
GlossOnt: A Concept-focused Ontology Building
Tool, 498
Gonzales, Christophe, 224
Great Moments in Knowledge Representation Series, 737
Groot, Perry, 399
Guarino, Nicola, 267
Haarslev, Volker, 163
Hahn, Udo, 55
Halpern, Joseph Y., 12, 121
Hamilton, Margaret, 246
Hansen, Eric A., 701
Harland, James, 246
Herzig, Andreas, 527
Historical Remarks on Nonmonotonic Reasoning,
Especially Circumscription, 738
How to Interweave Knowledge about Object
Structure and Concepts, 300
Hustadt, Ullrich, 152
744
KR 2004
Improved Integer Local Search for Complex
Scheduling Problems, An, 692
Improving the Forward Chaining Algorithm for
Conceptual Graphs Rules, 407
Indoor Environment Classification and Perceptual
Matching, 73
Inductive Situation Calculus, 545
Inferential Complexity Control for Model-Based
Abduction, 415
Intransitivity and Vagueness, 121
Invited Keynote Presentations, 730
Israel, David, 488, 507
Kaelbling, Leslie Pack, 683
Kaneiwa, Ken, 278
Kern-Isberner, Gabriele, 34
Knowledge Discovery by Reversing Inductive
Knowledge Representation, 34
Knowledge of Other Agents and Communicative
Actions in the Fluent Calculus, 623
Knowledge Representation and Planning, 612
Knowledge Representation Logics, 564
Konieczny, Sébastien, 357
Kwok, Rex, 311
Lakemeyer, Gerhard, 516, 587
Lang, Jérôme, 203, 644
Learning Probabilistic Relational Planning Rules,
683
Lembo, Domenico, 469
Lenzerini, Maurizio, 469
Levesque, Hector J., 516, 587
Liberatore, Paolo, 203
Ligozat, Gérard, 95
Lin, Fangzhen, 536
Liu, Weiru, 348
Liu, Yongmei, 587
Logic-Based Formulation of Active Visual Perception, A, 64
Logic of Arbitrary and Indefinite Objects, A, 565
Logic of Limited Belief for Reasoning with Disjunctive Information, A, 587
Logic of Motion, A, 85
Logic Programming, 426
Logical Foundations of Negotiation: Strategies
and Preferences, 311
Longin, Dominique, 527
Lukasiewicz, Thomas, 23, 141
Lukaszewicz, Witold, 459
Lv, Guanfeng, 576
Mailhé, Boris, 338
Majority Logic, 598
Mancini, Toni, 388
Marquis, Pierre, 203, 357
Martin, Yves, 623
Masolo, Claudio, 267
Matthews, Gavin, 507
McCarthy, John, 738
Meaning and Links: A Semantic Odyssey, 740
Merging Belief Bases, 347
Merging Strategy-Proofness, On, 357
Meyer, Thomas, 311
Miraglia, Pierluigi, 507
Mishra, Sunil, 488
Mizoguchi, Riichiro, 278
Möller, Ralf, 163
Motik, Boris, 152
Multidimensional Mereotopology, 45
Narasamdya, Iman, 623
Nau, Dana, 85
Neves, Rui Da Silva, 130
Observation Expectation Reasoning in Agent Systems, 246
Ontological Knowledge Base Reasoning with SortHierarchy and Rigidity, 278
Ontological Theory for Ontological Engineering:
Biomedical Systems Information Integration,
114
Ontology, 266
Optimization Techniques for Retrieving Resources
Described in OWL/RDF Documents: First Results, 163
Pacuit, Eric, 598
Park, Youngja, 498
Parthood as Spatial Inclusion—Evidence from
Biomedical Conceptualizations, 55
Partial Implication Semantics for Desirable Propositions, 606
Pasula, Hanna M., 683
Patel-Schneider, Peter F., 735
Peppas, Pavlos, 319
Perny, Patrice, 224
Petrick, Ronald P. A., 613
Pfeifer, Gerald, 377
Phase Transitions in Classical Planning: An Experimental Study, 710
Philosophical and Psychological Issues, 105
Pino-Pérez, Ramón, 329
Pirri, Fiora, 73
Planning Graphs and Knowledge Compilation,
662
Polynomial-Time Algorithm for Constructing kMaintainable Policies, A, 720
Poole, David, 479
Porter, Bruce, 488, 507
Prade, Henri, 175, 338
Precondition Control and the Progression Algorithm, 634
Preface and Acknowledgements, xi
Preference-Based Interpretation of Other Agents’
Actions, A, 644
Program Committee, xv
Provan, Gregory, 415
Qi, Guilin, 348
Qualitative Probabilistic Matching with Hierarchical Descriptions, 479
Query Processing for Ontologies, 458
Question-Answering System for AP Chemistry:
Assessing KR&R Technologies, A, 488
Ramon, Jan, 438
Randell, David, 64
Reaching Agreement through Argumentation: A
Possibilistic Approach, 175
Real Knowledge Representation Systems, 487
Reasoning about Action, 515
Reasoning about Knowledge by Variable Forgetting, 576
Reasoning about Triggered Actions in AnsProlog
and Its Application to Molecular Interactions
in Cells, 554
Reducing SHIQ- Description Logic to Disjunctive
Datalog Programs, 152
Regulative and Constitutive Norms in Normative
Multiagent Systems, 255
Rintanen, Jussi, 710
Roelofsen, Floris, 369
Romero, Pedro, 488
Rosati, Riccardo, 469
Salame, Samer, 598
Salay, Nancy, 507
Satisfiability for Propositional Contexts, 369
KR 2004
745
Sattler, Ulrike, 152
Schaub, Torsten, 673
Schindlauer, Roman, 141
Schmeidler, David, 733
Schulz, Stefan, 55
Serafini, Luciano, 369
Shanahan, Murray, 64
Shapiro, Stuart C., 565
Simon, Jonathan, 114
Situations, Si! Situation Terms, No!, 516
Sleeping Beauty Reconsidered: Conditioning and
Reflection in Asynchronous Systems, 12
Smith, Barry, 114
Smyth, Clinton, 479
Social Roles and their Descriptions, 267
Space and Time, 84
Spatial Reasoning, 44
Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases, A, 348
Staab, Steffen, 507
Su, Kaile, 576
Subrahmanian, V. S., 85
Szalas, Andrzej, 459
Tecuci, Dan, 488
ten Teije, Annette, 399
Ternovska, Eugenia, 545
Thielscher, Michael, 623
Tompits, Hans, 141, 447, 673
Towards a Quantitative, Platform-Independent
Analysis of Knowledge Systems, 507
Towards a Structured Analysis of Approximate
Problem Solving: A Case Study in Classification, 399
Trân, Bình Vu, 246
Tran, Nam, 554
Unified Treatment for Knowledge Dynamics, A,
329
Updating of a Possibilistic Knowledge Base by
Crisp or Fuzzy Transition Rules, 338
Use of an ATMS for Handling Conflicting Desires,
On the, 194
Uzcátegui, Carlos, 329
746
KR 2004
van der Torre, Leendert, 255
van Harmelen, Frank, 399
Vieu, Laure, 267
Weak Nonmonotonic Probabilistic Logics, 23
What Is OWL (and Why Should I Care)?, 735
What to Ask to a Peer: Ontology-based Query Reformulation, 469
What's in a Model? Epistemological Analysis of
Logic Programming, 106
Witbrock, Michael, 507
Woltran, Stefan, 377, 447
Woods, William A., 740
Yaman, Fusun, 85
Yeh, Peter, 488
Zettlemoyer, Luke S., 683
Zhang, Dongmo, 311
Zhang, Weixiong, 692
Zhang, Xiaotao, 692
Zhang, Yan, 576
Zhou, Rong, 701
Zhou, Yi, 606