Search Sciweavers | Sciweavers

296 search results - page 18 / 60

» atal 2010

click to vote

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

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

14 years 11 months ago

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

click to vote

ATAL
2010
Springer

105views Intelligent Agents» more ATAL 2010»

Requesting agent participation in electronic institutions

14 years 11 months ago

Download www.aamas-conference.org

Hector G. Ceballos, Pablo Noriega, Francisco J. Ca...

claim paper

Read More »

click to vote

ATAL
2010
Springer

102views Intelligent Agents» more ATAL 2010»

Inductively generated trust alignments based on shared interactions

14 years 11 months ago

Download www.iiia.csic.es

Andrew Koster, Jordi Sabater-Mir, W. Marco Schorle...

claim paper

Read More »

click to vote

ATAL
2010
Springer

139views Intelligent Agents» more ATAL 2010»

Deceptive agents and language

14 years 11 months ago

Download www.ifaamas.org

Mark Dras, Debbie Richards, Meredith Taylor, Mary ...

claim paper

Read More »

click to vote

ATAL
2010
Springer

129views Intelligent Agents» more ATAL 2010»

Graphically explaining norms

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers