|
|
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
|
|
Web site hosted by