Search Sciweavers | Sciweavers

2038 search results - page 33 / 408

» Probabilistic Agent Programs

Voted

ATAL
2008
Springer

141views Intelligent Agents» more ATAL 2008»

Reasoning about agent execution strategies

14 years 11 months ago

Download www.aamas-conference.org

We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...

Natasha Alechina, Brian Logan, Mehdi Dastani, John...

claim paper

Read More »

click to vote

AGENTS
2000
Springer

129views Security Privacy» more AGENTS 2000»

Air traffic control and alert agent

15 years 1 months ago

Download www.cs.siu.edu

This paper presents an agent program that monitors and interacts with the dynamic situation of flights around an airport tower as well as interacts with a human operator that can ...

Henry Hexmoor, Tim Heng

claim paper

Read More »

click to vote

JAIR
2007

117views more JAIR 2007»

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language

14 years 9 months ago

Download www.jair.org

Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...

Renata Vieira, Álvaro F. Moreira, Michael W...

claim paper

Read More »

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 1 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »