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