BSL - PDFSEARCH.IO - Document Search Engine

BSL
Results: 1108

#	Item
831	Logic for coalitions with bounded resources ∗ Natasha Alechina and Brian Logan and and Nguyen Hoang Nga and Abdur Rakib School of Computer Science The University of Nottingham Nottingham, NG8 1BB, UK {nza,bsl,hnn,rza}@ Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-07-07 05:27:15 Modal logic Entailment Combinatory logic Logic Artificial intelligence Epistemic modal logic
832	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-05-05 07:12:06 Modal logic Software engineering Logic Non-classical logic Maude system
833	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: 2004-07-06 11:08:16 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
834	TIME WINDOWS IN MULTI-AGENT DISTRIBUTED SIMULATION Michael Lees1 , Brian Logan1 , Georgios Theodoropoulos2 1 School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK {mhl,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2004-06-15 12:12:14 Simulation Computing Modeling and simulation Agent-based model Complex systems theory Discrete event simulation Logic simulation Military simulation Flocking Scientific modeling Science Electronic engineering
835	It’s About Time Neil Madden and Brian Logan University of Nottingham School of Computer Science and Information Technology Jubilee Campus, Triumph Road, Nottingham, NG8 1BB. {nem,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-08-12 15:04:38 Mind Cognitive psychology Multiple drafts model Physicalism Benjamin Libet Cartesian theater Circular buffer Tap Consciousness Explained Philosophy of mind Cognitive science Computer memory
836	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
837	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: 2008-01-08 13:15:13 Science Intelligent agent Software agent Modal logic Agent-based model 3APL 2APL GOAL agent programming language Multi-agent systems Artificial intelligence Computing
838	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
839	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
840	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-08-27 04:02:10 Constructible universe Epistemic modal logic Entailment Logic Logical syntax Propositional calculus

UPDATE