Automated Reasoning System
Jump to navigation
Jump to search
An Automated Reasoning System is a Reasoning System that can solve an Automated Reasoning Task.
- See: Human Reasoner, Expert System.
References
1984
- (Lusk & Overbeek, 1984) ⇒ Ewing L. Lusk, and Ross A. Overbeek. (1984). “Automated Reasoning System." ITP. No. ANL-84-27. Argonne National Lab..