scientific article; zbMATH DE number 1950647
From MaRDI portal
Publication:4413371
zbMath1018.68529MaRDI QIDQ4413371
Alexander Artikis, Jeremy Pitt, Marek Sergot
Publication date: 17 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2585/25850001.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Artificial intelligence (68T99) Theory of software (68N99)
Related Items (4)
Agent strands in the action language \(n\mathcal C +\) ⋮ Loop formulas for circumscription ⋮ Multi-modal CTL: completeness, complexity, and an application ⋮ Representing the Zoo World and the Traffic World in the language of the Causal Calculator
This page was built for publication:
