Procedural reasoning system - PDFSEARCH.IO - Document Search Engine

Procedural reasoning system
Results: 23

#	Item
1	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
2	Plan Recognition in Intrusion Detection Systems Christopher W. Geib and Robert P. Goldman Honeywell Labs 3660 Technology Drive Minneapolis, MNUSA geib,goldman @htc.honeywell.com Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Multi-agent systems Automated planning and scheduling Reasoning system Procedural reasoning system Hierarchical task network Planning Artificial intelligence Cognitive architecture Problem solving
3	A certifiable reasoning engine for intelligent & autonomous systems Building autonomous & intelligent systems Autonomous and intelligent systems have come of age. Ranging from the next generation of Unmanned Air Vehicles Add to Reading List Source URL: www.aosgrp.com Language: English - Date: 2013-12-08 20:14:18 Cognitive architecture Knowledge representation Procedural reasoning system Belief–desire–intention model Data General AOS Reasoning system Intelligent agent Unmanned combat air vehicle JACK Intelligent Agents Artificial intelligence Multi-agent systems Computing
4	Programming and Reasoning with Algebraic Effects and Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-03-29 05:54:16 Functional programming Control flow Procedural programming languages Subroutines Recursion Monad Eval Type system List comprehension Computing Software engineering Computer programming
5	Reasoning about BDI Agents from a Programming Languages Perspective Wayne Wobcke School of Computer Science and Engineering University of New South Wales Sydney NSW 2052, Australia [removed] Add to Reading List Source URL: aaai.org Language: English - Date: 2007-04-18 18:09:48 Science Procedural reasoning system Action selection Belief–desire–intention model JACK Intelligent Agents AgentSpeak Reasoning system Action theory Agent-based model Artificial intelligence Multi-agent systems Computing
6	Contextual Reasoning in the Verification of PRS Agent Programs Add to Reading List Source URL: www.aaai.org Language: English - 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
7	The ARTS Real-Time Agent Architecture Konstantin Vikhorev Natasha Alechina Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-07-22 19:22:02 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
8	Logic and Agent Programming Languages Natasha Alechina School of Computer Science University of Nottingham [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 16:53:25 2APL AgentSpeak Procedural reasoning system Belief–desire–intention model Reasoning system Intelligent agent Production system Automated planning and scheduling Logic programming Artificial intelligence Multi-agent systems Computing
9	Concept of a Hybrid Architecture for Care-O-bot Matthias Hans, Winfried Baum Fraunhofer Institute for Manufacturing Engineering and Automation (IPA) Nobelstrasse 12, 70569 Stuttgart, Germany e-mail: {hans, baum}@ipa.fhg. Add to Reading List Source URL: www.morpha.de Language: English - Date: 2001-10-04 12:26:13 Automation Robotics Planner Mobile robot Robot Planning Domain Definition Language Industrial robot Procedural reasoning system ORiN Artificial intelligence Technology Automated planning and scheduling
10	BDI Agents: From Theory to Practice April, 1995 Technical Note 56 By: Add to Reading List Source URL: www.agent.ai Language: English - Date: 2005-05-21 21:47:37 Computing Procedural reasoning system Belief–desire–intention model Action theory Reasoning system Motivation Agent-based model Belief–desire–intention software model Artificial intelligence Multi-agent systems Science