<--- Back to Details
First PageDocument Content
Problem solving / Cognitive architecture / Multi-agent systems / Management / Project management / Procedural reasoning system / Reasoning system / Logic programming / Hoare logic / Artificial intelligence / Science / Logic
Date: 2006-01-11 09:39:58
Problem solving
Cognitive architecture
Multi-agent systems
Management
Project management
Procedural reasoning system
Reasoning system
Logic programming
Hoare logic
Artificial intelligence
Science
Logic

Contextual Reasoning in the Verification of PRS Agent Programs

Add to Reading List

Source URL: www.aaai.org

Download Document from Source Website

File Size: 572,31 KB

Share Document on Facebook

Similar Documents

Cryptocurrencies / Economy / Money / Finance / Blockchains / Alternative currencies / Decentralization / Bitcoin / Counterparty / Ethereum

PROJECT PAI TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORK

DocID: 1xVWW - View Document

Computing / Computer hardware / Technology / NVDIMM / Non-volatile random-access memory / Intel / Dynamic random-access memory / Processor

Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CA

DocID: 1xVOm - View Document

Artificial neural network / Computational neuroscience / Market research / Market segmentation / Mathematical psychology / Applied mathematics

Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. Miguel

DocID: 1xVLb - View Document

Cyberwarfare / Security engineering / Computing / Computer network security / Emerging technologies / Computer security / National security / Internet of things / Cyber threat intelligence / Big data / Threat / Artificial intelligence

Cybersecurity Powered by Artificial Intelligence and the Blockchain HEROIC.com Team February 2018

DocID: 1xVHi - View Document