3APL - PDFSEARCH.IO - Document Search Engine

3APL
Results: 32

#	Item
21	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
22	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-03-30 11:21:27 3APL Multi-agent systems 2APL Determinacy
23	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 07:44:56 Deduction Entailment 3APL Logic Multi-agent systems 2APL
24	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: 2012-06-25 10:31:20 Determinacy Multi-agent systems 2APL 3APL
25	Multi-Cycle Query Caching in Agent Programming Tristan Behrens Natasha Alechina Mehdi Dastani Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-06-23 11:43:52 2APL 3APL AgentSpeak Cache Hoarding Database Multi-agent systems Computing Artificial intelligence
26	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
27	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
28	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
29	The cyclic interpreter (deliberation cycle) for 3APL agents Start Add to Reading List Source URL: www.cs.uu.nl - Date: 2006-01-16 06:07:27
30	The EBNF specification of the 3APL language for individual agents P rogram ::= Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2006-01-16 05:58:01 Predicate logic Logic Atom RSS Literal 3APL Computing Propositional calculus Multi-agent systems

UPDATE