AAAI Spring Symposium 2007 - Logical Formalizations of Commonsense Reasoning: Stanford University, CA, USA

• Michael L. Anderson, Matthew D. Schmill, Tim Oates, Donald Perlis, Darsana P. Josyula, Dean Wright, Shomir Wilson:
  Toward Domain-Neutral Human-Level Metacognition. 1-6
  
• Jorge A. Baier, Sheila A. McIlraith:
  On Domain-Independent Heuristics for Planning with Qualitative Preferences. 7-12
  
• Marcello Balduccini:
  Learning Action Descriptions with A-Prolog: Action Language C. 13-18
  
• Alexander Bochman:
  On Default Representation of Defeasible Inference and Specificity. 19-24
  
• Patrick Caldon, Eric Martin:
  Learning a Plan in the Limit. 25-34
  
• Sandeep Chintabathina, Michael Gelfond, Richard Watson:
  Defeasible Laws, Parallel Actions, and Reasoning about Resources. 35-40
  
• Stefania Costantini, Arianna Tocchio, Pierangelo Dell'Acqua:
  Expressing Preferences Declaratively in Logic-based Agent Languages. 41-46
  
• Alfredo Gabaldon:
  Resolving Non-Determinism in Programs for Complex Task Planning with Search Control. 47-52
  
• Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance:
  A Logical Theory of Coordination and Joint Ability. 53-58
  
• Patrick Hayes:
  Context Mereology. 59-64
  
• Aaron Hunter, James P. Delgrande:
  An Explicit Model of Belief Change for Cryptographic Protocol Verification. 65-70
  
• Benjamin Johnston, Mary-Anne Williams:
  A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems. 71-76
  
• Michael Kandefer, Stuart C. Shapiro:
  Knowledge Acquisition by an Intelligent Acting Agent. 77-82
  
• Vladimir Lifschitz, Wanwan Ren:
  Variables in Action Descriptions: Merging C+ with ADL. 83-88
  
• Fangzhen Lin:
  Finitely-Verifiable Classes of Sentences. 89-94
  
• Martin Magnusson, Patrick Doherty:
  Deductive Planning with Temporal Constraints. 95-100
  
• David Mallenby:
  Grounding a Geographic Ontology on Geographic Data. 101-106
  
• Loizos Michael:
  On the Learnability of Causal Domains: Inferring Temporal Reality from Appearances. 107-113
  
• Fabrizio Morbini, Lenhart K. Schubert:
  Towards Realistic Autocognitive Inference. 114-118
  
• Leora Morgenstern:
  Grounding Stanislavskian Scene Analysis in a Formal Theory of Action. 119-125
  
• Erik T. Mueller:
  Discrete Event Calculus with Branching Time. 126-131
  
• Rutu Mulkar, Jerry R. Hobbs, Eduard H. Hovy:
  Learning from Reading Syntactically Complex Biology Texts. 132-137
  
• Deepak Ramachandran:
  Using Common Sense for Decision Making in an Adventure Game. 138-143
  
• Paulo E. Santos, Pedro Cabalar:
  Holes, Knots and Shapes: A Spatial Ontology of a Puzzle. 144-149
  
• Dafna Shahaf, Eyal Amir:
  Towards a Theory of AI Completeness. 150-155
  
• Richmond H. Thomason:
  Conditionals and Action Logics. 156-161
  
• Anbu Yue, Zuoquan Lin:
  A Coherent and Paraconsistent Variant of the Default Logic. 162-
  

Last update Thu May 17 01:38:41 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page