The Basics of Knowledge Representation and Reasoning
- 2 January 1988
- journal article
- website
- Published by Institute of Electrical and Electronics Engineers (IEEE) in AT&T Technical Journal
- Vol. 67 (1) , 7-24
- https://doi.org/10.1002/j.1538-7305.1988.tb00230.x
Abstract
A widely recognized goal of artificial intelligence (AI) is the creation of artifacts that can emulate humans in their ability to reason symbolically, as exemplified in typical AI domains such as planning, natural language understanding, diagnosis, a...Keywords
This publication has 12 references indexed in Scilit:
- Rule-Based Programming in theUnix® SystemAT&T Technical Journal, 1988
- The VLSI Design Automation Assistant: A Synthesis ExpertAT&T Technical Journal, 1988
- Natural Language ProcessingAT&T Technical Journal, 1988
- Planning and Plan RecognitionAT&T Technical Journal, 1988
- The complexity of Model-Preference Default theoriesPublished by Springer Nature ,1988
- Expressiveness and tractability in knowledge representation and reasoning1Computational Intelligence, 1987
- Making believers out of computersArtificial Intelligence, 1986
- Automated deduction by theory resolutionJournal of Automated Reasoning, 1985
- Prototypical knowledge for expert systemsArtificial Intelligence, 1983
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965