Natasha - PDFSEARCH.IO - Document Search Engine

Natasha
Results: 819

#	Item
481	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-06-25 10:35:21 Mathematics Homotopy theory Symbol Admissible rule Valuation
482	Fair allocation of group tasks according to social norms Natasha Alechina1 , Wiebe van der Hoek2 , and Brian Logan1 1 University of Nottingham, UK, University of Liverpool, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:26:32 Sociology Norm Philosophy Social philosophy
483	Energy Storage: A problem at the intersection of Finance and Optimization Matt Davison (Western) Lindsay Anderson (Cornell), Natasha Kirby (RBC) Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-10-29 11:16:17 Energy economics Sustainable energy Battery Renewable energy Intermittent energy source Microgeneration Energy Technology Energy storage
484	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: 2009-09-11 12:40:28 Model theory Reasoning Logical truth Epistemic modal logic Substitution Inference Well-formed formula Interpretation Constructible universe Logic Formal languages Modal logic
485	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: 2009-09-11 12:40:28 Logic Artificial intelligence Theory of justification Contraction Science Epistemology Logic programming Knowledge representation Belief revision
486	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:32:16 Maude system Software engineering Computing
487	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-09-26 14:55:37 Linear temporal logic Temporal logic
488	Postulates and a linear-time algorithm for minimal preference contraction EXTENDED ABSTRACT Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:05:55 Logic programming Science Consumer theory Social psychology Preference Contraction Axiom Belief revision Knowledge representation Logic
489	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
490	Reasoning about plan revision in BDI agent programs Natasha Alechinaa , Mehdi Dastanib , Brian Logana , John-Jules Ch. Meyerb a School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:31:20 Determinacy Multi-agent systems 2APL 3APL

UPDATE