UNIVERSITÄTSBIBLIOTHEK

Extending automatic theorem proving by planning

  • A general concept for combining planning with automatic theorem provingis introduced. From this a system architecture based on the notion of planningtrees, methods and sensors is developed. It is illustrated by examples taken fromthe domain of sorting algorithms.

Volltext Dateien herunterladen

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar
Metadaten
Verfasserangaben:Inger Sonntag, Jörg Denzinger
URN (Permalink):urn:nbn:de:hbz:386-kluedo-3149
Schriftenreihe (Bandnummer):SEKI Report (93,2)
Dokumentart:Preprint
Sprache der Veröffentlichung:Englisch
Jahr der Fertigstellung:1993
Jahr der Veröffentlichung:1993
Veröffentlichende Institution:Technische Universität Kaiserslautern
Datum der Publikation (Server):01.09.1999
Fachbereiche / Organisatorische Einheiten:Fachbereich Informatik
DDC-Sachgruppen:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Lizenz (Deutsch):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011