Sciweavers

158 search results - page 1 / 32

» Model Checking for PRS-Like Agents

19

AGENTCL
2003
Springer

222views Intelligent Agents» more AGENTCL 2003»

Model Checking for ACL Compliance Verification

13 years 8 months ago

Model Checking for ACL Compliance Verification

Download www.csc.liv.ac.uk

Marc-Philippe Huget, Michael Wooldridge

claim paper

Read More »

8

AAAI
1996

113views Intelligent Agents» more AAAI 1996»

The Complexity of Model Checking for Belief Revision and Update

13 years 6 months ago

The Complexity of Model Checking for Belief Revision and Update

Download www.dis.uniroma1.it

Paolo Liberatore, Marco Schaerf

claim paper

Read More »

18

ATAL
2005
Springer

121views Intelligent Agents» more ATAL 2005»

Model generation for PRS-like agents

13 years 10 months ago

Model generation for PRS-like agents

Download www.cs.huji.ac.il

We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...

Wayne Wobcke, Marc Chee, Krystian Ji

claim paper

Read More »

12

ATAL
2010
Springer

178views Intelligent Agents» more ATAL 2010»

Symbolic model checking for agent interactions

13 years 5 months ago

Symbolic model checking for agent interactions

Download users.encs.concordia.ca

Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rach...

claim paper

Read More »

13

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

Improved bounded model checking for a fair branching-time temporal epistemic logic

13 years 5 months ago

Improved bounded model checking for a fair branching-time temporal epistemic logic

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

« Prev « First page 1 / 32 Last » Next »