Using abstract resources to control reasoning

DOI10.1023/A:1008275403912zbMath1034.68551OpenAlexW1585029676MaRDI QIDQ1384004

Richard W. Weyhrauch, Carolyn L. Talcott, Marco Cadoli

Publication date: 1998

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008275403912

zbMATH Keywords

logical omnisciencereasoning principles

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

This page was built for publication: Using abstract resources to control reasoning