LEADER 05137nam  22007215  450 
001 996465490803316
005 20200629120751.0
010   $a3-540-47312-2
024 7 $a10.1007/3-540-55930-2
035   $a(CKB)1000000000233869
035   $a(SSID)ssj0000324525
035   $a(PQKBManifestationID)11254568
035   $a(PQKBTitleCode)TC0000324525
035   $a(PQKBWorkID)10312557
035   $a(PQKB)10944140
035   $a(DE-He213)978-3-540-47312-1
035   $a(PPN)155166867
035   $a(EXLCZ)991000000000233869
100   $a20121227d1992      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic Programming in Action$b[electronic resource] $eSecond International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings /$fedited by Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe
205   $a1st ed. 1992.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992.
215   $a1 online resource (CCCXL, 330 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v636
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-55930-2 
327   $aTheory and practice in logic programming -- Constraint Logic Programming -- Scheduling and optimisation in the Automobile Industry -- Factory scheduling using finite domains -- The Prince project and its applications -- A (Gentle) introduction to deductive databases -- Knowledge based PPS applications in PROTOS-L -- The SECReTS banking expert system from phase 1 to phase 2 -- Logic engineering and clinical dilemmas -- A knowledge-based approach to strategic planning -- Expert systems in mining -- Natural and formal language processing -- PUNDIT ? Natural language interfaces -- The Esteam-316 dialogue manager -- Legislation as logic programs -- Knowledge representation for natural language processing -- A set of tools for VHDL design -- Tutorial notes: Reasoning about logic programs -- Software formal specification by logic programming: The example of standard Prolog -- The art of computer un-programming: Reverse engineering in Prolog -- Opium ? An advanced debugging system -- Automatic theorem proving within the portable AI Lab.
330   $aLogic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.
410  0$aLecture Notes in Artificial Intelligence ;$v636
606   $aArtificial intelligence
606   $aSoftware engineering
606   $aMathematical logic
606   $aComputer programming
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aArtificial intelligence.
615  0$aSoftware engineering.
615  0$aMathematical logic.
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aMathematical Logic and Foundations.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
615 24$aSoftware Engineering.
676   $a005.1/1
702   $aComyn$b Gerard$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFuchs$b Norbert E$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRatcliffe$b Michael J$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aLogic Programming Summer School
906   $aBOOK
912   $a996465490803316
996   $aLogic Programming in Action$92831212
997   $aUNISA