TY - BOOK ID - 1254526 TI - Logic-based knowledge representation AU - Jackson, Peter AU - Reichgelt, Han AU - Van Harmelen, Frank PY - 1989 SN - 026210038X PB - Cambridge, MA : M.I.T. Press, DB - UniCat KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Expert systems (Computer science) KW - Logic programming KW - Systèmes experts (Informatique) KW - Programmation logique KW - Knowledge representation (Information theory) KW - 681.3*I24 KW - Computer programming KW - Representation of knowledge (Information theory) KW - Artificial intelligence KW - Information theory KW - Knowledge-based systems (Computer science) KW - Systems, Expert (Computer science) KW - Computer systems KW - Soft computing KW - Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - Systèmes experts (Informatique) KW - Logic programming. KW - Expert systems (computer science) UR - https://www.unicat.be/uniCat?func=search&query=sysid:1254526 AB - ER -