Temporal semantics of compositional task models and problem solving methods

DOI10.1016/S0169-023X(98)00029-9MaRDI QIDQ4224374zbMATH OpenFDO

Authors Jan Treur, Niek J. E. Wijngaards, Mark Willems, Frances M. T. Brazier

Publication date 12 January 1999

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0169-023X(98)00029-9

zbMATH Keywords

compositionaldynamicsknowledge-based systemsproblem solving methodtask modeltemporal semantics

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Operational semantics of task models
• On compositional modelling
• scientific article; zbMATH DE number 1182796
• scientific article; zbMATH DE number 2084409
• Formalising the UML in structured temporal theories

Cited in

(5)

• Dynamics, adaptation and control for mental models: a cognitive architecture
• Compositional reasoning using intervals and time reversal
• On compositional modelling
• Semantic formalization of interactive reasoning functionality
• Operational semantics of task models

This page was built for publication: Temporal semantics of compositional task models and problem solving methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4224374)