Logic-based subsumption architecture
type: Item
instance of: scholarly article
title: Logic-based subsumption architecture
zbMATH Open document ID: 1085.68680
author: Eyal Amir
author: Pedrito Maynard-Zhang
published in: Artificial Intelligence
publication date: 2006-02-07T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T40
zbMATH DE Number: 5003938
zbMATH Keywords: Cognitive robotics
zbMATH Keywords: Logical representations
zbMATH Keywords: Subsumption architecture
describes a project that uses: OTTER
describes a project that uses: HOL
describes a project that uses: ML
describes a project that uses: GOLOG
describes a project that uses: GETFOL
MaRDI profile type: Publication
full work available at URL: j.artint.2003.07.001
OpenAlex ID: W2095671644
cites work: Q4708921
cites work: Partition-based logical reasoning for first-order and propositional theories
cites work: Representing action and change by logic programs
cites work: On the relationship between circumscription and negation as failure
cites work: Representing action: indeterminacy and ramifications
cites work: Q5287513
cites work: Q4934649
cites work: Q3750100
cites work: GOLOG: A logic programming language for dynamic domains
cites work: Q3198926
cites work: Q5633670
cites work: Q4016561
cites work: Q4839154
cites work: Reinventing Shakey
cites work: Q4473070
cites work: Automated deduction by theory resolution
cites work: A Prolog technology theorem prover: Implementation by an extended Prolog compiler
cites work: A Prolog technology theorem prover: A new exposition and implementation in Prolog
DOI: 10.1016/J.ARTINT.2003.07.001
description: scientific article; zbMATH DE number 5003938