book chapter · Lecture notes in computer science · 2023
Machines as Thought Partners: Reflections on 50 Years of Prolog
Gregory Gelfond, Marcello Balduccini, David Ferrucci, Adi Kalyanpur, Adam Lally
Cited by 1Abstract and details only
Abstract
The index has no abstract for this paper. The publisher’s page may have one.
Cite this paper
Gelfond, G., Balduccini, M., Ferrucci, D., Kalyanpur, A., & Lally, A. (2023). Machines as Thought Partners: Reflections on 50 Years of Prolog. Lecture notes in computer science, 386–392. https://doi.org/10.1007/978-3-031-35254-6_31
Gelfond, Gregory, et al. “Machines as Thought Partners: Reflections on 50 Years of Prolog.” Lecture notes in computer science, 2023, pp. 386–92, https://doi.org/10.1007/978-3-031-35254-6_31.
Gelfond, Gregory, Marcello Balduccini, David Ferrucci, Adi Kalyanpur, and Adam Lally. 2023. “Machines as Thought Partners: Reflections on 50 Years of Prolog.” Lecture notes in computer science: 386–92. https://doi.org/10.1007/978-3-031-35254-6_31.
Gelfond, G. et al. (2023) ‘Machines as Thought Partners: Reflections on 50 Years of Prolog’, Lecture notes in computer science, pp. 386–392. Available at: https://doi.org/10.1007/978-3-031-35254-6_31.
@incollection{gelfond2023machines,
title = {{Machines as Thought Partners: Reflections on 50 Years of Prolog}},
author = {Gelfond, Gregory and Balduccini, Marcello and Ferrucci, David and Kalyanpur, Adi and Lally, Adam},
booktitle = {Lecture notes in computer science},
pages = {386--392},
year = {2023},
doi = {10.1007/978-3-031-35254-6_31}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.
Related papers
Multi-paradigm Declarative Languages
Michael Hanus · Springer eBooks · 2007
Cited by 101
A Design Space for Integrating Declarative Languages
John Darlington, Yike Guo, Helen Pull · Workshops in computing · 1992
Cited by 1
A Predicate Construct for Declarative Programming in Imperative Languages
James F. Smith, Xiangyu Guo, Ajay Bansal · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 2022
Cited by 1
The unification of functional and logic languages-towards constraint functional programming
John Darlington, Yike Guo · IEEE Region 10 Conference (TENCON) · 2003
Cited by 6
Logic Program Specialisation
Michaël Leuschel · Lecture notes in computer science · 1999
Cited by 23
Declarative Programming
Phillip C.‐Y. Sheu · Springer eBooks · 1997
Cited by 2
Chapter 2 Programming languages
Henri E. Bal, Dick Grune · Handbooks in operations research and management science · 1992
Cited by 0
Object-oriented programming as the end of history in programming languages
M. H. van Emden · IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM) · 2002
Cited by 2