scientific article; zbMATH DE number 1884362

zbMath1007.03015MaRDI QIDQ4799264

Alberto Martelli, Camilla B. Schwind, Laura Giordano

Publication date: 18 March 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2175/21750237.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

productreasoning about actionsmultiple agentsnetwork of sequential agentsDynamic Linear Time Temporal Logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44)

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: