BSL - PDFSEARCH.IO - Document Search Engine

BSL
Results: 1108

#	Item
851	Per Diem Rates Cost Center Cat Chicken Chinchilla Chinchilla - BSL Add to Reading List Source URL: compmed.ouhsc.edu - Date: 2014-07-09 10:33:20
852	Belief ascription under bounded resources ∗ Natasha Alechina and Brian Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK ({nza,bsl}@cs.nott.ac.uk) Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:36:27 Constructible universe Epistemic modal logic Entailment Logic Logical syntax Propositional calculus
853	Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,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 Science Intelligent agent Software agent Modal logic Agent-based model 3APL 2APL GOAL agent programming language Multi-agent systems Artificial intelligence Computing
854	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: 2009-09-11 12:40:28 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
855	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: 2009-09-11 12:40:28 Model theory Mathematical logic Logical syntax Interpretation Modal logic Action selection Proposition Linear temporal logic Logic Philosophy of language Formal languages
856	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 programming Knowledge representation Belief revision Logic Theory of justification J Software engineering Computer programming Computing
857	Consensus Action Games Julian Zappala, Natasha Alechina, Brian Logan School of Computer Science, University of Nottingham {jxz,nza,bsl}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 11:57:26 Motor control Consensus Quorum Computational complexity theory NP Applied mathematics Ethology Mind Action selection Artificial intelligence Cognitive science
858	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: 2010-09-15 07:35:36 Modal logic Software engineering Logic Non-classical logic Maude system
859	Consensus Games Julian Zappala, Natasha Alechina, and Brian Logan School of Computer Science University of Nottingham Nottingham, NG8 1BB, UK {jxz,nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-04 07:52:12 Consensus Core Coalition Problem solving Human behavior Game theory Ethics Cooperative game
860	Consensus Action Games Julian Zappala, Natasha Alechina, Brian Logan School of Computer Science, University of Nottingham {jxz,nza,bsl}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-05-17 05:22:15 Motor control Consensus Quorum Computational complexity theory NP Applied mathematics Ethology Mind Action selection Artificial intelligence Cognitive science

UPDATE