Search Sciweavers | Sciweavers

1316 search results - page 11 / 264

» Intelligent Agents: Issues and Logics

click to vote

ARGMAS
2008
Springer

135views Intelligent Agents» more ARGMAS 2008»

Command Dialogues

13 years 9 months ago

Download www.csc.liv.ac.uk

Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...

Katie Atkinson, Roderic A. Girle, Peter McBurney, ...

claim paper

Read More »

click to vote

PRIMA
2004
Springer

88views Intelligent Agents» more PRIMA 2004»

A Combined System for Update Logic and Belief Revision

14 years 22 days ago

Download www.illc.uva.nl

Guillaume Aucher

claim paper

Read More »

click to vote

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

13 years 11 months ago

Download centria.di.fct.unl.pt

João Alexandre Leite, José Jú...

claim paper

Read More »

click to vote

ATAL
2011
Springer

186views Intelligent Agents» more ATAL 2011»

Agents that speak: modelling communicative plans and information sources in a logic of announcements

12 years 7 months ago

Download www.ifaamas.org

Philippe Balbiani, Nadine Guiraud, Andreas Herzig,...

claim paper

Read More »

click to vote

AAAI
2008

125views Intelligent Agents» more AAAI 2008»

An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers