scientific article; zbMATH DE number 784355

zbMATH Open0827.68075MaRDI QIDQ4843399FDOQ4843399

Authors:

Publication date: 13 August 1995

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 51274
• scientific article; zbMATH DE number 1262881
• scientific article; zbMATH DE number 44484
• scientific article; zbMATH DE number 193689
• scientific article; zbMATH DE number 1482577

zbMATH Keywords

Conferenceartificial intelligenceFormal specificationWorkshopVienna (Austria)reasoning systemsECAIComplex reasoning systems

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited In (2)

• The development, validation and implementation of knowledge-based systems
• Temporal theories of reasoning

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