next up previous
Next: Introduction

An Arsenal of Tools for the Serious AI Logicist

Aarati Parmar Department of Computer Science, Gates Building, 2A wing Stanford University, Stanford, CA 94305-9020, USA


Logical AI requires formalisms and constructions beyond those of first-order logic. In this paper we list some of them, with a brief description. Comments are very welcome.

Aarati Parmar
Thu Feb 22 17:21:49 PST 2001