Natasha - PDFSEARCH.IO - Document Search Engine

Natasha
Results: 819

#	Item
451	Modal logics for communicating rule-based agents Natasha Alechina and Mark Jago and Brian Logan1 Abstract. In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for mul Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-08-16 14:42:18 Symbol Epistemic modal logic Modal logic Proof theory Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
452	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , 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: 2012-05-31 10:51:10 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
453	Verifying resource requirements for distributed rule-based systems Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-10-29 15:01:19 Computer hardware Aquatic communities in the British National Vegetation Classification system MOS Technology Agnus Motorways of Switzerland Aggregate Rete algorithm
454	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-12-12 08:39:57 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
455	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: 2011-05-13 11:58:34 Determinacy Multi-agent systems 2APL 3APL
456	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-24 12:34:32 Sociology Norm Philosophy Social philosophy
457	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:56:48 Logic Artificial intelligence Theory of justification Contraction Science Epistemology Logic programming Knowledge representation Belief revision
458	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-02-27 06:28:19 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
459	Programming Norm-Aware Agents Natasha Alechina Mehdi Dastani Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-03-08 05:56:22 Artificial intelligence Norm Ethics Determinacy Affect Sociology Multi-agent systems Philosophy 2APL
460	Verifying time, memory and communication bounds in systems of reasoning agents 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-04-08 05:17:39 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics

UPDATE