03670nam 22006015 450 99646612450331620200702155744.03-540-46421-210.1007/10720084(CKB)1000000000548827(SSID)ssj0000323326(PQKBManifestationID)11277796(PQKBTitleCode)TC0000323326(PQKBWorkID)10296650(PQKB)10814380(DE-He213)978-3-540-46421-1(MiAaPQ)EBC3087948(PPN)155165615(EXLCZ)99100000000054882720121227d2000 u| 0engurnn|008mamaatxtccrFrontiers of Combining Systems[electronic resource] Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings /edited by Helene Kirchner, Christophe Ringeissen1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (X, 298 p.) Lecture Notes in Artificial Intelligence ;1794Bibliographic Level Mode of Issuance: Monograph3-540-67281-8 Includes bibliographical references at the end of each chapters and index.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.Lecture Notes in Artificial Intelligence ;1794Mathematical logicArtificial intelligenceMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical logic.Artificial intelligence.Mathematical Logic and Foundations.Artificial Intelligence.Mathematical Logic and Formal Languages.511.3Kirchner Heleneedthttp://id.loc.gov/vocabulary/relators/edtRingeissen Christopheedthttp://id.loc.gov/vocabulary/relators/edtFroCoS 2000BOOK996466124503316Frontiers of Combining Systems772665UNISA