BSL - PDFSEARCH.IO - Document Search Engine

BSL
Results: 1108

#	Item
841	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-01-10 12:58:33 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
842	Modularity and compositionality in Jason Neil Madden and Brian Logan School of Computer Science University of Nottingham, UK. {nem,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-18 06:12:42 Artificial intelligence 2APL Prolog Datalog Modularity AgentSpeak Logic programming Programming language Coupling Computing Multi-agent systems Software engineering
843	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: 2011-06-10 06:16:57 Maude system Software engineering Computing
844	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
845	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
846	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
847	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
848	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-09-11 12:40:28 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
849	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-09-15 07:35:44 Modal logic Entailment Combinatory logic Logic Artificial intelligence Epistemic modal logic
850	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: 2009-09-11 12:40:28 Computer hardware Aquatic communities in the British National Vegetation Classification system MOS Technology Agnus Motorways of Switzerland Aggregate Rete algorithm

UPDATE