Frontiers of Combining Systems
| Themengebiete: | Integration (allgemein) Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI |
|---|---|
| Veröffentlichungsdatum: | 15.03.2000 |
| EAN: | 9783540672814 |
| Sprache: | Englisch |
| Seitenzahl: | 308 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Kirchner, Helene Ringeissen, Christophe |
| Verlag: | Springer Springer-Verlag GmbH |
| Untertitel: | Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings |
Produktinformationen "Frontiers of Combining Systems"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen