scientific article; zbMATH DE number 895659

zbMATH Open0852.68082MaRDI QIDQ4883539FDOQ4883539

Authors:

Publication date: 2 July 1996

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

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

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)

Cited In (5)

• Argumentation in Multi-Agent Systems
• Title not available (Why is that?)
• Using dialog-controlled rule systems in a maintenance module for knowledge bases
• Title not available (Why is that?)
• Title not available (Why is that?)

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)