000 05064nam a22006495i 4500
001 978-3-319-61660-5
003 DE-He213
005 20240730192411.0
007 cr nn 008mamaa
008 170627s2017 sz | s |||| 0|eng d
020 _a9783319616605
_9978-3-319-61660-5
024 7 _a10.1007/978-3-319-61660-5
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aLogic Programming and Nonmonotonic Reasoning
_h[electronic resource] :
_b14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
_cedited by Marcello Balduccini, Tomi Janhunen.
250 _a1st ed. 2017.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2017.
300 _aXIII, 359 p. 41 illus.
_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 ;
_v10377
505 0 _aInvited Talks -- The Design of the Seventh Answer Set Programming Competition -- A Bird's-Eye View of Forgetting in Answer-Set Programming -- Answer Set Programming and its Applications in Planning and Multi-Agent Systems -- From logic programming and non-monotonic reasoning to computational argumentation and beyond. - Nonmonotonic Reasoning Modular Construction of Minimal Models -- A Hasse Diagram for Weighted Sceptical Semantics with a Unique-status Grounded Semantics -- Foundations For A Probabilistic Event Calculus -- Contextual Reasoning: Usually Birds can Abductively Fly -- Including Quantification in Defeasible Reasoning for the Description Logic EL bot -- A Monotonic View on Reflexive Autoepistemic Reasoning -- The Minimal Inference Problem over Finite Domains: The Landscape of Complexity -- Answer Set Programming -- Gelfond-Zhang aggregates as propositional formulas -- Answer Set Solving with Bounded Treewidth Revisited -- Vicious Circle Principle and Formation of Sets in ASP Based Languages -- Answer Set Programs with Queries over Subprograms -- Explaining Inconsistency in Answer Set Programs and Extensions -- Blending Lazy-Grounding and CDNL Search for Answer-Set Solving -- Answer Set Programming with Graded Modality -- LPNMR Systems -- The ASP System DLV2 -- lp2normal - A Normalization Tool for Extended Logic Programs -- Harvey: A System for Random Testing in ASP -- NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond -- ArgueApply: A Mobile App for Argumentation -- LPNMR Applications -- catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming -- Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming -- plasp 3: Towards effective ASP Planning -- Nurse Scheduling via Answer Set Programming -- Hybrid Metabolic Network Completion -- Action Language Hybrid AL -- moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming -- Adjudication of Coreference Annotations via Answer Set Optimization. .
520 _aThis book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks. The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications.
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9149829
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aDiscrete mathematics.
_912873
650 0 _aSoftware engineering.
_94138
650 0 _aComputer programming.
_94169
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9149830
650 2 4 _aDiscrete Mathematics in Computer Science.
_931837
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aProgramming Techniques.
_9149831
700 1 _aBalduccini, Marcello.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9149832
700 1 _aJanhunen, Tomi.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9149833
710 2 _aSpringerLink (Online service)
_9149834
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319616599
776 0 8 _iPrinted edition:
_z9783319616612
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v10377
_9149835
856 4 0 _uhttps://doi.org/10.1007/978-3-319-61660-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94236
_d94236