Natasha - PDFSEARCH.IO - Document Search Engine

Natasha
Results: 819

#	Item
501	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: 2012-06-25 10:32:59 AgentSpeak Belief–desire–intention model Belief–desire–intention software model GOAL agent programming language Multi-agent systems Computing Artificial intelligence
502	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
503	Preference-based belief revision for rule-based agents Natasha Alechina School of Computer Science, University of Nottingham, UK ([removed]) Mark Jago Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Logic Reason maintenance Science Knowledge Ethology Knowledge representation Logic programming Belief revision
504	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-06-25 12:15:06 Artificial intelligence Norm Ethics Determinacy Affect Sociology Multi-agent systems Philosophy 2APL
505	Consensus Games (Extended Abstract) Julian Zappala Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:00:04 Science Coalition government Coalition Consensus decision-making Multi-agent system Agent-based model Behavior Ethics Game theory Cooperative game
506	Reasoning about other agents’ beliefs under bounded resources 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-09-11 12:40:28 Epistemic modal logic Logic Constructible universe Mathematical logic Modal logic Artificial intelligence
507	Resource-bounded alternating-time temporal logic Natasha Alechina Brian Logan Nguyen Hoang Nga Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:29 Logical connective Logic Symbol Entailment
508	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: 2014-09-26 15:20:37 Science Norm Defeasible reasoning 2APL Agent-based model Deontic logic Software agent Actor model Reason Multi-agent systems Computing Artificial intelligence
509	N-Jason: Run-Time Norm Compliance in AgentSpeak(L) JeeHang Lee1 , Julian Padget1 Brian Logan , Daniela Dybalova2 , and Natasha Alechina2 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:27:39 Philosophy AgentSpeak Norm Belief–desire–intention model Permission Principle Role Belief–desire–intention software model Multi-agent systems Artificial intelligence Computing
510	Modal Quantifiers Natasha Alechina Modal Quantifiers Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:38:45 Philosophical logic Model theory Logicians Quantification First-order logic Johan van Benthem Institute for Logic Language and Computation Logic Mathematical logic Predicate logic