Wednesday, April 12

KR200 Preliminary Technical Program
Wednesday, April 12

8:45- 9:00	PLENARY SESSION: Opening Ceremony
9:00-10:00	PLENARY SESSION: Invited Talk (chair: Fausto Guinchiglia) Using Meta-Data to Conquer Database Complexity Philip A. Bernstein (Microsoft Research)
10:00-10:20	COFFEE BREAK
10:20-12:40	SESSION 1: Spatial Reasoning (chair: Luis Farinas Del Cerro) Spatio-temporal representation and reasoning based on RCC-8 (best paper award) Wolter F., Zakharyaschev, M. Spatial Locations via Morpho-Mereology Cristani M., Cohn A.G., Bennett B. Continuous Motion in Discrete Space Galton A.P. The Representation of Discrete Multi-resolution Spatial Knowledge Stell J.G.
12:40-14:10	LUNCH BREAK
14:10-15:55	SESSION 3: Representation of Action (chair: Sam Steel) Narratives as Programs Reiter R. Representing the Knowledge of a Robot Thielscher M. A Logic Programming Approach to Conflict Resolution in Policy Management Chomicki J., Lobo J., Naqvi S.
15:55-16:15	COFFEE BREAK
16:15-18:35	SESSION 5: Automated Reasoning 1 (chairJussi Rintanen) On Strongest Necessary and Weakest Sufficient Conditions (best paper award) Lin F. Containment of Conjunctive Regular Path Queries with Inverse Calvanese D., De Giacomo G., Lenzerini M., Vardi M.Y. Reduction rules and universal variables for first order tableaux and DPLL Massacci F. How to decide K using \InverseK Voronkov A.

8:45- 9:00	PLENARY SESSION: Opening Ceremony
9:00-10:00	PLENARY SESSION: Invited Talk (chair: Fausto Guinchiglia) Using Meta-Data to Conquer Database Complexity Philip A. Bernstein (Microsoft Research)
10:00-10:20	COFFEE BREAK
10:20-12:40	SESSION 2: Non Monotonic Reasoning 1 (chair:Rich Tomason) Finding Admissible and Preferred Arguments Can be Very Hard Dimopoulos Y., Nebel B., Toni F. Complexity Results for Default Reasoning from Conditional Knowledge Bases Eiter T., Lukasiewicz T. Uniform semantic treatment of default and autoepistemic logic Denecker M., Marek V.W., Truszczynski M. Missionaries and Cannibals in the Causal Calculator Lifschitz V.
12:40-14:10	LUNCH BREAK
14:10-15:55	SESSION 4: Integration of Knowledge Sources (chair: Mary-Anne Williams) On the Difference between Merging Knowledge Bases and Combining them Konieczny S. BReLS: A System for the Integration of Knowledge Bases Liberatore P., Schaerf M. Representing and Aggregating Conflicting Beliefs Maynard-Reid II P.U., Lehmann D.
15:55-16:15	COFFEE BREAK
16:15-18:35	SESSION 6: Uncertainty (chair: Didier Dubois) A Compositional Structured Query Approach to Automated Inference El Fattah Y. An Alternative Combination of Bayesian Networks and Description Logics Yelland P.M. Independence in qualitative uncertainty frameworks Ben Amor N., Benferhat S., Dubois D., Geffner H., Prade H. Spatial representation of spatial relationship knowledge Bloch I.

KR2000 Technical Program
Thursday, April 13

9:00-10:00	PLENARY SESSION: Invited Talk (supported by IJCAII) (chair: Anthony G. Cohn) Planning in Robotics: an Integration Perspective Malik Ghallab (LAAS-CNRS)
10:00-10:20	COFFEE BREAK
10:20-12:40	SESSION 7: Description Logics (chair: Deborah McGuinness) Matching Concept Descriptions with Existential Restrictions Baader F., Kuesters R. Expressive ABox Reasoning with Number Restrictions Role Hierarchies, and Transitively Closed Roles Haarslev V., Moeller R. Reasoning with Axioms: Theory and Practice Horrocks I., Tobies S. Rewriting Concepts Using Terminologies Baader F., Kuesters R., Molitor R.
12:40-14:10	LUNCH BREAK
14:10-15:55	SESSION 9: Temporal Reasoning 1 (chair: Enrico Guinchiglia) Two Problems with Reasoning and Acting in Time Ismail H.O., Shapiro S.C. Cyclical and Granular Time Theories as Subsets of the Herbrand Universe Mota E.S. A Model for Reasoning about Topologic Relations between cyclic intervals Balbiani P., Osmani A.
15:55-16:15	COFFEE BREAK
16:15-17:45	PANEL 1: Practical Knowledge Representation and the DARPA High Performance Knowledge Bases project Panelists: Adam Pease (Teknowledge) - moderator, Vinay Chaudhri (SRI), Adam Farquhar (Schlumberger), Fritz Lehmann (Cycorp)

9:00-10:00	PLENARY SESSION: Invited Talk (supported by IJCAII) (chair: Anthony G. Cohn) Planning in Robotics: an Integration Perspective Malik Ghallab (LAAS-CNRS)
10:00-10:20	COFFEE BREAK
10:20-12:40	SESSION 8: Diagnosis (chair: Marco Schaerf) Formulating diagnostic problem solving using an action language for narratives and sensing actions Baral C., McIlraith S., Tran S. Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation Verberne A., van Harmelen F., ten Teije A. Generation of diagnostic knowledge by discrete-event model compilation Lamperti, Zanella An Algorithm for Belief Revision Wassermann R.
12:40-14:10	LUNCH BREAK
14:10-15:55	SESSION 10: Automated Reasoning 2 (chair:Peter Patel-Schneider) Partition-Based Logical Reasoning Amir E., McIlraith S. Significant Inferences : Preliminary Report Besnard P., Schaub T. Unfolding Partiality and Disjunctions in Stable Model Semantics Janhunen, Niemela, Simons, You
15:55-16:15	COFFEE BREAK
16:15-18:35	SESSION 11: Learning and Decision Making (chair: Roberto Sebastiani) Relational Representations that Facilitate Learning Cumby C.M., Roth D. Experimental results on learning soft constraints Biso A., Rossi F., Sperduti A. One-stage decision making and propositional logic Fargier H., Lang J., Marquis P. Logical representation of preferences for group decision making Lafage C., Lang J.

KR2000 Technical Program
Friday, April 14

9:00-10:00	PLENARY SESSION: Invited Talk (chair:Bart Selman) Probabilistic relational models: Probability meets KR Daphne Koller (Stanford University)
10:00-10:20	COFFEE BREAK
10:20-12:40	SESSION 12: Applications and Systems (chair: Ian Horrocks) OntoMorph: A Translation System for Symbolic Knowledge Chalupsky H. An Environment for Merging and Testing Large Ontologies McGuinness D.L., Fikes R.E., Rice J., Wilder S. Long-Term Maintanability of Deployed Knowledge Representation Systems Rychtyckyj N., Reynolds R.G. Revision: an application in the framework of GIS Wurbel E., Papini O., Jeansoulin R.
12:40-14:10	LUNCH BREAK
14:10-15:55	SESSION 14: Temporal Reasoning 2 (chair: Stuart Shapiro) Controllability characterization and checking in Contingent Temporal Constraint Networks Vidal T. The Augmented Interval and Rectangle Networks Condotta J.F. On the complexity of reasoning about repeating events Morris R.A., Morris P.
15:55-16:15	COFFEE BREAK
16:15-17:45	PANEL 2: Teaching KR: Challenges and Proposals Panelists: Richmond Thomason (Univ. Michigan) – moderator, Ron Brachman (AT&T), Richard Fikes (Stanford Univ.), Leora Morgenstern (IBM)

9:00-10:00	PLENARY SESSION: Invited Talk (chair:Bart Selman) Probabilistic relational models: Probability meets KR Daphne Koller (Stanford University)
10:00-10:20	COFFEE BREAK
10:20-12:40	SESSION 13: Representation Formalisms (chair: Dan Roth) Approximate Objects and Approximate Theories McCarthy J. Iterated Belief Change in the Situation Calculus Shapiro S., Lesperance Y., Levesque H.J., Pagnucco M. Ontology-Based Semantics Ciocoiu M., Nau D.S. Supporting automated deduction in first-order modal logics Montanari A., Policriti A., Slanina M.
12:40-14:10	LUNCH BREAK
14:10-15:55	SESSION 15: Knowledge Engineering (chair: Richard Fikes) Knowledge Patterns Clark P.E., Thompson J.A., Porter B. From Informal Medical Terminologies to Formal Medical Knowledge Bases Schulz S., Hahn U. A Logic Based Language for Parametric Inheritance Jamil H.M.
15:55-16:15	COFFEE BREAK
16:15-18:00	SESSION 16: Non Monotonic Reasoning 2 (chair: Fangzhen Lin) In search of the right extension Lang J., Marquis P. Ordering explanations and the structural rules for abduction Pino-Perez R., Uzcategui C. Valuation-ranked preferential model Zhaohui Z., Shifu C., Wujia Z.

KR2000/AIPS2000
Joint Technical Program
Saturday, April 15

8:30-9:45	PLENARY SESSION: Invited Talk (supported by IJCAII) (chair: John McCarthy) Bottom-up Knowledge Representation Drew McDermott (Yale University)
9:45-10:00	COFFEE BREAK
10:00-12:00	SESSION 1: Planning and KR 1: Model based planning (chair: Paolo Traverso) Planning as Satisfiability with Expressive Action Languages: Currency, constraints and nondeterminism Giunchiglia E. OBDD-based Universal Planning for Multiple Synchronized Agents in Non-deterministic Domains Jensen, Veloso Satisfiability Algorithms and Finite Quantification Ginsberg M. L., Parkes A. J. The Complexity of Model Aggregation Goldsmith, Sloan
12:00-13:30	LUNCH BREAK
13:30-15:00	SESSION 2: Planning and KR 2: Decision theoretic planning (chair: TBD) Learning Generalized Policies in Planning Using Concept Languages Martin, M; Geffner, H. A New Perspective on Algorithms for Optimizing Policies under Uncertainty Dechter Representations of Decision-theoretic Planning Tasks Koenig, Liu
15:00-15:15	COFFEE BREAK
15:15-17:15	SESSION 3: Planning and KR 3 (chair: TBD) Admissible Heuristics for Optimal Planning Haslum, Geffner Planning with Sensing, Concurrency, and Exogenous Events: Logical framework and implementation Iocchi, L.; Nardi, D.; Rosati, R. Desires and Defaults: A framework for planning with inferred goals Thomason, R. H. Planning with Reduced Operator Sets Haslum, J.
17:15-17:30	An Overview of the AIPS Poster Session Papers