Translation of "Answer-Set" in English
We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.
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.
Other results
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.
Wiederum basierend auf der Überarbeitung der Module "hypo" und "delta", haben wir Auswahloperatoren für Answer Set Programming via Vorwärtsverkettungsregeln bewerkstelligt.
Again based on the overhaul of the modules "hypo" and "delta", we deviced a new choice operators for answer set programming via forward chaining rules.
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.
Bei Answer Set Programming wird ein Problem ausschließlich auf deklarative Weise beschrieben und danach eine generische Problemlösungsmethode, das "Guess/ Check/Optimize"-Paradigma, angewendet.
With Answer Set Programming, a problem is formulated in a strictly declarative mode and a generic problem solving method, the Guess/Check/Optimize paradigm, is applied to the problem.
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.
