• Treffer 1 von 1
Zurück zur Trefferliste

Grounding and Solving in Answer Set Programming

  • Answer set programming is a declarative problem-solving paradigm that rests upon a work flow involving modeling, grounding, and solving. While the former is described by Gebser and Schaub (2016), we focus here on key issues in grounding, or how to systematically replace object variables by ground terms in an effective way, and solving, or how to compute the answer sets, of a propositional logic program obtained by grounding.

Metadaten exportieren

Weitere Dienste

Suche bei Google Scholar Statistik - Anzahl der Zugriffe auf das Dokument
Metadaten
Verfasserangaben:Benjamin KaufmannGND, Nicola Leone, Simona Perri, Torsten H. SchaubORCiDGND
ISSN:0738-4602
Titel des übergeordneten Werks (Englisch):AI magazine
Verlag:Association for the Advancement of Artificial Intelligence
Verlagsort:Menlo Park
Publikationstyp:Wissenschaftlicher Artikel
Sprache:Englisch
Jahr der Erstveröffentlichung:2016
Erscheinungsjahr:2016
Datum der Freischaltung:22.03.2020
Band:37
Seitenanzahl:8
Erste Seite:25
Letzte Seite:32
Fördernde Institution:DFG [SCHA 550/8, SCHA 550/9]; MIUR under PON project SI-LAB BA2KNOW Business Analitycs to Know; Regione Calabria, programme POR Calabria FESR
Peer Review:Referiert
Name der Einrichtung zum Zeitpunkt der Publikation:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.