![Knowledge representation / Logic / Logic programming / Curry–Howard correspondence / Constructible universe / Forcing / Computer science / Conjugate element / Mathematical logic / Mathematics / Belief revision Knowledge representation / Logic / Logic programming / Curry–Howard correspondence / Constructible universe / Forcing / Computer science / Conjugate element / Mathematical logic / Mathematics / Belief revision](https://www.pdfsearch.io/img/c3e9a0aad1f17bde3cd6133abc54a5ee.jpg)
| Document Date: 2003-09-08 16:17:32 Open Document File Size: 265,62 KBShare Result on Facebook
City Potsdam / / Country Germany / Canada / / / IndustryTerm level algorithm / / Organization Simon Fraser University / Torsten Schaub Institut f¨ur Informatik / Belief Change James P. Delgrande School of Computing Science / / Person Levi Identity / / Position advocate / representative / Harper / / Product K +8 / / ProvinceOrState British Columbia / / Technology high-level algorithm / artificial intelligence / /
SocialTag |