-
Guest editor's introduction: Logic-based heterogeneous information systems
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Computing abduction by using TMS with top-down expectation
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Tracing Prolog programs by source instrumentation is efficient enough
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Recursive query plans for data integration
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Regular papers - An algebraic approach to sharing analysis of logic programs
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Technical note - Defeasible logic versus Logic Programming without Negation as Failure
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
An abductive event calculus planner
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
ACLP: Abductive Constraint Logic Programming
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Abductive logic programming and disjunctive logic programming: their relationship and transferability
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Abstract domains for reordering Lin programs
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Compositionality of normal open logic programs
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Conditional reasoning in logic programming
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Erratum to: "Conjunctive partial deduction: foundations, control, algorithms and experiments" (The Journal of Logic Programming 41 (1999) 231)
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Regular paper - Operational and goal-independent denotational semantics for Prolog with cut
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Special issue: abductive logic programming
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
A logical approach to cooperative information systems
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Demand transformation analysis for concurrent constraint programs
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Argumentation-based abduction in disjunctive logic programming
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
An abstract machine for efficiently computing queries to well-founded models
Online Contents | 2000|Schlagwörter: Logische Programmierung, Programmierung -
Technical notes - On the Floyd -- Warshall algorithm for logic programs
Online Contents | 1999|Schlagwörter: Logische Programmierung, Programmierung
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.