Monografie
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 2001
- Identifier
-
972325425
Thema
Endliche Algebra ; Gruppentheorie ; Automatisches Beweisverfahren ; Blackboard ; Endliche Algebra ; Automatisches Beweisverfahren ; Blackboard ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
Sorge, Volker
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Beteiligte
- Sorge, Volker
Ähnliche Objekte (12)
Proof planning with multiple strategies
Superposition theorem proving for commutative algebraic theories
User-adaptive proof explanation
Cryptographically sound analysis of security protocols
Hierarchical contextual reasoning
Cancellative Abelian monoids in refutational theorem proving
Equality and extensionality in automated higher-order theorem proving
Proofs, programs and executable specifications in higher order logic
Soft typing for clausal inference systems
Formal verification of a fully IEEE compliant floating point unit
Das Kontruktionsproblem
Resolution-based decision procedures for subclasses of first-order logic
Proof planning with multiple strategies
Superposition theorem proving for commutative algebraic theories
User-adaptive proof explanation
Cryptographically sound analysis of security protocols
Hierarchical contextual reasoning
Cancellative Abelian monoids in refutational theorem proving
Equality and extensionality in automated higher-order theorem proving
Proofs, programs and executable specifications in higher order logic
Soft typing for clausal inference systems
Formal verification of a fully IEEE compliant floating point unit
Das Kontruktionsproblem
Resolution-based decision procedures for subclasses of first-order logic
Proof planning with multiple strategies
Superposition theorem proving for commutative algebraic theories
User-adaptive proof explanation
Cryptographically sound analysis of security protocols
Hierarchical contextual reasoning
Cancellative Abelian monoids in refutational theorem proving
Equality and extensionality in automated higher-order theorem proving
Proofs, programs and executable specifications in higher order logic
Soft typing for clausal inference systems
Formal verification of a fully IEEE compliant floating point unit
Das Kontruktionsproblem