Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Mentés helye:
| Testületi szerző(k): | |
|---|---|
| Közreműködő(k): | |
| Különgyűjtemény: | e-book |
| Formátum: | könyv |
| Nyelv: | angol |
| Megjelenés: |
Cham : Springer International Publishing,
2017
|
| Sorozat: | Lecture Notes in Artificial Intelligence ; 10377 |
| Tárgyszavak: | |
| Online elérés: | https://doi.org/10.1007/978-3-319-61660-5 |
| Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
| id |
opac-EUL01-000954704 |
|---|---|
| collection |
e-book |
| institution |
L_042 EUL01 |
| spelling |
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings edited by Marcello Balduccini, Tomi Janhunen Cham Springer International Publishing 2017 XIII, 359 p. ill. szöveg txt rdacontent számítógépes c rdamedia távoli hozzáférés cr rdacarrier szövegfájl PDF rda Lecture Notes in Artificial Intelligence 10377 Invited 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 This 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. Nyomtatott kiadás: ISBN 9783319616599 Nyomtatott kiadás: ISBN 9783319616612 Az e-könyvek a teljes ELTE IP-tartományon belül online elérhetők. könyv e-book Artificial intelligence. EUL10000183324 Y mesterséges intelligencia EUL10000021058 Y Logic design. EUL10000437736 Y Computer science. EUL10000449227 Y számítástudomány EUL10000219601 Y Computational complexity. EUL10000488941 Y Software engineering. EUL10000225264 Y szoftverfejlesztés EUL10000332283 Y Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Discrete Mathematics in Computer Science. Software Engineering. Programming Techniques. elektronikus könyv Balduccini, Marcello szerk. EUL10001015082 Y Janhunen, Tomi szerk. EUL10001015084 Y SpringerLink (Online service) közreadó testület International Conference on Logic Programming and Nonmonotonic Reasoning 14. 2017 Espoo, Finnország Lecture notes in artificial intelligence EUL10000129854 Y LNAI EUL10000129854 N Online változat https://doi.org/10.1007/978-3-319-61660-5 Cham Springer International Publishing Imprint: Springer 2017 EUL01 |
| language |
English |
| format |
Book |
| author2 |
Balduccini, Marcello, szerk. Janhunen, Tomi, szerk. |
| author_facet |
Balduccini, Marcello, szerk. Janhunen, Tomi, szerk. SpringerLink (Online service), közreadó testület International Conference on Logic Programming and Nonmonotonic Reasoning14.(2017) (Espoo, Finnország) |
| author_corporate |
SpringerLink (Online service), közreadó testület International Conference on Logic Programming and Nonmonotonic Reasoning14.(2017) (Espoo, Finnország) |
| author_sort |
Balduccini, Marcello |
| title |
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings |
| spellingShingle |
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings Lecture Notes in Artificial Intelligence ; 10377 Artificial intelligence. mesterséges intelligencia Logic design. Computer science. számítástudomány Computational complexity. Software engineering. szoftverfejlesztés Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Discrete Mathematics in Computer Science. Software Engineering. Programming Techniques. elektronikus könyv |
| title_sub |
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings |
| title_short |
Logic Programming and Nonmonotonic Reasoning |
| title_full |
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings edited by Marcello Balduccini, Tomi Janhunen |
| title_fullStr |
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings edited by Marcello Balduccini, Tomi Janhunen |
| title_full_unstemmed |
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings edited by Marcello Balduccini, Tomi Janhunen |
| title_auth |
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings |
| title_sort |
logic programming and nonmonotonic reasoning 14th international conference lpnmr 2017 espoo finland july 3 6 2017 proceedings |
| series |
Lecture Notes in Artificial Intelligence ; 10377 |
| series2 |
Lecture notes in artificial intelligence LNAI |
| publishDate |
2017 |
| publishDateSort |
2017 |
| physical |
XIII, 359 p. : ill. |
| isbn |
978-3-319-61660-5 |
| callnumber-first |
Q - Science |
| callnumber-subject |
Q - General Science |
| callnumber-label |
Q334-342 |
| callnumber-raw |
13816 |
| callnumber-search |
13816 |
| topic |
Artificial intelligence. mesterséges intelligencia Logic design. Computer science. számítástudomány Computational complexity. Software engineering. szoftverfejlesztés Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Discrete Mathematics in Computer Science. Software Engineering. Programming Techniques. elektronikus könyv |
| topic_facet |
Artificial intelligence. mesterséges intelligencia Logic design. Computer science. számítástudomány Computational complexity. Software engineering. szoftverfejlesztés Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Discrete Mathematics in Computer Science. Software Engineering. Programming Techniques. elektronikus könyv Artificial intelligence. mesterséges intelligencia Logic design. Computer science. számítástudomány Computational complexity. Software engineering. szoftverfejlesztés Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Discrete Mathematics in Computer Science. Software Engineering. Programming Techniques. |
| url |
https://doi.org/10.1007/978-3-319-61660-5 |
| illustrated |
Illustrated |
| dewey-hundreds |
000 - Computer science, information & general works |
| dewey-tens |
000 - Computer science, knowledge & systems |
| dewey-ones |
006 - Special computer methods |
| dewey-full |
006.3 |
| dewey-sort |
16.3 |
| dewey-raw |
006.3 |
| dewey-search |
006.3 |
| first_indexed |
2023-12-26T23:17:46Z |
| last_indexed |
2023-12-29T19:19:17Z |
| recordtype |
opac |
| publisher |
Cham : Springer International Publishing |
| _version_ |
1786641340131442688 |
| score |
13,364363 |
| generalnotes |
This 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. |