TY - GEN N2 - The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. Topics include theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.Logic Programming series, Research Reports and Notes. AB - The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. Topics include theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.Logic Programming series, Research Reports and Notes. T1 - Logic programming :proceedings of the 1997 International Symposium / DA - ©1997. CY - Cambridge, Mass. : AU - Małuszyński, J. CN - QA76.63 PB - MIT Press, PP - Cambridge, Mass. : PY - ©1997. N1 - Symposium held Oct. 13-16, 1997. ID - 1412268 KW - Logic programming KW - COMPUTER SCIENCE/Programming Languages SN - 9780262291323 SN - 0262291320 TI - Logic programming :proceedings of the 1997 International Symposium / LK - https://univsouthin.idm.oclc.org/login?url=https://doi.org/10.7551/mitpress/4283.001.0001?locatt=mode:legacy LK - http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf UR - https://univsouthin.idm.oclc.org/login?url=https://doi.org/10.7551/mitpress/4283.001.0001?locatt=mode:legacy UR - http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf ER -