Skip to Content
Wiki Logo
  • Brevetti
  • Corsi
  • Eventi
  • Presentazioni
  • Prodotti
  • Progetti
  • Pubblicazioni
  • Riviste
  • Tesi
  • Tirocini
    • XWikiGuest
      SSO login

    • Home
    • Indice dei Documenti
    • Rubrica degli Utenti
    • Application Index

    • Global
    • Lingue
      • Lingua predefinita
    • What's New
    • Indice dei Wiki
  • English
  • Italiano
  • Log-in
  1. Pubblicazione
  2. Model Checking AgentSpeak

Model Checking AgentSpeak

   page       BibTeX_logo.png       attach   
copertina della pubblicazione
pub-cover.jpg

Pubblicazioni
ricerca • tutte
Model Checking AgentSpeak
— stato
pubblicato
— tipo
articolo in atti
chi
— autori
Rafael H. Bordini  •  Michael Fisher  •  Carmen Pardavila  •  Michael J. Wooldridge
— curatori
Jeffrey S. Rosenschein  •  Michael J. Wooldridge  •  Tuomas Sandholm  •  Makoto Yokoo
dove e quando
— data di pubblicazione
11-14 July 2003
— volume
2nd International Joint Conference on Autonomous Agents and Multi-Agents Systems (AAMAS 2003)
— pagine
409–416
— numero di pagine
8
— editore
ACM Press
allineamento BibTeX
— indirizzo
New York, NY, USA
— luogo
Melbourne, Australia
URL
URL
— DOI
10.1145/860575.860641
ISBN & ISSN
— ISBN
1-58113-683-8
APICe
— evento origine
AAMAS 2003
— pubblicazione contenitore
The Second International Joint Conference on Autonomous Agents & Multiagent Systems
Partita IVA: 01131710376 — Copyright © 2008–2026 APICe@DISI – PRIVACY
XWiki 17.10.13