AAAI Spring Symposium Series, March 26-28 2007, Stanford University, California

8th International Symposium on Logical Formalizations of Commonsense Reasoning

A special event in honor of John McCarthy

All presentations are in the History Corner (Building 200) of the Main Quad, Stanford University Campus.

Monday, March 26

9:00 am - 10:30 am Paper presentations (session chair Rob Miller)

  On Domain-Independent Heuristics for Planning with Qualitative Preferences [pdf] [follow-up notes]
Jorge Baier and Sheila McIlraith, University of Toronto, Canada

Learning a Plan in the Limit [pdf] [follow-up notes]
Patrick Caldon and Eric Martin

Defeasible Laws, Parallel Actions, and Reasoning about Resources [pdf] [follow-up notes]
Sandeep Chintabathina, Michael Gelfond and Richard Watson, Texas Tech University

10:30 am - 11:00 am Break

11:00 am - 12:30 pm Paper presentations (session chair Sheila McIlraith)

  Resolving Non-Determinism in Programs for Complex Task Planning with Search [pdf] [follow-up notes]
Alfredo Gabaldon, UNSW, Sydney, Australia

Deductive Planning with Temporal Constraints [pdf] [follow-up notes]
Martin Magnusson and Patrick Doherty, Linkoping University, Sweden

Variables in Action Descriptions: Merging C+ with ADL [pdf] [follow-up notes]
Vladimir Lifschitz and Wanwan Ren, University of Texas, Austin

12:30 pm - 2:00 pm Lunch

2:00 pm - 3:30 pm Paper presentations (session chair Michael Gelfond)

  Learning Action Descriptions with A-Prolog: Action Language C [pdf] [follow-up notes]
Marcello Balduccini, Texas Tech University

On the Learnability of Causal Domains: Inferring Temporal Reality from Appearances [pdf] [follow-up notes]
Loizos Michael, Harvard University, USA

Learning from Reading Syntactically Complex Biology Texts [pdf] [follow-up notes]
Rutu Mulkar, Jerry Hobbs and Eduard Hovy, Information Sciences Institute, University of Southern California

3:30 pm - 4:00 pm Break

4:00 pm - 5:30 pm Paper presentations (session chair Mary-Anne Williams)

  A Coherent and Paraconsistent Variant of the Default Logic [pdf] [follow-up notes]
Anbu Yue and Zuoquan Lin, Peking University, Beijing, China

On Default Representation of Defeasible Inference and Specificity [pdf] [follow-up notes]
Alexander Bochman, Holon Institute of Technology, Israel

Conditionals and Action Logics [pdf] [follow-up notes]
Richmond H. Thomason, University of Michigan

6:00 pm - 7:00 pm Reception

Tuesday, March 27

9:00 am - 10:30 am Paper presentations (session chair Loizos Michael)

  Decidable Reasoning in a Modified Situation Calculus [pdf] [follow-up notes]
Yilan Gu, University of Toronto and Mikhail Soutchanski, Ryerson University, Canada

Finitely-Verifiable Classes of Sentences [pdf] [follow-up notes]
Fangzhen Lin, Hong Kong University

Discrete Event Calculus with Branching Time [pdf] [follow-up notes]
Erik Mueller, IBM Thomas J. Watson Research Center

10:30 am - 11:00 am Break

11:00 am - 12:30 pm Paper presentations (session chair Eyal Amir)

  Towards Realistic Autocognitive Inference [pdf] [follow-up notes]
Fabrizio Morbini and Lenhart Schubert, University of Rochester

A Logical Theory of Coordination and Joint Ability [pdf] [follow-up notes]
Hojjat Ghaderi, Hector Levesque and Yves Lesperance, Toronto, Canada

Grounding Stanislavskian Scene Analysis in a Formal Theory of Action [pdf] [follow-up notes]
Leora Morgenstern, IBM T.J. Watson Research Centre

12:30 pm - 2:00 pm Lunch

2:00 pm - 3:30 pm Paper presentations (session chair Jim Delgrande)

  Grounding a Geographic Ontology on Geographic Data [pdf] [follow-up notes]
David Mallenby, University of Leeds, UK

Holes, Knots and Shapes: A Spatial Ontology of a Puzzle [pdf] [follow-up notes]
Paulo Santos, Centro Universiario da FEI, Sao Paulo, and Pedro Cabalar, Coruna University, Spain

Toward Domain-Neutral Human-Level Metacognition [pdf] [follow-up notes]
Michael Anderson, Waiyian Chong, Darsana Josyula, Tim Oates, Don Perlis, Matt Schmill and Dean Wright

3:30 pm - 4:00 pm Break

4:00 pm - 5:30 pm Paper presentation and panel discussion (session chair Vladimir Lifschitz)

  Towards a Theory of AI Completeness [pdf] [follow-up notes]
Dafna Shahaf and Eyal Amir, University of Illinois

Panel: John McCarthy's Contributions to the Study of Common Sense
panel leaders: Hector Levesque, Pat Hayes and Rich Thomason

6:00 pm - 7:30 pm Plenary Session

  Leora Morgenstern will speak on behalf of Commonsense'07

Wednesday, March 28

9:00 am - 10:30 am Paper presentations (session chair Len Schubert)

  An Explicit Model of Belief Change for Cryptographic Protocol Verification [pdf] [follow-up notes]
Aaron Hunter and James Delgrande, Simon Fraser University, Burnaby, Canada

A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems [pdf] [follow-up notes]
Benjamin Johnston and Mary-Anne Williams, University of Technology, Sydney, Australia

Context Mereology [pdf] [follow-up notes]
Pat Hayes, Florida IHMC

10:30 am - 11:00 am Break

11:00 am - 12:30 pm Paper presentations (session chair Alfredo Gabaldon)

  Expressing Preferences Declaratively in Logic-based Agent Languages [pdf] [follow-up notes]
Stefania Costantini and Arianna Tocchio, L'Aquila, Italy and Pierangelo Dell'Acqua, Linkoping, Sweden

Knowledge Acquisition by an Intelligent Acting Agent [pdf] [follow-up notes]
Michael Kandefer and Stuart Shapiro, University at Buffalo, The State University of New York

Using Common Sense for Decision Making in an Adventure Game [pdf] [follow-up notes]
Deepak Ramachandran, University of Illinois at Urbana-Champaign

For co-authors: how to edit the follow-up notes

UCL logo   Web site hosted by
  University College London