NDLI logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Transactions on Computational Logic (TOCL)
  2. ACM Transactions on Computational Logic (TOCL) : Volume 2
  3. Issue 4(Special issue devoted to Robert A. Kowalski), Oct 2001
  4. Editorial
Loading...

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

ACM Transactions on Computational Logic (TOCL) : Volume 17
ACM Transactions on Computational Logic (TOCL) : Volume 16
ACM Transactions on Computational Logic (TOCL) : Volume 15
ACM Transactions on Computational Logic (TOCL) : Volume 14
ACM Transactions on Computational Logic (TOCL) : Volume 13
ACM Transactions on Computational Logic (TOCL) : Volume 12
ACM Transactions on Computational Logic (TOCL) : Volume 11
ACM Transactions on Computational Logic (TOCL) : Volume 10
ACM Transactions on Computational Logic (TOCL) : Volume 9
ACM Transactions on Computational Logic (TOCL) : Volume 8
ACM Transactions on Computational Logic (TOCL) : Volume 7
ACM Transactions on Computational Logic (TOCL) : Volume 6
ACM Transactions on Computational Logic (TOCL) : Volume 5
ACM Transactions on Computational Logic (TOCL) : Volume 4
ACM Transactions on Computational Logic (TOCL) : Volume 3
ACM Transactions on Computational Logic (TOCL) : Volume 2
Issue 4(Special issue devoted to Robert A. Kowalski), Oct 2001
Editorial
On knowledge-based programming with sensing in the situation calculus
An extended transformation approach to inductive logic programming
Incremental execution of guarded theories
Strongly equivalent logic programs
Verifying security protocols as planning in logic programming
A computational theory of normative positions
Logic programming revisited: logic programs as inductive definitions
Issue 3, July 2001
Issue 2, April 2001
Issue 1, Jan 2001
ACM Transactions on Computational Logic (TOCL) : Volume 1

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
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
  • Chat with Us
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
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
I will try my best to help you...
Cite this Content
Loading...