Strips: A new approach to the application of theorem proving to problem solving
about
Biological Agency: Its Subjective Foundations and a Large-Scale Taxonomy.Everyday robotic action: lessons from human action controlThe interaction of representation and reasoningBiological and artificial cognition: what can we learn about mechanisms by modelling physical cognition problems using artificial intelligence planning techniques?Distributed coordination of heterogeneous agents using a semantic overlay network and a goal-directed graphplan planner.Types of planning: can artificial intelligence yield insights into prefrontal function?A Gentle Introduction to Epistemic Planning: The DEL ApproachLearning to solve planning problems efficiently by means of genetic programming.Milestones in software engineering and knowledge engineering history: a comparative review.Self-monitoring in speech production: effects of verbal hallucinations and negative symptomsTo Afford or Not to Afford: A New Formalization of Affordances Toward Affordance-Based Robot ControlAdaptively distributing cognition: A decision-making perspective on human - computer interactionThe contributions of cognitive engineering to the design and use of expert systemsFrom Debugging to Authoring: Adapting Productivity Tools to Narrative Content DescriptionCausal Perception in Virtual Reality and its Implications for Presence FactorsA Quarter of Century in Artificial Intelligence and Law: Projects, Personal Trajectories, a Subjective PerspectiveTo Plan or to Simply React? An Experimental Study of Action Planning in a Game EnvironmentOn the identification and establishment of topological spatial relations by autonomous systemsRobust Plan Execution Using Model-Based ReasoningRearrangement Planning of Multiple Movable Objects by a Mobile RobotSoftware agents for bioprocess monitoring and controlCrowd Simulation in 3D Virtual EnvironmentsACHIEVING FLEXIBLE AUTONOMY IN MULTIAGENT SYSTEMS USING CONSTRAINTSA SYSTEM AND CONTROL THEORETIC PERSPECTIVE ON ARTIFICIAL INTELLIGENCE PLANNING SYSTEMSTOLERANT PLANNING AND NEGOTIATION IN MULTIAGENT ENVIRONMENTSSEDAF: AN INTELLIGENT EDUCATIONAL SYSTEM FOR MATHEMATICSLearning to plan for robots using generalized representationsGames and Agents: Designing Intelligent GameplayRelational affordances for multiple-object manipulationHierarchical Task Planning for Multiarm Robot with Multiconstraint
P2860
Q26768141-D2D3A4FE-9861-4F5B-9600-84B269699D04Q26829239-1DF3CB81-1EA3-4871-90BA-95BF92FEB643Q28679853-61CB2125-39F5-4BE9-B88F-789B95F1ADC1Q33354218-7864F2D7-D0A6-43D2-8C63-010106977EC5Q34737313-93E84A88-A5CC-466E-93BC-A133032002B3Q40965824-88C995C0-C540-45FA-B7EE-66AAD3802829Q50355415-5BC0EB61-9D15-47BE-B566-8BC350F484B8Q52051623-F7C5353A-ED7A-4443-884C-2E18B401B24AQ52907362-2F686F23-150C-4EC6-994B-7D70CA295299Q55953917-5578A907-AE36-4CAB-A733-B859B6E57BC8Q56403081-6B768FF1-831F-4D33-A5C3-02ECB2D6F77AQ56893074-112AE28F-A2B3-4D6E-8709-169179377F6AQ56901826-D449048C-BE2D-4D67-8253-A7325E0ECD22Q57516667-54EFED65-92FB-4FDD-B4B9-E8904776A3DDQ57516675-3F4DFEBF-E6F4-47CE-A613-46C4E2E8AA48Q57518714-E9850200-E65D-43A5-B663-B020B361D015Q57705593-26E1468A-F6A7-4A91-9AD5-BBEF5A8AC60CQ57940519-92A28099-094E-4A3A-8F1D-43B167B33657Q58025533-9E9CE363-E101-4DC2-AF61-3C58EBBBDB84Q58026030-A097D29A-7DE7-4673-A98D-7951E399D2B4Q58038693-A628FFAD-D3E6-4FFF-8AB8-32DB3FCAF116Q58102844-6876358E-CC05-47F7-877A-ED562AD78A5BQ58256022-6B8B070A-2719-48F4-9BB9-47B8E9950823Q58259043-635490DB-F67C-4BF7-9C0E-CEA40C78AEA6Q58260526-6F43F3CE-38C0-41ED-96E3-186F5C295A9CQ58263068-CDC51FB5-A939-4B60-B1BF-4FA495DF1F02Q58487815-522BFA14-A45D-4AC9-9A98-2D527678B5E9Q58647775-3E8E3237-B7DD-459A-81DE-3EED65D2668DQ59123404-ED443946-F259-40BC-82E3-A0A969B575A5Q59131152-CEE2DEBC-BA0F-4A24-A8D7-0BED3651EA52
P2860
Strips: A new approach to the application of theorem proving to problem solving
description
1971 nî lūn-bûn
@nan
1971 թուականի Դեկտեմբերին հրատարակուած գիտական յօդուած
@hyw
1971 թվականի դեկտեմբերին հրատարակված գիտական հոդված
@hy
1971年の論文
@ja
1971年論文
@yue
1971年論文
@zh-hant
1971年論文
@zh-hk
1971年論文
@zh-mo
1971年論文
@zh-tw
1971年论文
@wuu
name
Strips: A new approach to the application of theorem proving to problem solving
@ast
Strips: A new approach to the application of theorem proving to problem solving
@en
type
label
Strips: A new approach to the application of theorem proving to problem solving
@ast
Strips: A new approach to the application of theorem proving to problem solving
@en
prefLabel
Strips: A new approach to the application of theorem proving to problem solving
@ast
Strips: A new approach to the application of theorem proving to problem solving
@en
P1476
Strips: A new approach to the application of theorem proving to problem solving
@en
P2093
Nils J. Nilsson
Richard E. Fikes
P304
P356
10.1016/0004-3702(71)90010-5
P407
P577
1971-12-01T00:00:00Z