International Workshop on Common Sense Reasoning

Conference year 1996

c-csrw-96-Baral

Chitta Baral, Alfredo Gabaldon, and Alessandro Provetti:
Formalizing narratives using nested circumscription.

c-csrw-96-Coradeschi

Silvia Coradeschi:
Reasoning with misperceptions in the features and fluents framework.

c-csrw-96-Giunchiglia

Enrico Giunchiglia:
Solutions to the frame problem.

c-csrw-96-Huang

Zhisheng Huang and John Bell:
Safety logics I: absolute safety.

c-csrw-96-Kartha

Neelakantan Kartha:
On the range of applicability of Baker's approach to the frame problem.

c-csrw-96-Kelley

Todd Kelley:
Reasoning about physical systems with the situation calculus.

c-csrw-96-Lifschitz

Vladimir Lifschitz:
Two components of an action language.

c-csrw-96-Lin

Fangzhen Lin:
Abstract operators, indefinite effects and the magic predicate.

c-csrw-96-Mendez

Gisela Mendez, Jorge Lobo, Jimena Llopis, and Chitta Baral:
Temporal logic and reasoning about actions.

c-csrw-96-Miller

Rob Miller:
A case study in reasoning about actions and continuous change.

c-csrw-96-Provetti

Alessandro Provetti:
Formalizing causal reasoning in law with an action-based language.

c-csrw-96-Reiter

Ray Reiter:
Cognitive Robotics.

c-csrw-96-Shanahan

Murray Shanahan:
Robotics and the commonsense informatic situation.

c-csrw-96-Soutchanski

Michail Soutchanski:
Transition system semantics for deterministic situation calculus.

c-csrw-96-Turner

Hudson Turner:
Representing actions in default logic: a situation calculus approach.

c-csrw-96-Zhang

Yan Zhang:
Compiling causality into action theories.