000 05605nam a22005775i 4500
001 978-3-540-32124-8
003 DE-He213
005 20240730164230.0
007 cr nn 008mamaa
008 101221s2005 gw | s |||| 0|eng d
020 _a9783540321248
_9978-3-540-32124-8
024 7 _a10.1007/b135595
_2doi
050 4 _aQA76.76.C65
072 7 _aUMC
_2bicssc
072 7 _aCOM010000
_2bisacsh
072 7 _aUMC
_2thema
082 0 4 _a005.45
_223
245 1 0 _aApplications of Declarative Programming and Knowledge Management
_h[electronic resource] :
_b15th 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 /
_cedited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aX, 315 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v3392
505 0 _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.
520 _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.
650 0 _aCompilers (Computer programs).
_93350
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer programming.
_94169
650 1 4 _aCompilers and Interpreters.
_931853
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aProgramming Techniques.
_983200
700 1 _aSeipel, Dietmar.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983201
700 1 _aHanus, Michael.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983202
700 1 _aGeske, Ulrich.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983203
700 1 _aBartenstein, Oskar.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983204
710 2 _aSpringerLink (Online service)
_983206
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540255604
776 0 8 _iPrinted edition:
_z9783540809883
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v3392
_983207
856 4 0 _uhttps://doi.org/10.1007/b135595
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c85467
_d85467