scientific article; zbMATH DE number 2208071

MaRDI QIDQ5693582zbMATH OpenFDO

Authors Maricarmen Martinez

Publication date 26 September 2005

zbMATH Keywords

Gentzen rules

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• An approach to human-level commonsense reasoning
• A probabilistic commonsense reasoner
• Introduction: Progress in formal commonsense reasoning
• Logical formalizations of commonsense reasoning: a survey
• An attempt to formalise a non-trivial benchmark problem in common sense reasoning
• Context-based commonsense reasoning in the DALI logic programming language

Cited in

(3)

• Common-sense reasoning as proto-scientific agent activity
• scientific article; zbMATH DE number 568601 (Why is no real title available?)
• AI*IA 2005: Advances in Artificial Intelligence

This page was built for publication:

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