Jeffrey van Baalen

Bibliography

van Baalen, Jeffrey. 1991. “The Completeness of DRAT, a Technique for Automatic Design of Satisfiability Procedures.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 514–525. San Francisco, California: Morgan Kaufmann Publishers.
van Baalen, Jeffrey. 1992. “Automated Design of Specialized Representations.” Artificial Intelligence 54(1–2): 121–198.
van Baalen, Jeffrey and Fikes, Richard E. 1994. “The Role of Reversible Grammars in Translating Between Representation Languages.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 562–571. San Francisco, California: Morgan Kaufmann Publishers.