2APL - PDFSEARCH.IO - Document Search Engine

2APL
Results: 42

#	Item
11	Computationally grounded account of belief and awareness for AI agents Natasha Alechina and Brian Logan Abstract We discuss the problem of designing a computationally grounded logic Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-06-28 12:27:18 Artificial intelligence Multi-agent systems Philosophy of language Branches of philosophy Modal logic 2APL Epistemic modal logic Belief revision Interpretation Logic Science Mathematical logic
12	An Operational Semantics for AgentSpeak(RT) Konstantin Vikhorev1 , Natasha Alechina1 , Rafael H. Bordini2 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-06-10 06:03:23 Software engineering 2APL AgentSpeak Prolog Multi-agent systems Computing Artificial intelligence
13	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
14	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
15	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-31 10:51:10 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
16	Atomic Intentions in Jason+ Daniel Kiss, Neil Madden, and Brian Logan School of Computer Science University of Nottingham, UK. [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-02-01 12:03:32 Software engineering AgentSpeak Prolog Logic programming Belief–desire–intention model Atom 2APL Belief–desire–intention software model Computing Multi-agent systems Artificial intelligence
17	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
18	Reasoning about plan revision in BDI agent programs Natasha Alechinaa , Mehdi Dastanib , Brian Logana , John-Jules Ch. Meyerb a School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-05-13 11:58:34 Determinacy Multi-agent systems 2APL 3APL
19	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-03-08 05:56:22 Artificial intelligence Norm Ethics Determinacy Affect Sociology Multi-agent systems Philosophy 2APL
20	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

UPDATE