A formal approach to agent design: An overview of constraint-based agents

DOI10.1023/A:1025697810124zbMath1057.68082MaRDI QIDQ1424759

Ying Zhang, Alan K. Mackworth

Publication date: 15 March 2004

Published in: Constraints (Search for Journal in Brave)

zbMATH Keywords

automataartificial intelligenceformal specificationsystem verificationagent designconstraint-based requirementsrobot architectures

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) General topics in artificial intelligence (68T01)

This page was built for publication: A formal approach to agent design: An overview of constraint-based agents