Natasha - PDFSEARCH.IO - Document Search Engine

Natasha
Results: 819

#	Item
441	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
442	http://oac.cdlib.org/findaid/ark:/13030/kt6m3nc88c No online items Inventory of the Firing Line (Television Program) Broadcast Records Finding aid prepared by Finding aid prepared by Natasha Porfirenko, revised by Hoover Add to Reading List Source URL: pdf.oac.cdlib.org Language: English - Date: 2015-01-27 22:52:36 Program Files Computer file File System software Data management Computing Folder Firing Line
443	The ARTS Real-Time Agent Architecture Konstantin Vikhorev Natasha Alechina Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-07-22 19:22:02 Procedural reasoning system Belief–desire–intention model Reasoning system Scheduling AgentSpeak Real-time computing Belief–desire–intention software model 2APL Artificial intelligence Multi-agent systems Computing
444	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-09-26 13:10:47 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
445	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
446	Expressing Properties of Coalitional Ability under Resource Bounds ? Natasha Alechina Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-08-17 09:53:06 Entailment Logical consequence Metalogic Modal logic Valuation Logic Philosophical logic Deduction
447	Agent programming with priorities and deadlines Konstantin Vikhorev Natasha Alechina Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-06-10 06:01:18 AgentSpeak Belief–desire–intention model Belief–desire–intention software model GOAL agent programming language Multi-agent systems Computing Artificial intelligence
448	Computational Models for Normative Multi-Agent Systems Natasha Alechina1 , Nick Bassiliades2 , Mehdi Dastani3 , Marina De Vos4 , Brian Logan1 , Sergio Mera5 , Andreasa Morris-Martin6 , and Fernando Schapachnik5 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-05-13 11:06:11 Science Norm Defeasible reasoning 2APL Agent-based model Deontic logic Software agent Actor model Reason Multi-agent systems Computing Artificial intelligence
449	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
450	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-23 13:46:17 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus