Kenneth A. Bowen

Publication Activity (10 Years)

Years Active: 1975-1999
Publications (10 Years): 0

Publications

Kenneth A. Bowen
Adventures in the Prolog Trade. ICLP (1999)
Kenneth A. Bowen
New directions in logic programming. ACM Conference on Computer Science (1986)
Kenneth A. Bowen, Kevin A. Buettner, Ilyas Cicekli, Andrew K. Turk
The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler. ICLP (1986)
Kenneth A. Bowen, Tobias Weinberg
A Meta-Level Extension of Prolog. SLP (1985)
Kenneth A. Bowen
Meta-Level Programming and Knowledge Representation. New Gener. Comput. 3 (4) (1985)
Kenneth A. Bowen
Concurrent Execution of Logic. ICLP (1982)
Kenneth A. Bowen
Prolog. ACM Annual Conference (1979)
Kenneth A. Bowen
An Herbrand theorem for prenex formulas of LJ. Notre Dame J. Formal Log. 17 (2) (1976)
Kenneth A. Bowen
Normal modal model theory. J. Philos. Log. 4 (2) (1975)