| Day 1 – Wednesday June 2, 2004 | ||
| 8:45 - 9:00 | Opening Ceremonies | |
| 9:00 - 10:00 | Invited Talk: Peter Patel-Schneider - What is OWL (and why should I care) | |
| 10:00 - 10:30 | Break | |
| 10:30 - 12:30 |
Conditional
|
Spatial Reasoning |
| 12:30 - 14:00 | Lunch | |
| 14:00 - 16:00 | Invited
Talk: John McCarthy - Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription
|
Philosophical
Philosophical and psychological issues What's in a model? Epistemological analysis of Logic Programming Marc Denecker Ontological
Theory for Ontology Engineering Intransitivity
and Vagueness An experimental
analysis of possibilistic default reasoning |
| 16:00 - 16:30 | Break | |
| 16:30 - 18:00 | Description
Logics
Combining
Answer Set Programming with Description Logics for the Semantic Web Reducing
SHIQ- Description Logic to Disjunctive Datalog Programs Optimization
Techniques for Retrieving Resources Described in OWL/RDF Documents: First
Results |
Argumentation
Reaching
agreement through argumentation: A possibilistic approach Characterization
of semantics for argument systems On the use
of an ATMS for handling conflicting desires
|
| 19:00 - 20:00 | KR Reception | |
| Day 2 – Thursday June 3, 2004 | ||
| 8:30 - 10:00 | Compact
Representations of Preference
Expressive
power and succinctness of propositional languages for preference representation
Complex Preferences
for Answer Set Optimization |
Agents
A First-Order
Theory of Communicating First-Order Formulas Observation
Expectation Reasoning in Agent Systems Regulative
and Constitutive Norms in Normative Multiagent Systems |
| 10:00 - 10:30 | Break | |
| 10:30 - 12:30 | Ontology
Social roles
and their descriptions Ontological
Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
|
Belief
revision and update
Logical foundations
of negotiation: strategies and preferences Distance
Semantics for Relevance-Sensitive Belief Revision Explanations
as an unifying tool for knowledge dynamics Updating
of a possibilistic knowledge base by crisp or fuzzy transition rules |
| 12:30 - 14:00 | Lunch | |
| 14:00 - 16:00 | Invited
Talk: William Woods - Meaning and Links: A Semantic Odysse- A split-combination
method for merging inconsistent knowledge On Merging
Strategy-Proofness |
Complexity
Analysis I
Satisfiability
for propositional contexts Complexity
of Model Checking and Bounded Predicate Arities for Non-ground Answer
Set Programming Automated
reformulation of specifications by safe delay of constraints Towards
a Structured Analysis of Approximate Problem Solving: a Case Study in
Classification |
| 16:00 - 16:30 | Break | |
| 16:30 18:00 | Logic
Programming Causal
Logics of Logic Programming Condensed
Representations for Inductive Logic Programming On Eliminating
Disjunctions in Stable Logic Programming |
Query
Processing for Ontologies
Approximative Query Techniques for Agents using Heterogeneous Ontologies Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas What to Ask
to a Peer: Ontology-based Query Reformulation Qualitative
Probabistic Matching with Hierarchical Descriptions |
| 19:00 | Banquet Dinner | |
| Day 3 - Friday June 4, 2004 | ||
| 9:00 - 10:00 | Invited Talk: Itzhak Gilboa - Evidence and Belief | |
| 10:00 - 10:30 | Break | |
| 10:30 - 12:00 | Real
Knowledge Representation Systems A
Question-Answering System for AP Chemistry: Assessing KR&R Technologies
GlossOnt:
A Concept-focused Ontology Building Tool Towards a
Quantitative, Platform-Independent Analysis of Knowledge Systems |
Complexity Analysis II
Improving
the Forward Chaining Algorithm for Conceptual Graphs Rules Inferential
Complexity Control for Model-Based Abduction
|
| 12:00 - 13:30 | Lunch | |
| 13:30 - 16:00 | Reasoning
about Action
Situations,
si! Situation terms, no! C&L Intention
Revisited Discovering
State Invariants Inductive
Situation Calculus Reasoning
about Triggered Actions in AnsProlog and its Application to Molecular
interactions in cells |
Knowledge
Representation Logics
A Logic of
Arbitrary and Indefinite Objects Majority
Logic Partial Implication
Semantics for Desirable Propositions A Logic of
Limited Belief for Reasoning with Disjunctive Informatiion |
| Day 4 - Saturday June 5, 2004 | ||
| 8:50 | Opening | |
| 9:00 - 10:00 | Invited Talk: Patrick Doherty : Advanced Research with Autonomous Unmanned Aerial Vehicles | |
| 10:00 - 10:25 | Break | |
| 10:25 - 12:05 |
Cognitive Robotics Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing Ronald P. Petrick, Fahiem Bacchus Knowledge
of Other Agents and Communicative Actions in the Fluent Calculus Precondition
Control and the Progression Algorithm:A Situation Calculus Approach A preference-based
interpretation of other agents' actions |
|
| 12:05 - 13:30 | Lunch | |
| 13:30 - 15:10 | Knowledge in Planning From Hybrid
Systems to Universal Plans via Domain Compilation Planning
Graphs and Knowledge Compilation Domain-Specific
Preferences for Causal Reasoning and Planning Learning
Probabilistic Relational Planning Rules |
|
| 15:10 - 15:35 | Coffee Break | |
| 15:35 - 17:15 | Search in Planning and Scheduling An Improved
Integer Local Search for Complex Scheduling Problems Breadth-First
Heuristic Search Phase transitions
in classical planning: an experimental study A Polynomial
Time Algorithm for Constructing k-Maintainable Policies |
|
| 17:15 - 17:30 | Closing Remarks | |
| 18:00 - 20:00 | Joint ICAPS/KR FESTIVAL and DOCTORIAL CONSORTIUMS - Free with ICAPS or KR registration! | |