The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
type: Item
instance of: scholarly article
title: The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
zbMATH Open document ID: 1158.68437
author: Selmer Bringsjord
published in: Journal of Applied Logic
publication date: 2008-12-11T00:00:00Z
Mathematics Subject Classification ID: 68T01
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5380975
zbMATH Keywords: logic
zbMATH Keywords: artificial intelligence
zbMATH Keywords: AI
zbMATH Keywords: logic-based AI
zbMATH Keywords: sub-symbolic AI
zbMATH Keywords: connectionism
zbMATH Keywords: continuous systems
describes a project that uses: Walksat
describes a project that uses: VAMPIRE
describes a project that uses: LPL software
describes a project that uses: OSCAR
MaRDI profile type: Publication
full work available at URL: j.jal.2008.09.001
OpenAlex ID: W2005864385
cites work: Logic-based subsumption architecture
cites work: Computational Logic in Multi-Agent Systems
cites work: The Description Logic Handbook
cites work: Q5565097
cites work: Q5493742
cites work: Animals, zombanimals, and the total Turing test. The essence of artificial intelligence
cites work: Q4013821
cites work: Q3742757
cites work: Q4298571
cites work: Q3789107
cites work: Q3124542
cites work: On the unusual effectiveness of logic in computer science
cites work: Q4858033
cites work: Q5633670
cites work: Q5590814
cites work: Q3997961
cites work: Defeasible reasoning with variable degrees of justification
cites work: How to reason defeasibly
cites work: How minds can be computational systems
cites work: Q4779807
cites work: Computationalism
cites work: Natural language processing and knowledge representation. Language for knowledge and knowledge for language
cites work: The anatomy of vampire. Implementing bottom-up procedures with code trees
cites work: Modular elliptic curves and Fermat's Last Theorem
cites work: Ring-theoretic properties of certain Hecke algebras
cites work: Q4296171
DOI: 10.1016/J.JAL.2008.09.001
description: scientific article; zbMATH DE number 5380975