NDLI: Editorial

Please wait, while we are loading the content...

Editorial

Content Provider	ACM Digital Library
Author	Apt, Krzysztof R. Kakas, Antonis C. Sadri, Fariba
Copyright Year	2001
Abstract	This special issue of the ACM Transactions on Computational Logic (TOCL) is dedicated to Robert A. Kowalski, or as he is better known, to Bob Kowalski, on the occasion of his 60th birthday. Throughout his distinguished research career Bob has been interested in various forms of logic-based reasoning from the computer science point of view. This novel view of logic has had an impact on a number of areas, including programming languages, databases, artificial intelligence, natural language processing, and more recently machine learning. In the late sixties and early seventies Bob contributed to the development of the theory of resolution by proposing a number of modifications to the original proposal of Alan Robinson. One of the notions that withstood the test of time is his and Hayes concept of semantic trees. This research eventually led him to the seminal 1974 paper Predicate Logic as a Programming Language which is at the roots of the logic programming paradigm. His early work with Maarten van Emden provided a direction for the subsequent research on procedural and declarative semantics of programming languages within the specific field of logic programming. In turn, his influential dictum "Algorithm+Logic=Control" has shaped our views on the essence of declarative programming within the logic programming framework and has had a large impact on the design of new control mechanisms for this approach to programming. His subsequent research revealed the rich potential of the logic programming paradigm. He showed how legal, metalevel, and commonsense reasoning can naturally be formalized by means of logic programs. His work with Marek Sergot on the event calculus had a long-standing impact on the research effort of representing temporal knowledge and formalizing commonsense reasoning. His research on verification of integrity constraints for database systems became highly relevant in deductive and temporal databases, while his work on abductive reasoning and argumentation was influential for mechanized legal and diagnostic reasoning. More recently, his work on multiagent systems has helped shape new approaches to building intelligent distributed systems. Several of these themes can be found in the collection of papers that constitute this special issue. All of these papers were solicited directly by the guest editors but, conforming to the high standards of TOCL, went through the usual rigorous refereeing process. We would like to thank the authors of the contributed papers for their willingness and interest in contributing to this issue. We also thank the referees for their precious time in providing helpful reviews of the submissions.And to Bob we extend our best wishes and hope he will agree with us thatthis special issue shows, at least partly, the long-term impact of his research.
Starting Page	431
File Format	PDF
ISSN	15293785
e-ISSN	1557945X
DOI	10.1145/383779.383823
Volume Number	2
Issue Number	4
Journal	ACM Transactions on Computational Logic (TOCL)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2001-10-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Subject	Theoretical Computer Science Logic Computational Mathematics Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in