<--- Back to Details
First PageDocument Content
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
Date: 2009-09-11 12:40:29
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

Add to Reading List

Source URL: www.cs.nott.ac.uk

Download Document from Source Website

File Size: 561,60 KB

Share Document on Facebook

Similar Documents

Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an

DocID: 1xUa0 - View Document

Software engineering / Computer programming / Computing / Functional programming / Logic in computer science / Functional languages / Formal methods / Type theory / Monad / F* / Predicate transformer semantics / Haskell

The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia

DocID: 1xTug - View Document

A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, and Ingrid Chieh Yu Department of Informatics, University of Oslo P.O. Box 1080 Blindern, N-0316

DocID: 1uQLB - View Document

EU-IST Integrated Project (IP) ISTSEKT SEKT: Semantically Enabled Knowledge Technologies MORE2: An Extended Reasoning and Management System for Multi-version Ontologies

DocID: 1t5K9 - View Document

The PSOATransRun 1.0 System for Object-Relational Reasoning in RuleML Gen Zou, Faculty of Computer Science, University of New Brunswick, Canada The 6th Atlantic Workshop on Semantics and Services (AWoSSFaculty of

DocID: 1sZtb - View Document