Search Sciweavers | Sciweavers

1073 search results - page 4 / 215

» Reasoning about Continuous Processes

116

Voted

ICMAS
2000

115views Intelligent Agents» more ICMAS 2000»

Reasoning About Others: Representing and Processing Infinite Belief Hierarchies

15 years 4 months ago

Download www.cs.cmu.edu

In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...

Sviatoslav Brainov, Tuomas Sandholm

claim paper

Read More »

click to vote

AOSE
2007
Springer

113views Intelligent Agents» more AOSE 2007»

Reasoning About Risk in Agent's Deliberation Process: A Jadex Implementation

15 years 9 months ago

Download eprints.biblio.unitn.it

Yudistira Asnar, Paolo Giorgini, Nicola Zannone

claim paper

Read More »

click to vote

TACAS
2007
Springer

67views Algorithms» more TACAS 2007»

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes

15 years 9 months ago

Download www.liafa.jussieu.fr

Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

claim paper

Read More »

Voted

ENTCS
2007

97views more ENTCS 2007»

A Process Algebra for Reasoning About Quantum Security

15 years 2 months ago

Download www.mscs.dal.ca

Pedro Adão, Paulo Mateus

claim paper

Read More »

click to vote

AAAI
1996

124views Intelligent Agents» more AAAI 1996»

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers