2APL - PDFSEARCH.IO - Document Search Engine

2APL
Results: 42

#	Item
21	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-07-25 09:53:08 2APL AgentSpeak Cache Hoarding Database Multi-agent systems Computing Artificial intelligence
22	A Framework for Programming Norm-Aware Multi-Agent Systems Daniela Dybalova1 , Bas Testerink2 , Mehdi Dastani2 , and Brian Logan1 1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-02-11 04:37:28 Science 2APL Norm Software agent Agent-based model Multi-agent systems Computing Artificial intelligence
23	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
24	2013 Annual Conference on Advances in Cognitive Systems: Workshop on Goal Reasoning Breadth of Approaches to Goal Reasoning: A Research Survey Swaroop Vattam [removed] Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2014-05-07 15:00:29 Intelligent agent Reasoning system Automated planning and scheduling Goal-oriented Planner GOAL agent programming language 2APL Artificial intelligence Multi-agent systems Cognitive architecture
25	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
26	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
27	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-06-25 12:15:53 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
28	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
29	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
30	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

UPDATE