Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings - Taschenbuch
2015, ISBN: 3319232630
[EAN: 9783319232638], Neubuch, [SC: 0.0], [PU: Springer-Verlag Gmbh Sep 2015], EDV / THEORIE INFORMATIK MATHEMATIK; SOFTWARE-ENTW. SOFTWARE ENGINEERING; INTELLIGENZ KÜNSTLICHE INTELLIGENZ… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings - neues Buch
2015, ISBN: 3319232630
Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz -… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings - neues Buch
2015, ISBN: 3319232630
1st ed. 2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2015, ISBN: 9783319232638
13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, Buch, Softcover, 1st ed. 2015, [PU: Springer International Publishing], Springer Interna… Mehr…
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |
2015, ISBN: 3319232630
Logic Programming and Nonmonotonic Reasoning - 13th International Conference LPNMR 2015 Lexington KY USA September 27-30 2015. Proceedings. 1st ed. 2015: ab 89.99 € Medien > Bücher
eBook.de Nr. 24630474. Versandkosten:, , DE. (EUR 0.00) Details... |
Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings - Taschenbuch
2015, ISBN: 3319232630
[EAN: 9783319232638], Neubuch, [SC: 0.0], [PU: Springer-Verlag Gmbh Sep 2015], EDV / THEORIE INFORMATIK MATHEMATIK; SOFTWARE-ENTW. SOFTWARE ENGINEERING; INTELLIGENZ KÜNSTLICHE INTELLIGENZ… Mehr…
Calimeri, Francesco (Herausgeber); Ianni, Giovambattista (Herausgeber); Truszczynski, Miroslaw (Herausgeber):
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings - neues Buch2015, ISBN: 3319232630
Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz -… Mehr…
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings - neues Buch
2015
ISBN: 3319232630
1st ed. 2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche… Mehr…
2015, ISBN: 9783319232638
13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, Buch, Softcover, 1st ed. 2015, [PU: Springer International Publishing], Springer Interna… Mehr…
2015, ISBN: 3319232630
Logic Programming and Nonmonotonic Reasoning - 13th International Conference LPNMR 2015 Lexington KY USA September 27-30 2015. Proceedings. 1st ed. 2015: ab 89.99 € Medien > Bücher
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic Programming and Nonmonotonic Reasoning
EAN (ISBN-13): 9783319232638
ISBN (ISBN-10): 3319232630
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer International Publishing
Buch in der Datenbank seit 2015-09-13T18:04:16+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-02-14T17:32:32+01:00 (Zurich)
ISBN/EAN: 9783319232638
ISBN - alternative Schreibweisen:
3-319-23263-0, 978-3-319-23263-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: miro
Titel des Buches: logic, lexington, book programming
Daten vom Verlag:
Autor/in: Francesco Calimeri; Giovambattista Ianni; Miroslaw Truszczynski
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Verlag: Springer; Springer International Publishing
574 Seiten
Erscheinungsjahr: 2015-09-07
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIV, 574 p. 76 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Answer set programming; Artificial intelligence; Constraint and logic programming; Knowledge representation and reasoning; Solvers; Automated reasoning; Belief revision; Deductive databases; Default reasoning; Digital forensics; Forensic models; Graded modality; Heuristics; Nonmonotonic reasoning; Object-oriented modeling; Program rewriting; Reasoning about belief and knowledge; Semantic data mining; Software systems; Well-founded semantics; Artificial Intelligence; Discrete Mathematics in Computer Science; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Programming Techniques; Mathematik für Informatiker; Diskrete Mathematik; Theoretische Informatik; Software Engineering; Computerprogrammierung und Softwareentwicklung; EA
Invited Talk: Stable Models for Temporal Theories.- Invited Talk: Algorithmic Decision Theory meets Logic.- Invited Talk: Relational and Semantic Data Mining.- Shift-design with Answer Set Programming.- Advances in WASP.- Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics.- Integrating ASP into ROS for Reasoning in Robots.- Automated inference of rules with exception from past legal cases using ASP.- Online Action Language oBC+.-aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.- _Add Another Blue Stack of the Same Height!_: Plan Failure Analysis and Interactive Planning Through Natural Language Communication.- A Theory of Intentions for Intelligent Agents (Extended Abstract).- Answer Set Programming modulo Acyclicity.- A Framework for Goal-Directed Query Evaluation with Negation.- Implementing preferences with aspirin.- Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP.- Performance Tuning in Answer Set Programming.- Enablers and Inhibitors in Causal Justifications of Logic Programs.- Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams.- Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments.- Digital Forensics Evidence Analysis: An Answer Set Programming.- Approach for Generating Investigation Hypotheses.- A Formal Theory of Justifications.- A New Computational Logic Approach to Reason with Conditionals.- Interactive debugging of non-ground ASP programs.- Linking Open-world Knowledge Bases using Nonmonotonic Rules.- ASP, Amalgamation, and the Conceptual Blending Workflow.- Diagnostic Reasoning for Robotics using Action Languages.- OOASP: Connecting Object-oriented and Logic Programming.- Reasoning with Forest Logic Programs Using Fully Enriched Automata.- ASP Solving for Expanding Universes.- Progress in clasp series 3.- Combining Heuristics for Configuration Problems Using Answer Set Programming.- Infinitary Equilibrium Logic and Strong Equivalence.- On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM.- Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.- Multi-Level Algorithm Selection for ASP.- Clause-Learning For Modular Systems.- Solving disjunctive fuzzy answer set programs.- Characterizing and Explaining Inconsistency in Logic Programs.- An Implementation of Consistency-Based Multi-Agent Belief Change using ASP.- ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories.- Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy.- Logic Programming with Graded Modality.-The Design of the Sixth Answer Set Programming Competition.- Doctoral Consortium Extended Abstract: Planning With Concurrent Transaction Logic.- Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences.- Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based DataAccess.- Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning.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)
- 9783030205270 Logic Programming and Nonmonotonic Reasoning (Balduccini, Marcello|Lierler, Yuliya|Woltran, Stefan)
- 9783319232645 Logic Programming and Nonmonotonic Reasoning (Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski)
- 9783642042386 Logic Programming and Nonmonotonic Reasoning als eBook Download von (Philippe G. Ciarlet)
< zum Archiv...