Leonard Bolc

According to our database, Leonard Bolc authored at least 16 papers between 1982 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Formal Description of Natural Languages: An HPSG Grammar of Polish.

Leonard Bolc

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2003

Many-valued logics 2 - automated reasoning and practical applications.

Leonard Bolc, Piotr Borowik

Springer, ISBN: 978-3-540-64507-8, 2003

1993

Book reviews.

Leonard Bolc, Roy Davies

Artif. Intell. Rev., 1993

1992

Search methods for artificial intelligence.

Leonard Bolc, Jerzy Cytowski

Academic Press, ISBN: 978-0-12-111240-0, 1992

1991

Book reviews.

Hyacinth S. Nwana, Tony Drapkin, Tony Dodd, Leonard Bolc, Alan F. Smeaton, Ajit Narayanan

Artif. Intell. Rev., 1991

1990

Book reviews.

David Gilmore, Geoff Cumming, Simon Ross, John Rosbottom, Elpida T. Keravnou, Tony Dodd, Madjid Merabti, G. Byron, Leonard Bolc, Ian Crookston

Artif. Intell. Rev., 1990

1989

Book reviews.

Blay Whitby, John Rosbottom, Richard S. Forsyth, S. C. Hand, Janice Clausen, Leonard Bolc, Steve Hedges, John Wolstencroft, Simon Ross, J. Garwood, Tony Dodd, Stephen J. Maskell, A. S. Bavan, Andrew Eliasz, Richard F. E. Sutcliffe, Ajit Narayanan

Artif. Intell. Rev., 1989

1988

Book reviews.

Stephen J. Maskell, R. A. Cobley, Leonard Bolc, Ajit Narayanan, G. H. Hall, Richard S. Forsyth, Tony Dodd

Artif. Intell. Rev., 1988

Book reviews.

Tony Dodd, Leonard Bolc, Paul Taylor, Judith Wusterman, Blay Whitby, Carlton McDonald, J. Garwood, Jim Sholicar, Wendy J. Milne, Michael Pengelly, Tony Priest, Antony Galton, Mahesan Niranjan, D. Rainton, J. R. Thomas, Steve Hedges, Barbara Gorayska

Artif. Intell. Rev., 1988

Expert system applications.

Leonard Bolc, Conrad Bock

Symbolic computation, Springer, ISBN: 0387187227, 1988

1987

Book reviews.

Leonard Bolc, Blay Whitby

Artif. Intell. Rev., 1987

Computational models of learning.

Leonard Bolc, Gary L. Bradshaw

Symbolic computation - Artificial intelligence, Springer, ISBN: 0387163182, 1987

1985

A Natural Language Information Retrieval System with Extensions Towards Fuzzy Reasoning.

Leonard Bolc, Adam Kowalski, Malgorzata Kozlowska, Tomek Strzalkowski

Int. J. Man Mach. Stud., 1985

1984

Natural language communication with pictorial information systems.

Leonard Bolc

Symbolic computation, Springer, ISBN: 0387134786, 1984

1983

Natural, Language Information Retrieval System Dialog.

Leonard Bolc, K. Kochut, A. Lesniewski, Tomek Strzalkowski

Proceedings of the EACL 1983, 1983

1982

Transformation Of Natural Language Into Logical Formulas.

Leonard Bolc, Tomek Strzalkowski

Proceedings of the 9th International Conference on Computational Linguistics, 1982