Natasha - PDFSEARCH.IO - Document Search Engine

Natasha
Results: 819

#	Item
431	Verifying Properties of Coalitional Ability under Resource Bounds Natasha Alechina Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-05-21 13:03:49 Entailment Logical consequence Metalogic Modal logic Function Logic Philosophical logic Deduction
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 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-06-10 06:03:23 Software engineering 2APL AgentSpeak Prolog Multi-agent systems Computing Artificial intelligence
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 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-09 09:53:52 Mathematics Homotopy theory Symbol Admissible rule Valuation
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 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:27:16 Model theory Mathematical logic Logical syntax Interpretation Modal logic Action selection Proposition Linear temporal logic Logic Philosophy of language Formal languages
435	N-Jason: Run-Time Norm Compliance in AgentSpeak(L) JeeHang Lee1 , Julian Padget1 Brian Logan , Daniela Dybalova2 , and Natasha Alechina2 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-03-12 17:24:58 Philosophy AgentSpeak Norm Belief–desire–intention model Permission Principle Role Belief–desire–intention software model Multi-agent systems Artificial intelligence Computing
436	Verifying space and time requirements for resource-bounded agents Natasha Alechina Piergiorgio Bertoli Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 06:48:09 Model theory Reasoning Logical truth Epistemic modal logic Substitution Inference Well-formed formula Interpretation Constructible universe Logic Formal languages Modal logic
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 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 07:58:47 Logic programming Knowledge representation Belief revision Logic Theory of justification J Software engineering Computer programming Computing
438	Norm Approximation for Imperfect Monitors Natasha Alechina Mehdi Dastani Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-03-03 09:38:31 Linear temporal logic Temporal logic
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 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-19 13:18:33 Epistemic modal logic Logic Constructible universe Mathematical logic Modal logic Artificial intelligence
440	Consensus Games (Extended Abstract) Julian Zappala Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-03-30 08:29:34 Science Coalition government Coalition Consensus decision-making Multi-agent system Agent-based model Behavior Ethics Game theory Cooperative game