scientific article; zbMATH DE number 4176512
From MaRDI portal
Recommendations
Cited in
(9)- Natural language and logic. International scientific symposium, Hamburg, FRG, 9-11 May 1989. Proceedings
- An order-sorted logic for knowledge representation systems
- scientific article; zbMATH DE number 4106304 (Why is no real title available?)
- scientific article; zbMATH DE number 67968 (Why is no real title available?)
- scientific article; zbMATH DE number 108496 (Why is no real title available?)
- scientific article; zbMATH DE number 1163485 (Why is no real title available?)
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
- Metalanguage of normal forms of knowledge
- scientific article; zbMATH DE number 970746 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3200598)