scientific article; zbMATH DE number 895659

MaRDI QIDQ4883539zbMATH OpenFDO

Authors

Publication date 2 July 1996

zbMATH Keywords

knowledge baseextended finite state machinesemantic nets\(Z\)-notation

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Towards a formal representation of interactive systems
• Semantic formalization of interactive reasoning functionality
• A formal framework for interactive agents
• scientific article; zbMATH DE number 1324642
• scientific article; zbMATH DE number 3936503
• scientific article; zbMATH DE number 1487497
• scientific article; zbMATH DE number 3888943

Cited in

(5)

• scientific article; zbMATH DE number 4133541 (Why is no real title available?)
• Argumentation in Multi-Agent Systems
• scientific article; zbMATH DE number 1746565 (Why is no real title available?)
• scientific article; zbMATH DE number 3888943 (Why is no real title available?)
• Using dialog-controlled rule systems in a maintenance module for knowledge bases

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