431![Verifying Properties of Coalitional Ability under Resource Bounds Natasha Alechina Brian Logan Verifying Properties of Coalitional Ability under Resource Bounds Natasha Alechina Brian Logan](https://www.pdfsearch.io/img/db0f60ddc330a40beb98912036745955.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2009-05-21 13:03:49
|
---|
432![An Operational Semantics for AgentSpeak(RT) Konstantin Vikhorev1 , Natasha Alechina1 , Rafael H. Bordini2 , and Brian Logan1 1 School of Computer Science University of Nottingham An Operational Semantics for AgentSpeak(RT) Konstantin Vikhorev1 , Natasha Alechina1 , Rafael H. Bordini2 , and Brian Logan1 1 School of Computer Science University of Nottingham](https://www.pdfsearch.io/img/da65f9ef9db453265373f02ec2c0926d.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2011-06-10 06:03:23
|
---|
433![The agent programming language Meta-APL Thu Trang Doan, Natasha Alechina, and Brian Logan University of Nottingham, Nottingham NG8 1BB, UK {ttd,nza,bsl}@cs.nott.ac.uk Abstract. We describe a novel agent programming lang The agent programming language Meta-APL Thu Trang Doan, Natasha Alechina, and Brian Logan University of Nottingham, Nottingham NG8 1BB, UK {ttd,nza,bsl}@cs.nott.ac.uk Abstract. We describe a novel agent programming lang](https://www.pdfsearch.io/img/d5b76c5e59952343bae3b3520268b240.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2012-05-09 09:53:52
|
---|
434![A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk](https://www.pdfsearch.io/img/433a3423feff2d133d6f327df0fcad90.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2008-06-18 10:27:16
|
---|
435![N-Jason: Run-Time Norm Compliance in AgentSpeak(L) JeeHang Lee1 , Julian Padget1 Brian Logan , Daniela Dybalova2 , and Natasha Alechina2 2 N-Jason: Run-Time Norm Compliance in AgentSpeak(L) JeeHang Lee1 , Julian Padget1 Brian Logan , Daniela Dybalova2 , and Natasha Alechina2 2](https://www.pdfsearch.io/img/dc5b6ee26785c9ea220a95aaa7fdcef9.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2014-03-12 17:24:58
|
---|
436![Verifying space and time requirements for resource-bounded agents Natasha Alechina Piergiorgio Bertoli Verifying space and time requirements for resource-bounded agents Natasha Alechina Piergiorgio Bertoli](https://www.pdfsearch.io/img/ee633c76b5f3de2d9e963dcda9910f38.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2006-04-01 06:48:09
|
---|
437![Resource-bounded belief revision and contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science University of Nottingham Nottingham, UK {nza,mtw,bsl}@cs.nott.ac.uk Resource-bounded belief revision and contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science University of Nottingham Nottingham, UK {nza,mtw,bsl}@cs.nott.ac.uk](https://www.pdfsearch.io/img/cd681f3b367df269d9a04c4c184cbd68.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2006-04-01 07:58:47
|
---|
438![Norm Approximation for Imperfect Monitors Natasha Alechina Mehdi Dastani Brian Logan Norm Approximation for Imperfect Monitors Natasha Alechina Mehdi Dastani Brian Logan](https://www.pdfsearch.io/img/2da30910fca005df1f9ae83ac23a733c.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2014-03-03 09:38:31
|
---|
439![Reasoning about other agents’ beliefs under bounded resources Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Reasoning about other agents’ beliefs under bounded resources Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? School of Computer Science University of Nottingham Nottingham NG8 1BB, UK](https://www.pdfsearch.io/img/eb241684968038af0e8306a109e2b66a.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2009-03-19 13:18:33
|
---|
440![Consensus Games (Extended Abstract) Julian Zappala Natasha Alechina Consensus Games (Extended Abstract) Julian Zappala Natasha Alechina](https://www.pdfsearch.io/img/69361696352fa51933b46d92f4dd18e9.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2012-03-30 08:29:34
|
---|