Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings - neues Buch
2017, ISBN: 3319616595
1st ed. 2017 Kartoniert / Broschiert Diskret (mathematisch), EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2017, ISBN: 9783319616599
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings This book constitutes the refereed proceedings of the 14th International Conference on Logic Program… Mehr…
CampusRitter.de |
2017, ISBN: 9783319616599
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 1… Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2017, ISBN: 9783319616599
Paperback, [PU: Springer International Publishing AG], This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning,… Mehr…
BookDepository.com Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2017, ISBN: 9783319616599
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Buch, Softcover, 1st ed. 2017, [PU: Springer International Publishing], Springer International Publ… Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings - neues Buch
2017, ISBN: 3319616595
1st ed. 2017 Kartoniert / Broschiert Diskret (mathematisch), EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI… Mehr…
2017, ISBN: 9783319616599
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings This book constitutes the refereed proceedings of the 14th International Conference on Logic Program… Mehr…
2017
ISBN: 9783319616599
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 1… Mehr…
2017, ISBN: 9783319616599
Paperback, [PU: Springer International Publishing AG], This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning,… Mehr…
2017, ISBN: 9783319616599
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Buch, Softcover, 1st ed. 2017, [PU: Springer International Publishing], Springer International Publ… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic Programming and Nonmonotonic Reasoning
EAN (ISBN-13): 9783319616599
ISBN (ISBN-10): 3319616595
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2017
Herausgeber: Springer International Publishing
Buch in der Datenbank seit 2017-06-10T08:59:09+02:00 (Zurich)
Detailseite zuletzt geändert am 2022-10-23T15:14:34+02:00 (Zurich)
ISBN/EAN: 9783319616599
ISBN - alternative Schreibweisen:
3-319-61659-5, 978-3-319-61659-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: balducci, tomi, janhunen
Titel des Buches: logic pro, 2017, espoo, logic programming
Daten vom Verlag:
Autor/in: Marcello Balduccini; Tomi Janhunen
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Verlag: Springer; Springer International Publishing
359 Seiten
Erscheinungsjahr: 2017-06-29
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 359 p. 41 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; answer set; answer set programming; artificial intelligence; abduction; abstract argumentation; autoepistemic logic; constrains; deductive databases; default reasoning; description logics; knoweldge based systems; knowledge representation; logic programming; logic programs; Multi-Agent Systems (MAS); non-monotonic reasoning; programming languages; knowledge representation and reasoning; solvers, testing, synthesis; semantics; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Discrete Mathematics in Computer Science; Software Engineering; Programming Techniques; Theoretische Informatik; Mathematik für Informatiker; Diskrete Mathematik; Software Engineering; Computerprogrammierung und Softwareentwicklung; EA
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 Annotations via Answer Set Optimization.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783031157073 Logic Programming and Nonmonotonic Reasoning
- 9783031157073 Logic Programming and Nonmonotonic Reasoning
- 9783030205287 Logic Programming and Nonmonotonic Reasoning (Marcello Balduccini; Yuliya Lierler; Stefan Woltran)
- 0003540632557 Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings (Lecture Notes in Computer Science) (Nerode, Anil, Fuhrbach, Ulrich, Dix, J??rgen)
- 9783030205270 Logic Programming and Nonmonotonic Reasoning (Balduccini, Marcello|Lierler, Yuliya|Woltran, Stefan)
- 9783319232638 Logic Programming and Nonmonotonic Reasoning (Francesco Calimeri; Giovambattista Ianni; Miroslaw Truszczynski)
< zum Archiv...