Formalizing common sense: an operator-based approach to the Tibbles-Tib problem

DOI10.1007/S11229-007-9199-0zbMATH Open1181.03003OpenAlexW2166748600MaRDI QIDQ948987FDOQ948987

Authors: Ingvar Johansson 

Publication date: 16 October 2008

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-007-9199-0

Recommendations

• Logical formalizations of commonsense reasoning: a survey
• An attempt to formalise a non-trivial benchmark problem in common sense reasoning
• Commonsense axiomatizations for logic programs
• Introduction: Progress in formal commonsense reasoning
• scientific article; zbMATH DE number 935033
• Publication:4207612
• scientific article
• A general approach for determining the validity of commonsense assertions using conditional logics
• Context-based commonsense reasoning in the DALI logic programming language

zbMATH Keywords

formalizationlogical operatorscommon senseidentity problems

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Title not available (Why is that?)

This page was built for publication: Formalizing common sense: an operator-based approach to the Tibbles-Tib problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q948987)