Logical Formalizations of Commonsense Reasoning

Contents

• A Logical Theory of Coordination and Joint Ability

  Hojjat Ghaderi, Hector Levesque, Yves Lesperance

  PDF

• Knowledge Acquisition by an Intelligent Acting Agent

  Michael Kandefer, Stuart C. Shapiro

  PDF

• On the Occasion of John McCarthy’s 80th Birthday

  Patrick Hayes, Len Schubert, Johan van Benthem, Yoav Shoham, Hector Levesque, Stuart Shapiro, fangzhen Lin, Erik Mueller, Leona Fass, Aaron Sloman, Danny Bobrow, Fiora Pirri, Rob Miller, Aarati Martino, Ruzena Bajcsy, Leora Morgenstern, Eyal Amir, and Mary-Anne Williams

  PDF

• Using Common Sense for Decision Making in an Adventure Game

  Deepak Ramachandran

  PDF

• Finitely-Verifiable Classes of Sentences

  Fangzhen Lin

  PDF

• Defeasible Laws, Parallel Actions, and Reasoning about Resources

  Sandeep Chintabathina, Michael Gelfond, and Richard Watson

  PDF

• Context Mereology

  Patrick Hayes

  PDF

• Expressing Preferences Declaratively in Logic-based Agent Languages

  Stefania Costantini, Pierangelo Dell'Acqua, Arianna Tocchio

  PDF

• Variables in Action Descriptions: Merging C+ with ADL

  Vladimir Lifschitz, Wanwan Ren

  PDF

• A Coherent and Paraconsistent Variant of the Default Logic

  Anbu Yue, Zuoquan Lin

  PDF

• Toward Domain-Neutral Human-Level Metacognition

  Michael L. Anderson, Matt Schmill, Tim Oates, Don Perlis, Darsana Josyula, Dean Wright, Shomir Wilson

  PDF

• Learning a Plan in the Limit

  Patrick Caldon, Eric Martin

  PDF

• Conditionals and Action Logics

  Richmond H. Thomason

  PDF

• Learning from Reading Syntactically Complex Biology Texts

  Rutu Mulkar, Jerry R. Hobbs, Eduard Hovy

  PDF

• Resolving Non-Determinism in Programs for Complex Task Planning with Search Control

  Alfredo Gabaldon

  PDF

• Grounding a Geographic Ontology on Geographic Data

  David Mallenby

  PDF

• Preface

  Eyal Amir, Vladimir Lifschitz, and Rob Miller

  PDF

• On Default Representation of Defeasible Inference and Specificity

  Alexander Bochman

  PDF

• A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems

  Benjamin Johnston, Mary-Anne Williams

  PDF

• Grounding Stanislavskian Scene Analysis in a Formal Theory of Action

  Leora Morgenstern

  PDF

• Discrete Event Calculus with Branching Time

  Erik T. Mueller

  PDF

• Towards a Theory of AI Completeness

  Dafna Shahaf, Eyal Amir

  PDF

• Learning Action Descriptions with A-Prolog: Action Language C

  Marcello Balduccini

  PDF

• On the Learnability of Causal Domains: Inferring Temporal Reality from Appearances

  Loizos Michael

  PDF

• Deductive Planning with Temporal Constraints

  Martin Magnusson, Patrick Doherty

  PDF

• Holes, Knots and Shapes: A Spatial Ontology of a Puzzle

  Paulo E. Santos, Pedro Cabalar

  PDF

• An Explicit Model of Belief Change for Cryptographic Protocol Verification

  Aaron Hunter, James P. Delgrande

  PDF

• Towards Realistic Autocognitive Inference

  Fabrizio Morbini, Lenhart Schubert

  PDF

• On Domain-Independent Heuristics for Planning with Qualitative Preferences

  Jorge A. Baier, Sheila A. McIlraith

  PDF