Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kirchner, Helene (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Ringeissen, Christophe (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1794
• Θέματα: Mathematical logic.; Artificial intelligence.; Mathematical Logic and Foundations.; Artificial Intelligence.; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

• Invited Paper
• Combining Logic and Optimization in Cutting Plane Theory
• Session 1
• Towards Cooperative Interval Narrowing
• Integrating Constraint Solving into Proof Planning
• Termination of Constraint Contextual Rewriting
• Invited Paper
• Axioms vs. Rewrite Rules: From Completeness to Cut Elimination
• Session 2
• Normal Forms and Proofs in Combined Modal and Temporal Logics
• Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
• Session 3
• Handling Differential Equations with Constraints for Decision Support
• Non-trivial Symbolic Computations in Proof Planning
• Integrating Computer Algebra and Reasoning through the Type System of Aldor
• Invited Paper
• Combinations of Model Checking and Theorem Proving
• Session 4
• Compiling Multi-paradigm Declarative Programs into Prolog
• Modular Redundancy for Theorem Proving
• Composing and Controlling Search in Reasoning Theories Using Mappings
• Invited Paper
• Why Combined Decision Problems Are Often Intractable
• Session 5
• Congruence Closure Modulo Associativity and Commutativity
• Combining Equational Theories Sharing Non-Collapse-Free Constructors
• Comparing Expressiveness of Set Constructor Symbols.