2APL - PDFSEARCH.IO - Document Search Engine

2APL
Results: 42

#	Item
31	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: 2012-06-25 10:33:42 Software engineering 2APL AgentSpeak Prolog Multi-agent systems Computing Artificial intelligence
32	Logic and Agent Programming Languages Natasha Alechina School of Computer Science University of Nottingham [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 16:53:25 2APL AgentSpeak Procedural reasoning system Belief–desire–intention model Reasoning system Intelligent agent Production system Automated planning and scheduling Logic programming Artificial intelligence Multi-agent systems Computing
33	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: 2009-09-11 12:40:28 Science Intelligent agent Software agent Modal logic Agent-based model 3APL 2APL GOAL agent programming language Multi-agent systems Artificial intelligence Computing
34	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: 2012-06-25 11:54:02 Artificial intelligence Multi-agent systems Philosophy of language Branches of philosophy Modal logic 2APL Epistemic modal logic Belief revision Interpretation Logic Science Mathematical logic
35	Reasoning About Agent Deliberation N. Alechina1 , M. Dastani2 , B.S. Logan1 , J.-J. Ch. Meyer2 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:32 3APL Multi-agent systems 2APL Determinacy
36	Reasoning about agent execution strategies (Short Paper) Natasha Alechina Mehdi Dastani Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 2APL Large cardinals Symbol
37	Using theorem proving to verify properties of agent programs N. Alechina, M. Dastani, F. Khan, B. Logan and J.-J. Ch. Meyer Abstract We present a sound and complete logic for automatic verification of SimpleAPL programs. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 08:44:44 Deduction Entailment 3APL Logic Multi-agent systems 2APL
38	F:agentSecurityFI[removed]PFP#[removed]] Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-09-19 01:00:00 Distributed computing architecture Mobile agent Software agent Java Aglets Agent Law of agency 2APL Computing Artificial intelligence Multi-agent systems
39	Journal of Experimental & Theoretical Artificial Intelligence, Vol. 15, No. 4, October–December 2003, 407–431 Add to Reading List Source URL: www.filosoficas.unam.mx Language: English - Date: 2013-02-18 15:25:56 Agent-based model Complex systems theory Scientific modeling Computing Agent 2APL Software agent Multi-agent systems Artificial intelligence Science
40	3APL Platform User Guide Mehdi Dastani Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2006-11-16 10:47:09 Artificial intelligence 3APL Agent-based model Graphical user interface Prolog 2APL Multi-agent systems Computing Software engineering

UPDATE