Kenneth A. Bowen

Affiliations:
  • Syracuse University, School of Computer & Information Science, Syracuse, NY, USA
  • University of Illinois at Urbana-Champaign, Champaign, IL, USA (PhD 1968)


According to our database1, Kenneth A. Bowen authored at least 9 papers between 1975 and 1999.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Awards

IEEE Fellow

IEEE Fellow 2003, "For contributions to the development of polymer compounds, coated metal shielding, and laminate sheaths for wire and cable applications.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1999
Adventures in the Prolog Trade.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1986
The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler.
Proceedings of the Third International Conference on Logic Programming, 1986

New directions in logic programming.
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985
Meta-Level Programming and Knowledge Representation.
New Gener. Comput., 1985

A Meta-Level Extension of Prolog.
Proceedings of the 1985 Symposium on Logic Programming, 1985

1982
Concurrent Execution of Logic.
Proceedings of the First International Logic Programming Conference, 1982

1979
Prolog.
Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979

1976
An Herbrand theorem for prenex formulas of LJ.
Notre Dame J. Formal Log., 1976

1975
Normal modal model theory.
J. Philos. Log., 1975


  Loading...