Remarks on knowledge representation using predicate logic

zbMATH Open0981.03030MaRDI QIDQ2770739

I. Fekete

Publication date: 13 February 2002

Published in: Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

knowledge representationpredicate logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (2)

A duality between Pawlak's knowledge representation systems and bi-consequence systems ⋮ A PDL-Like Logic of Knowledge Acquisition

This page was built for publication: Remarks on knowledge representation using predicate logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2770739)