Examples with "logic programming method" and their translation in Duits
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
We use formal methods of computer science, in particular from logic programming, to investigate these problems on a theoretical level.
Wir untersuchen unsere Ansätze auf theoretischer Ebene mithilfe von formalen Methoden der Informatik, im Speziellen aus dem Gebiet der Logikorientierten Programmierung.
His main research interests were the application of innovative methods from the field of logic programming to the area of warehouse logistics.
Seine Hauptforschungsgebiete beinhalteten die Anwendung von innovativen Methoden der logischen Programmierung in der Intralogistik.
Furthermore, a programming method is proposed for a logic chip (10) of this type.
In this thesis, our interest is in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for intelligent information agents.
In dieser Dissertation wird untersucht, welche Rolle Methoden der deklarativen logischen Programmierung in der Entwicklung von Komponenten für intelligente Informationsagenten spielen können.
The method is developed for OPNs with arbitrary nesting. We then apply logic programming tools to animate (i.e. execute), compile and model check OPNs.
Es werden bekannte Werkzeuge aus dem Bereich der Logikprogrammierung eingesetzt, um Objekt-Petrinetze zu animieren (d.h. auszuführen), zu kompilieren und zu verifizieren (durch Model-Checking).
RAKI combines different machine learning methods for the first time: Inductive Logic Programming (ILP) and Reinforcement Learning (RL).
RAKI kombiniert erstmals verschiedene Methoden des maschinellen Lernens: Induktives logisches Programmieren (ILP) und Reinforcement Learning (RL).
Many researchers are exploring the potential of logic programming for data analysis.
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.