Logic for Programming Artificial Intelligence and Reasoning - nouveau livre

EAN (ISBN-13): 9783540360780
Date de parution: 2002
Editeur: Springer Berlin Heidelberg

Livre dans la base de données depuis 2017-04-25T23:19:25+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-25T11:31:29+01:00 (Paris)
ISBN/EAN: 9783540360780

ISBN - Autres types d'écriture:
978-3-540-36078-0
Autres types d'écriture et termes associés:
Auteur du livre: voronkov, matthias
Titre du livre: logic programming, artificial intelligence

---

Données de l'éditeur

Auteur: Matthias Baaz; Andrei Voronkov
Titre: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic for Programming, Artificial Intelligence, and Reasoning - 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Editeur: Springer; Springer Berlin
470 Pages
Date de parution: 2003-06-30
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIV, 470 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Artificial intelligence; Isabelle; Resolution; formal verification; intelligence; logic; programming; verification; C; Theory of Computation; Software Engineering; Artificial Intelligence; Computer Science; Computer Science Logic and Foundations of Programming; Computer Science; Software Engineering; Künstliche Intelligenz; Informatik; BC

Improving On-Demand Strategy Annotations.- First-Order Logic as a Constraint Programming Language.- Maintenance of Formal Software Developments by Stratified Verification.- A Note on Universal Measures for Weak Implicit Computational Complexity.- Extending Compositional Message Sequence Graphs.- Searching for Invariants Using Temporal Resolution.- Proof Planning for Feature Interactions: A Preliminary Report.- An Extension of BDICTL with Functional Dependencies and Components.- Binding Logic: Proofs and Models.- Directed Automated Theorem Proving.- A Framework for Splitting BDI Agents.- On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics.- Using BDDs with Combinations of Theories.- On Expressive Description Logics with Composition of Roles in Number Restrictions.- Query Optimization of Disjunctive Databases with Constraints through Binding Propagation.- A Non-commutative Extension of MELL.- Procedural Semantics for Fuzzy Disjunctive Programs.- Pushdown Specifications.- Theorem Proving with Sequence Variables and Flexible Arity Symbols.- Games, Probability, and the Quantitative ?-Calculus qM?.- Parallelism and Tree Regular Constraints.- Gödel Logics and Cantor-Bendixon Analysis.- A Semantics for Proof Plans with Applications to Interactive Proof Planning.- An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction.- Proof Development with ?MEGA: ?2 Is Irrational.- A Local System for Linear Logic.- Investigating Type-Certifying Compilation with Isabelle.- Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.- Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.- Fuzzy Prolog: A Simple General Implementation Using (R).
Includes supplementary material: sn.pub/extras