Sciweavers

    725 search results - page 5 / 145
    » Layered Specification of Intelligent Agents
    Sort
    View
    129
    Voted
    IEAAIE
    2011
    Springer
    201views Artificial Intelligence» more  IEAAIE 2011»
    Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions
    14 years 7 months ago
    Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions
    Download  www.few.vu.nl
    Jan Treur
    claim paper
    Read More »
    76
    Voted
    ICAART
    2009
    INSTICC
    57views Intelligent Agents» more  ICAART 2009»
    Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care
    15 years 1 months ago
    Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care
    Download  cms.brookes.ac.uk
    Iñaki Martínez-Sarriegui, Hong Zhu, ...
    claim paper
    Read More »
    83
    Voted
    ATAL
    2009
    Springer
    92views Intelligent Agents» more  ATAL 2009»
    Verifying realizability and reachability in recursive interaction protocol specifications
    15 years 10 months ago
    Verifying realizability and reachability in recursive interaction protocol specifications
    Download  www.aamas-conference.org
    Hywel R. Dunn-Davies, Jim Cunningham
    claim paper
    Read More »
    104
    Voted
    PROMAS
    2007
    Springer
    137views Intelligent Agents» more  PROMAS 2007»
    Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
    15 years 9 months ago
    Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
    Download  www.uni-koblenz.de
    Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
    claim paper
    Read More »
    100
    Voted
    AOSE
    2003
    Springer
    109views Intelligent Agents» more  AOSE 2003»
    Agent-Oriented Modeling by Interleaving Formal and Informal Specification
    15 years 9 months ago
    Agent-Oriented Modeling by Interleaving Formal and Informal Specification
    Download  dit.unitn.it
    Anna Perini, Marco Pistore, Marco Roveri, Angelo S...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.