Search Sciweavers | Sciweavers

725 search results - page 5 / 145

» Layered Specification of Intelligent Agents

click to vote

IEAAIE
2011
Springer

201views Artificial Intelligence» more IEAAIE 2011»

Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions

14 years 1 months ago

Download www.few.vu.nl

Jan Treur

claim paper

Read More »

click to vote

ICAART
2009
INSTICC

57views Intelligent Agents» more ICAART 2009»

Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care

14 years 7 months ago

Download cms.brookes.ac.uk

Iñaki Martínez-Sarriegui, Hong Zhu, ...

claim paper

Read More »

click to vote

ATAL
2009
Springer

92views Intelligent Agents» more ATAL 2009»

Verifying realizability and reachability in recursive interaction protocol specifications

15 years 4 months ago

Download www.aamas-conference.org

Hywel R. Dunn-Davies, Jim Cunningham

claim paper

Read More »

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

15 years 3 months ago

Download www.uni-koblenz.de

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

click to vote

AOSE
2003
Springer

109views Intelligent Agents» more AOSE 2003»

Agent-Oriented Modeling by Interleaving Formal and Informal Specification

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers