Eine entscheidbare Klasse n-stelliger Horn-Prädikate
نویسنده
چکیده
Das Rechnen mit unendlichen Mengen von Grundtermen hat zahlreiche Anwendungen, speziell auf den Gebieten der Programmanalyse und des automatischen Beweisens: z.B. Typ-Inferenz in PROLOG, basierend auf einer oberen Abschätzung der Extension von Prädikaten [9]; Berechnung einfacher Invarianten imperativer Programme [8]; Beschreibung von Bildmengen von Abstraktionsfunktionen in Implementierungsbeweisen [2]; Beschreibung der Äquivalenzklassen von Grundtermen für E-AntiUnifikation [6]; usw.
منابع مشابه
Extraktion von regelbasiertem Wissen aus Genexpressionsdaten und dessen Validierung
ii Gutachter 1. 2. 3. Liste der wichtigsten Symbole ∆n Differenz der Stimmenzahlen für eine und die entgegengesetzte Klasse A i Klasse B free Bonferroni-Multiplikator l i β Regel c Anzahl von originalen Kategorien C k Untermenge der Objekten D i (∆n) Dispersion von ∆n, IG (W, x) Information Gain γ (A i) Wahrscheinlichkeit, dass das Objekt k zur Klasse A i-gehören wird γ i (l i β) Maß der Kreuzu...
متن کاملCoRE - komponentenorientierte Entwicklung offener verteilter Softwaresysteme im Telekommunikationskontext
class Für jede abstrakte Klasse wird eine C++-Klasse mit einem Protected-Konstruktor erzeugt. attribute Für jedes Attribut einer Metaklasse wird eine Member-Variable der C++-Klasse erzeugt. Zusätzlich wird eine getund eine set-Methode für den Wert der Member-Variablen im Kontext der Klasse implementiert. operation Für jede Operation wird eine entsprechende Methode im Kontext der C++Klasse imple...
متن کاملEreignismodellierung zur inkrementellen High-Level Bildfolgenanalyse
Dieser Bericht1 befaßt sich mit dem Problem der inkrementellen Erkennung von Ereignissen in zeitveränderlichen Szenen. Als Voraussetzung für die Anwendung einer inkrementellen Erkennungsstrategie wird das prototypische Auftreten eines Ereignisses durch ein Ablaufschema beschrieben. Ausgehend von einem diskreten Zeitmodell werden spezielle Prädikate definiert, mit deren Hilfe auch die zum Beobac...
متن کاملEin modellbasierter Ansatz für adaptierbare und selbstadaptive Komponenten
ComponentInstance Abstrakte Klasse. Die Klasse beschreibt eine Komponenteninstanz, die innerhalb von (Template-)Konfigurationen und (Template-)Variationen verwendet wird. Sie besitzt einen eindeutigen Namen im Kontext der Adaptierbaren Komponente. Membervariablen id : String
متن کاملCompleteness for parallel access to NP and counting class separation
Die Dissertation beschäftigt sich mit Problemen, die vollständig für die Komplexitätsklasse P ‖ sind, sowie mit der Separation von Zählklassen. P NP ‖ ist die Klasse der Probleme, die sich effizient mit parallelem Zugriff auf NP lösen lassen. Wir untersuchen die Komplexität von mit Wahlsystemen assoziierten Problemen. Wahlsysteme sind Vorschriften, nach denen aus einer Kandidatenmenge die Gewin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1404.1947 شماره
صفحات -
تاریخ انتشار 2014