3APL

Results: 32



#Item
21Reasoning 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

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
22Reasoning About Agent Deliberation N. Alechina1 , M. Dastani2 , B.S. Logan1 , J.-J. Ch. Meyer2 1 School of Computer Science University of Nottingham

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
23Using 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.

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
24Reasoning 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

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
25Multi-Cycle Query Caching in Agent Programming Tristan Behrens Natasha Alechina Mehdi Dastani

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
26Formal 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

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
27Reasoning About Agent Deliberation N. Alechina1 , M. Dastani2 , B.S. Logan1 , J.-J. Ch. Meyer2 1 School of Computer Science University of Nottingham

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
28Using 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.

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
29The cyclic interpreter (deliberation cycle) for 3APL agents Start

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
    30The EBNF specification of the 3APL language for individual agents P rogram ::=

    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