2013, ISBN: 9783642452208
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artif… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Logic for Programming, Artificial Intelligence, and Reasoning | 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings | Ken McMillan (u. a.) | Buch - Taschenbuch
2013, ISBN: 9783642452208
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, … Mehr…
booklooker.de |
2013, ISBN: 9783642452208
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch,… Mehr…
Springer.com Nr. 978-3-642-45220-8. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings - Taschenbuch
2013, ISBN: 3642452205
[EAN: 9783642452208], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], LOGIC PROGRAMMING,MODAL LOGIC,ANSWER SET PROGRAMMING,THEOREM PROVING,KNOWLEDGE REASONING,, Gepflegter, sa… Mehr…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings 2013 - gebrauchtes Buch
2013, ISBN: 9783642452208
2013 Gepflegter, sauberer Zustand. 24303583/2 Versandkostenfreie Lieferung logic programming,modal logic,answer set programming,theorem proving,knowledge reasoning,, [PU:Springer Berlin,]
buchfreund.de |
2013, ISBN: 9783642452208
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artif… Mehr…
McMillan, Ken:
Logic for Programming, Artificial Intelligence, and Reasoning | 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings | Ken McMillan (u. a.) | Buch - Taschenbuch2013, ISBN: 9783642452208
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, … Mehr…
2013
ISBN: 9783642452208
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch,… Mehr…
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings - Taschenbuch
2013, ISBN: 3642452205
[EAN: 9783642452208], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], LOGIC PROGRAMMING,MODAL LOGIC,ANSWER SET PROGRAMMING,THEOREM PROVING,KNOWLEDGE REASONING,, Gepflegter, sa… Mehr…
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings 2013 - gebrauchtes Buch
2013, ISBN: 9783642452208
2013 Gepflegter, sauberer Zustand. 24303583/2 Versandkostenfreie Lieferung logic programming,modal logic,answer set programming,theorem proving,knowledge reasoning,, [PU:Springer Berlin,]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... Notes in Computer Science, Band 8312)
EAN (ISBN-13): 9783642452208
ISBN (ISBN-10): 3642452205
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2013
Herausgeber: McMillan, Ken, Middeldorp, Aart, Voronkov, Andrei, Springer
Buch in der Datenbank seit 2014-01-18T20:59:12+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-08T18:03:36+01:00 (Berlin)
ISBN/EAN: 9783642452208
ISBN - alternative Schreibweisen:
3-642-45220-5, 978-3-642-45220-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: voronkov, middel, vor, mcmillan
Titel des Buches: stellenbosch, reason art, art reasoning, arti, science south africa, logi, logic pro, art programming, artificial general intelligence
Daten vom Verlag:
Autor/in: Ken McMillan; Aart Middeldorp; Andrei Voronkov
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Verlag: Springer; Springer Berlin
794 Seiten
Erscheinungsjahr: 2013-12-02
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIV, 794 p. 178 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; answer set programming; knowledge reasoning; logic programming; modal logic; theorem proving; Software Engineering; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Compilers and Interpreters; Künstliche Intelligenz; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; EA
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.- May-Happen-in-Parallel Analysis for Priority-Based Scheduling.- The Complexity of Clausal Fragments of LTL.- A Semantic Basis for Proof Queries and Transformations.- Expressive Path Queries on Graphs with Data.- Proving Infinite Satisfiability.- SAT-Based Preprocessing for MaxSAT.- Dynamic and Static Symmetry Breaking in Answer Set Programming.- HOL Based First-Order Modal Logic Provers.- Resourceful Reachability as HORN-LA.- A Seligman-Style Tableau System.- Comparison of LTL to Deterministic Rabin Automata Translators.- Tree Interpolation in Vampire.- Polarizing Double-Negation Translations.- Revisiting the Equivalence of Shininess and Politeness.- Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic.- Multi-objective Discounted Reward Verification in Graphs and MDPs.- Description Logics, Rules and Multi-context Systems.- Complexity Analysis in Presence of Control Operators and Higher-Order Functions.- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.- Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving.- Verifying Temporal Properties in Real Models.- A Graphical Language for Proof Strategies.- A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus.- Relaxing Synchronization Constraints in Behavioral Programs.- Characterizing Subset Spaces as Bi-topological Structures.- Proof-Pattern Recognition and Lemma Discovery in ACL2.- Semantic A-translations and Super-Consistency Entail Classical Cut Elimination.- Blocked Clause Decomposition.- Maximal Falsifiability: Definitions, Algorithms, and Applications.- Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning.- On QBF Proofs and Preprocessing.- Partial Backtracking in CDCL Solvers.- Lemma Mining over HOL Light.- On Module-Based Abstraction and Repair of Behavioral Programs.- Predictionand Explanation over DL-Lite Data Streams.- Forgetting Concept and Role Symbols in ALCH-Ontologies.- Simulating Parity Reasoning.- Herbrand Theorems for Substructural Logics.- On Promptness in Parity Games.- Defining Privacy Is Supposed to Be Easy.- Reachability Modules for the Description Logic SRIQ.- An Event Structure Model for Probabilistic Concurrent Kleene Algebra.- Three SCC-Based Emptiness Checks for Generalized Büchi Automata.- PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.- Incremental Tabling for Query-Driven Propagation of Logic Program Updates.- Tracking Data-Flow with Open Closure Types.- Putting Newton into Practice: A Solver for Polynomial Equations over Semirings.- System Description: E 1.8.- Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light.- On Minimality and Integrity Constraints in Probabilistic Abduction.- POLAR: A Framework for Proof Refactoring.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540000105 Logic for Programming Artificial Intelligence and Reasoning (Matthias Baaz; Andrei Voronkov)
- 9783540000105 Logic for Programming Artificial Intelligence and Reasoning (Matthias Baaz; Andrei Voronkov)
- 9783540201014 Logic for Programming Artificial Intelligence and Reasoning (Moshe Vardi; Andrei Voronkov)
- Logic for Programming Artificial Intelligence and Reasoning (Martin Davis, Ansgar Fehnker, Annabelle McIver & Andrei Voronkov)
< zum Archiv...