Logical Formalizations of Commonsense Reasoning
Contents
A Logical Theory of Coordination and Joint Ability
PDFKnowledge Acquisition by an Intelligent Acting Agent
PDFOn the Occasion of John McCarthy’s 80th Birthday
PDFUsing Common Sense for Decision Making in an Adventure Game
PDFFinitely-Verifiable Classes of Sentences
PDFDefeasible Laws, Parallel Actions, and Reasoning about Resources
PDFContext Mereology
PDFExpressing Preferences Declaratively in Logic-based Agent Languages
PDFVariables in Action Descriptions: Merging C+ with ADL
PDFA Coherent and Paraconsistent Variant of the Default Logic
PDFToward Domain-Neutral Human-Level Metacognition
PDFLearning a Plan in the Limit
PDFConditionals and Action Logics
PDFLearning from Reading Syntactically Complex Biology Texts
PDFResolving Non-Determinism in Programs for Complex Task Planning with Search Control
PDFGrounding a Geographic Ontology on Geographic Data
PDFPreface
PDFOn Default Representation of Defeasible Inference and Specificity
PDFA Generic Framework for Approximate Simulation in Commonsense Reasoning Systems
PDFGrounding Stanislavskian Scene Analysis in a Formal Theory of Action
PDFDiscrete Event Calculus with Branching Time
PDFTowards a Theory of AI Completeness
PDFLearning Action Descriptions with A-Prolog: Action Language C
PDFOn the Learnability of Causal Domains: Inferring Temporal Reality from Appearances
PDFDeductive Planning with Temporal Constraints
PDFHoles, Knots and Shapes: A Spatial Ontology of a Puzzle
PDFAn Explicit Model of Belief Change for Cryptographic Protocol Verification
PDFTowards Realistic Autocognitive Inference
PDFOn Domain-Independent Heuristics for Planning with Qualitative Preferences
PDF