An order-sorted logic for knowledge representation systems

From MaRDI portal
Revision as of 05:36, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1193487

DOI10.1016/0004-3702(92)90055-3zbMath0768.68196OpenAlexW1964693872MaRDI QIDQ1193487

S. Singh

Publication date: 27 September 1992

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(92)90055-3




Related Items (11)


Uses Software



Cites Work




This page was built for publication: An order-sorted logic for knowledge representation systems