scientific article; zbMATH DE number 1192720

MaRDI QIDQ3841352zbMATH OpenFDO

Authors Krassimir Atanassov

Publication date 20 August 1998

zbMATH Keywords

automated theorem provingexpert systemsknowledge representationPetri netsreasoning

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Generalized nets as tools for modelling in the area of the artificial intelligence
• Generalised nets and intelligent systems
• scientific article; zbMATH DE number 4121479
• scientific article; zbMATH DE number 2061792
• Generalized Nets

Cited in

(7)

• Generalized nets as tools for modelling in the area of the artificial intelligence
• Generalized net model of a new type of expert systems
• scientific article; zbMATH DE number 2061792 (Why is no real title available?)
• Generalized Nets as a Tool for the Modelling of Data Mining Processes
• scientific article; zbMATH DE number 2165785 (Why is no real title available?)
• scientific article; zbMATH DE number 4121479 (Why is no real title available?)
• Generalised nets and intelligent systems

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