scientific article; zbMATH DE number 2222698
From MaRDI portal
Publication:5701517
zbMath1090.68091MaRDI QIDQ5701517
Publication date: 3 November 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Agent strands in the action language \(n\mathcal C +\) ⋮ A Temporal Logic of Normative Systems ⋮ Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB ⋮ An executable specification of a formal argumentation protocol
Uses Software
This page was built for publication:
