Logical Formalization of Commonsense Reasoning
Contents
Coverage and Competency in Formal Theories: A Commonsense Theory of Memory
PDFProbability from Similarity
PDFAbility and Action
PDFGolog+HTNtâ„¢: Adding Time and Intervals to Procedural and Hierarchical Control Knowledge
PDFOn the Qualification Problem and Elaboration Tolerance
PDFReinforcing a Claim in Commonsense Reasoning
PDFSymposium Organization and Contents
PDFClarifying the Use of Structural Models for Commonsense Causal Reasoning
PDFAnnotating and Reasoning about Time and Events
PDFSome Mathematical Structures Underlying Efficient Planning
PDFRevisiting the Problem of Belief Revision with Uncertain Evidence
PDFTowards a Commonsense Estimator for Activity Tracking
PDFLogic Programs with Consistency-Restoring Rules
PDFThe Role of Definitions in Construction and Analysis of Formal Ontologies
PDFA Preliminary Study on Reasoning about Causes
PDFLogical Filtering
PDFIntegrating Belief-Desire-Intention Approaches with POMDPS: The Case of Team-Oriented Programs
PDFA Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak
PDFSensor Data Assimilation as Database Transactions
PDF