Search Sciweavers | Sciweavers

158 search results - page 1 / 32

» Model Checking for PRS-Like Agents

143

Voted

AGENTCL
2003
Springer

222views Intelligent Agents» more AGENTCL 2003»

Model Checking for ACL Compliance Verification

15 years 7 months ago

Download www.csc.liv.ac.uk

Marc-Philippe Huget, Michael Wooldridge

claim paper

Read More »

120

Voted

AAAI
1996

113views Intelligent Agents» more AAAI 1996»

The Complexity of Model Checking for Belief Revision and Update

15 years 4 months ago

Download www.dis.uniroma1.it

Paolo Liberatore, Marco Schaerf

claim paper

Read More »

121

click to vote

ATAL
2005
Springer

121views Intelligent Agents» more ATAL 2005»

Model generation for PRS-like agents

15 years 9 months ago

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 »

click to vote

ATAL
2010
Springer

178views Intelligent Agents» more ATAL 2010»

Symbolic model checking for agent interactions

15 years 4 months ago

Download users.encs.concordia.ca

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

claim paper

Read More »

105

click to vote

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers