Vertaling van "Answer-Set" in Engels
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.
Syntax und Semantik deklarativer „Site-Selection Programme" werden definiert, indem auf fortgeschrittene Methoden der Answer-Set Programmierung zurückgegriffen wird, die der Behandlung von Prioritäten und dem quantitativen Schließen dienen.
We define syntax and semantics of declarative site-selection programs, making use of advanced methods from answer set programming for priority handling and quantitative reasoning.
Grundlagen wissensbasierter Systeme (Logik, Nichtmonotones Schließen, Answer-Set Programmierung, Probabilistische Methoden, Entwicklung wissensbasierter Systeme).
Inhalt der Lehrveranstaltung Foundations of knowledged based systems (search, rules, description logics, answer set programming).
Nach einer umfassenden Komplexitätsanalyse und der Untersuchung von Äquivalenzen für diese beiden Semantiken, wenden wir die erlangten Resultate für zwei unterschiedlichen Implementierungsmethoden an, nämlich in Form von Answer-Set Programming und von Algorithmen die auf der Berechnung von Labelings basieren.
After a complete complexity analysis and the investigation of equivalences for these two semantics, we apply the obtained results on two different implementation methods, namely the reduction-based approach of answer-set programming and the direct implementation in terms of labeling-based algorithms.
Andere resultaten
Unsere Vorwärtsverkettungsmaschine liefert schon nodes Hashing, sodass Answer Set Programming zügig ausgeführt werden kann.
Our forward chaining engine already provides nodes hashing, so that answer set programming runs swiftly.
Hexlite und Non-Ground Abstraktion für Answer Set Programme zur Publikation bei JELIA angenommen!
News Hexlite and Non-Ground Abstraction for Answer Set Programs accepted at JELIA!
Diese Dissertation folgt dieser Herangehensweise und präsentiert eine Planungsmethode, die auf Answer Set Programming beruht, einer speziellen Form logischer Programmierung.
The thesis follows this approach and presents a planning method based on Answer Set Programming, a special logic programming method.
Answer Set Programming (ASP) ist ein beliebter, regelbasierter Formalismus zur Beschreibung und Lösung von kombinatorischen Suchproblemen.
Answer Set Programming (ASP) is a popular rule-based formalism for describing and solving combinatorial search problems.
Zusätzlich zur "klassischen" Planung erlaubt Answer Set Programming die Spezifierung einer Vielzahl an Einschränkungen und bietet eine Reihe von Möglichkeiten zur Spezifizierung von Kriterien, die dazu beitragen, die "beste" zulässige Lösung zu finden.
In addition to classical planning, Answer Set Programming allows to specify a variety of constraints and optimization features that help to figure out the "best" admissible solution.
Das D-FLAT System ist ein Framework das die Vorteile von dynamischer Programmierung (DP) und Answer Set Programming (ASP) vereint.
The D-FLAT System is a free framework that combines the advantages of dynamic programming with those of answer set programming (ASP).
Answer Set Programming (ASP), ist eine deklarative Programmiersprache, welche für komplexe Suchprobleme entwickelt wur- de. Diese Programmiersprache basiert auf der Stable Model Semantics, welche von M. Gelfond und V. Lifschitzeingeführt wurde.
There have already been encodings developed within the realm of answer-set programming (ASP), a form of declarative programming oriented to- wards difficult search problems and based on the stable model semantics as presented by M. Gel- fond and V. Lifschitz.
Open Answer Set Programming (OASP) erweitert Answer Set Programming um eine Semantik mit offenen Domänen: Programme erhalten eine Interpretation in beliebigen Dömanen, die anonyme Individuen enthalten kann, d.h. Individuen, die nicht explizit im Programm aufscheinen.
Open Answer Set Programming (OASP) extends ASP with an open domain semantics: programs are interpreted with respect to arbitrary domains which might contain anonymous individuals, i.e. individuals which do not occur explicitly in the program.
