Cantitate/Preț
Produs
Total produse
Vezi coșul
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings de Christian G. Fermüller

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6397

Editat de Christian G. Fermüller, Andrei Voronkov
en Limba Engleză Paperback – 27 sep 2010

Volumul de față se concentrează pe intersecția dintre logica formală, programare și inteligența artificială, prezentând cercetările validate în cadrul celei de-a 17-a ediții a conferinței LPAR. Merită menționat că selecția este una extrem de riguroasă, incluzând doar 41 de lucrări dintr-un total de 133, ceea ce asigură un standard înalt de relevanță tehnică pentru domeniile de raționament automatizat și metode formale. Ne-a atras atenția diversitatea tematică, de la complexitatea jocurilor de paritate până la aplicații specifice în logica descrierii și rezolvitorii SAT.

Suntem de părere că structura volumului reflectă o progresie naturală de la fundamentul teoretic spre implementarea computațională. Prima parte explorează nuanțe ale logicii în jocuri și conștientizarea în sisteme logice, evoluând ulterior spre subiecte de nișă precum logica Gödel și calculul tablou pentru spații de distanță arbitrară. Dacă alte volume din seria Lecture Notes in Computer Science v-au oferit cadrul teoretic general al informaticii, această lucrare oferă instrumentele practice necesare pentru a aborda probleme precum terminarea schimbării dimensiunii sau constrângerea metodei inverse prin atribuirea polarității dinamice.

Tehnologiile și metodele discutate, precum codificările SAT pentru solvenții CDCL sau utilizarea relațiilor cauzale în formalisme de acțiune, demonstrează aplicabilitatea logicii matematice în ingineria software modernă. Lucrarea este esențială pentru cercetătorii care urmăresc optimizarea complexității spațiale prin ordinele Knuth-Bendix sau explorarea deducției naturale focalizate, oferind o perspectivă tehnică asupra modului în care logica simbolică susține evoluția inteligenței artificiale.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 63876 lei

Preț vechi: 79845 lei
-20%

Puncte Express: 958

Carte disponibilă

Livrare economică 27 mai-10 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642162411
ISBN-10: 364216241X
Pagini: 656
Ilustrații: XII, 656 p. 83 illus.
Dimensiuni: 10 x 93 x 28 mm
Greutate: 0.94 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

De ce să citești această carte

Această resursă este indispensabilă cercetătorilor și studenților la doctorat care lucrează în domeniul metodelor formale și al inteligenței artificiale. Cititorul câștigă acces la soluții de ultimă oră pentru probleme de raționament automatizat și verificare. Este un volum dens, orientat spre cercetare aplicată, care fundamentează teoretic cele mai noi direcții în programarea logică și sistemele autonome.

Cuprins

The Complexity of Partial-Observation Parity Games.- Awareness in Games, Awareness in Logic.- Human and Unhuman Commonsense Reasoning.- Gödel Logics – A Survey.- Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces.- Extended Computation Tree Logic.- Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics.- SAT Encoding of Unification in .- Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.- Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models.- Characterising Space Complexity Classes via Knuth-Bendix Orders.- Focused Natural Deduction.- How to Universally Close the Existential Rule.- On the Complexity of the Bernays-Schönfinkel Class with Datalog.- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment.- Lazy Abstraction for Size-Change Termination.- A Syntactical Approach to Qualitative Constraint Networks Merging.- On the Satisfiability of Two-Variable Logic over Data Words.- Generic Methods for Formalising Sequent Calculi Applied to Provability Logic.- Characterising Probabilistic Processes Logically.- fCube: An Efficient Prover for Intuitionistic Propositional Logic.- Superposition-Based Analysis of First-Order Probabilistic Timed Automata.- A Nonmonotonic Extension of KLM Preferential Logic P.- On Strong Normalization of the Calculus of Constructions with Type-Based Termination.- Aligators for Arrays (Tool Paper).- Clause Elimination Procedures for CNF Formulas.- Partitioning SAT Instances for Distributed Solving.- Infinite Families of Finite String Rewriting Systems and Their Confluence.- Polite Theories Revisited.- Clausal Graph Tableaux for Hybrid Logic withEventualities and Difference.- The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach.- On the Complexity of Model Expansion.- Labelled Unit Superposition Calculi for Instantiation-Based Reasoning.- Boosting Local Search Thanks to cdcl.- Interpolating Quantifier-Free Presburger Arithmetic.- Variable Compression in ProbLog.- Improving Resource-Unaware SAT Solvers.- Expansion Nets: Proof-Nets for Propositional Classical Logic.- Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting.- An Isabelle-Like Procedural Mode for HOL Light.- Bottom-Up Tree Automata with Term Constraints.- Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories.- PBINT, A Logic for Modelling Search Problems Involving Arithmetic.- Resolution for Stochastic Boolean Satisfiability.- Symbolic Automata Constraint Solving.

Descriere

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.