Model-based computing: Developing flexible machine control software
type: Item
instance of: scholarly article
title: Model-based computing: Developing flexible machine control software
zbMATH Open document ID: 0939.68851
DOI: 10.1016/S0004-3702(99)00066-1
published in: Artificial Intelligence
publication date: 2000-06-04T00:00:00Z
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 68T40
zbMATH DE Number: 1454247
zbMATH Keywords: model-based reasoning
zbMATH Keywords: modeling
zbMATH Keywords: constraint programming
zbMATH Keywords: control
zbMATH Keywords: scheduling
author: Markus P. J. Fromherz
author: Vijay Saraswat
author: Daniel G. Bobrow
MaRDI profile type: Publication
cites work: Q4221353
cites work: A Sufficient Condition for Backtrack-Free Search
cites work: Automated and algorithmic debugging. 1st international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings
cites work: Unfolding and fixpoint semantics of concurrent constraint logic programs
cites work: Generalized semantics and abstract interpretation for constraint logic programs
cites work: Computing with continuous change
cites work: Tractable constraints on ordered domains
cites work: Consistency in networks of relations
cites work: Q3911403
cites work: Q4875865
cites work: Truly concurrent constraint programming
cites work: Q3357523
full work available at URL: s0004-3702(99)00066-1
OpenAlex ID: W2055742719
description: scientific article; zbMATH DE number 1454247