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