<--- Back to Details
First PageDocument Content
Science / JACK Intelligent Agents / Procedural reasoning system / Australian Artificial Intelligence Institute / Belief–desire–intention software model / Belief–desire–intention model / Intelligent agent / Agent-based model / Java / Multi-agent systems / Artificial intelligence / Computing
Date: 2007-12-04 13:44:17
Science
JACK Intelligent Agents
Procedural reasoning system
Australian Artificial Intelligence Institute
Belief–desire–intention software model
Belief–desire–intention model
Intelligent agent
Agent-based model
Java
Multi-agent systems
Artificial intelligence
Computing

Add to Reading List

Source URL: goanna.cs.rmit.edu.au

Download Document from Source Website

File Size: 60,47 KB

Share Document on Facebook

Similar Documents

Cryptography / Public-key cryptography / Post-quantum cryptography / Smart cards / Hash-based cryptography / Digital signature / Cryptographic hash function / Java Card / Hash function / Security token / Cryptographic primitive / XMSS

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA)

DocID: 1xV0o - View Document

Cryptography / Post-quantum cryptography / Quantum cryptography / Emerging technologies / Quantum computing / Key / Supersingular isogeny key exchange / Ring learning with errors key exchange

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA)

DocID: 1xUSb - View Document

Computing / Software engineering / Computer programming / Concurrent programming languages / High-level programming languages / Type theory / Programming languages / Program analysis / Java virtual machine / Type system / Go / Java

A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

DocID: 1xUOd - View Document

Graph theory / Graph connectivity / Strongly connected component / Reachability / Graph / Node / Topological sorting

Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev

DocID: 1xUMO - View Document

Computing / Software engineering / Computer programming / Programming languages / Data types / Java / Programming language syntax / Object-oriented programming languages / Java syntax / Const / F / ALGOL 68

Seuss for Java Language Reference Rajeev Joshi 1 12 FebruaryAbstract

DocID: 1xUzV - View Document