p18 varieties of logic p.26 modal logic - type of logic which acknowledges "maybe" possibility p.27 FOL vs. Second-order logic - HOL allows for a range of predicates (a metalanguage describing predicates of predicates)
%0 Book
%1 sowa00
%A Sowa, John F.
%C Pacific Grove, CA
%D 2000
%I Brooks/Cole
%K logic representation knowledge acquisition
%T Knowledge Representation: Logical, Philosophical, and Computational Foundations
@book{sowa00,
added-at = {2006-03-24T16:34:33.000+0100},
address = {Pacific Grove, CA},
author = {Sowa, John F.},
biburl = {https://www.bibsonomy.org/bibtex/2482505711189bca4755d7c4c67a72c82/neilernst},
citeulike-article-id = {121561},
comment = {p18 varieties of logic p.26 modal logic - type of logic which acknowledges "maybe" possibility p.27 FOL vs. Second-order logic - HOL allows for a range of predicates (a metalanguage describing predicates of predicates)},
description = {sdasda},
interhash = {48aa7f2681edb6ef0aba6ae826a3350a},
intrahash = {482505711189bca4755d7c4c67a72c82},
keywords = {logic representation knowledge acquisition},
priority = {0},
publisher = {Brooks/Cole},
timestamp = {2006-03-24T16:34:33.000+0100},
title = {Knowledge {R}epresentation: {L}ogical, {P}hilosophical, and {C}omputational {F}oundations},
year = 2000
}