LEADER 06097nam 22006615 450 001 996465800403316 005 20200705114247.0 024 7 $a10.1007/b135595 035 $a(CKB)1000000000212910 035 $a(SSID)ssj0000316250 035 $a(PQKBManifestationID)11229648 035 $a(PQKBTitleCode)TC0000316250 035 $a(PQKBWorkID)10263914 035 $a(PQKB)11456014 035 $a(DE-He213)978-3-540-32124-8 035 $a(MiAaPQ)EBC3067556 035 $a(PPN)123093813 035 $a(EXLCZ)991000000000212910 100 $a20101221d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplications of Declarative Programming and Knowledge Management$b[electronic resource] $e15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers /$fedited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 315 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3392 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-32124-1 311 $a3-540-25560-5 320 $aIncludes bibliographical references and index. 327 $aKnowledge Management and Decision Support -- Optimizing the Evaluation of XPath Using Description Logics -- Declaratively Querying and Visualizing Knowledge Bases in Xml -- SQL Based Frequent Pattern Mining with FP-Growth -- Incremental Learning of Transfer Rules for Customized Machine Translation -- Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases -- An Evaluation of a Rule-Based Language for Classification Queries -- Deductive and Inductive Reasoning on Spatio-Temporal Data -- Mining Semantic Structures in Movies -- Solving Alternating Boolean Equation Systems in Answer Set Programming -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints -- Realising the Alternative Resources Constraint -- Integrating Time Constraints into Constraint-Based Configuration Models -- Distributed Constraint-Based Railway Simulation -- Declarative Programming and Web-Based Systems -- Concurrent Engineering to Wisdom Engineering -- Web Services Based on Prolog and Xml -- A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language -- DialogEngines ? Dialog Agents for Web-Based Self Service Consulting -- Towards Ubiquitous Maintenance ? Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming -- A Pragmatic Approach to Pre-testing Prolog Programs. 330 $aThis volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear?sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems. 410 0$aLecture Notes in Artificial Intelligence ;$v3392 606 $aProgramming languages (Electronic computers) 606 $aArtificial intelligence 606 $aComputer programming 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aProgramming languages (Electronic computers). 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 676 $a005/.3/1 702 $aSeipel$b Dietmar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHanus$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGeske$b Ulrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBartenstein$b Oskar$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Logic Programming$d(18th :$f2004 :$ePotsdam, Germany) 906 $aBOOK 912 $a996465800403316 996 $aApplications of Declarative Programming and Knowledge Management$9772096 997 $aUNISA LEADER 04378nam 22006615 450 001 996465596403316 005 20200705171414.0 010 $a3-540-49573-8 024 7 $a10.1007/BFb0024423 035 $a(CKB)1000000000234557 035 $a(SSID)ssj0000323236 035 $a(PQKBManifestationID)11212802 035 $a(PQKBTitleCode)TC0000323236 035 $a(PQKBWorkID)10312544 035 $a(PQKB)11083048 035 $a(DE-He213)978-3-540-49573-4 035 $a(PPN)155200925 035 $a(EXLCZ)991000000000234557 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Systems Specification$b[electronic resource] $eThe RPC-Memory Specification Case Study /$fedited by Manfred Broy, Stephan Merz, Katharina Spies 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (XXIII, 543 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1169 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61984-4 327 $aThe RPC-memory specification problem problem statement -- The RPC-memory case study: A synopsis -- A TLA solution to the RPC-memory specification problem -- A dynamic specification of the RPC-memory problem -- A memory module specification using composable high-level petri nets -- Constraint oriented temporal logic specification -- A functional solution to the RPC-memory specification problem -- A solution relying on the model checking of boolean transition systems -- Applying a temporal logic to the RPC-memory specification problem -- Using PVS for an assertional verification of the RPC-memory specification problem -- Specification and verification using a visual formalism on top of temporal logic -- A case study in verification based on trace abstractions -- Incremental specification with joint actions: The RPC-memory specification problem -- The methodology of modal constraints -- Tackling the RPC-memory specification problem with I/O automata -- Using relations on streams to solve the RPC-memory specification problem -- The RPC-memory specification problem: UNITY + refinement calculus. 330 $aThe RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1169 606 $aComputers 606 $aSoftware engineering 606 $aComputer communication systems 606 $aComputer logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aComputer logic. 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aLogics and Meanings of Programs. 676 $a004/.36 702 $aBroy$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMerz$b Stephan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSpies$b Katharina$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465596403316 996 $aFormal systems specification$91487580 997 $aUNISA