The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
From MaRDI portal
Publication:959049
DOI10.1016/j.jal.2008.09.001zbMath1158.68437OpenAlexW2005864385MaRDI QIDQ959049
Publication date: 11 December 2008
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2008.09.001
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logic-based subsumption architecture
- How to reason defeasibly
- Computationalism
- Animals, zombanimals, and the total Turing test. The essence of artificial intelligence
- Modular elliptic curves and Fermat's Last Theorem
- Ring-theoretic properties of certain Hecke algebras
- The anatomy of vampire. Implementing bottom-up procedures with code trees
- On the Unusual Effectiveness of Logic in Computer Science
- How minds can be computational systems
- The Description Logic Handbook
- Computational Logic in Multi-Agent Systems
- Defeasible reasoning with variable degrees of justification
This page was built for publication: The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself