scientific article; zbMATH DE number 194217

MaRDI QIDQ4041013zbMATH OpenFDO

Authors N. A. Alëshina, A. M. Anisov, P. I. Bystrov, I. A. Gerasimova, V. S. Mes'Kov, Nikolay N. Nepeivoda, V. A. Smirnov, V. N. Stebletsova, Vladimir Ivanovich Shalak

Publication date 5 June 1993

zbMATH Keywords

natural deductiontemporal logicprobabilistic logicssequential calculuspredicate calculuslogic of programsautoepistemic logicspartial and total correctnesslogical inference with bounded resources

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Knowledge representation (68T30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modal logic (including the logic of norms) (03B45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 578242
• Logic for computer scientists
• scientific article; zbMATH DE number 1446599
• scientific article; zbMATH DE number 4104410
• scientific article; zbMATH DE number 53085

Cited in

(8)

• scientific article; zbMATH DE number 4057055 (Why is no real title available?)
• scientific article; zbMATH DE number 51274 (Why is no real title available?)
• Formal methods in computer technologies
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• A method for the synthesis of deducibility conditions for Horn and some other formulas
• scientific article; zbMATH DE number 193735 (Why is no real title available?)
• scientific article; zbMATH DE number 1446599 (Why is no real title available?)
• Logic for computer scientists

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 Q4041013)