Model-based computing: Developing flexible machine control software

DOI10.1016/S0004-3702(99)00066-1zbMath0939.68851OpenAlexW2055742719MaRDI QIDQ1978447

Vijay Saraswat, Daniel G. Bobrow, Markus P. J. Fromherz

Publication date: 4 June 2000

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00066-1

zbMATH Keywords

controlmodelingschedulingconstraint programmingmodel-based reasoning

Mathematics Subject Classification ID

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

Cites Work

• Consistency in networks of relations
• Automated and algorithmic debugging. 1st international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings
• Computing with continuous change
• Truly concurrent constraint programming
• Generalized semantics and abstract interpretation for constraint logic programs
• A Sufficient Condition for Backtrack-Free Search
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Tractable constraints on ordered domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model-based computing: Developing flexible machine control software