English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Organisationseinheiten
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Filtern
Volltext vorhanden
nein
(11)
Autor*in
Gebser, Martin (11)
(entfernen)
Erscheinungsjahr
2007 (11)
(entfernen)
Dokumenttyp
Wissenschaftlicher Artikel
(11)
Sprache
Englisch
(11)
Gehört zur Bibliographie
ja
(11)
Institut
Institut für Informatik und Computational Science
(11)
11
Treffer
1
bis
11
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
"That is illogical, Captain!" : the debugging support tool spock for answer-set programs ; system description
(2007)
Brain, Martin
;
Gebser, Martin
;
Pührer, Jörg
;
Schaub, Torsten H.
;
Tompits, Hans
;
Woltran, Stefan
Debugging ASP programs by means of ASP
(2007)
Brain, Martin
;
Gebser, Martin
;
Pührer, Jörg
;
Schaub, Torsten H.
;
Tompits, Hans
;
Woltran, Stefan
Alternative characterizations for program equivalence under aswer-set semantics : a preliminary report
(2007)
Gebser, Martin
;
Schaub, Torsten H.
;
Tompits, Hans
;
Woltran, Stefan
GrinGo : a new grounder for answer set programming
(2007)
Gebser, Martin
;
Schaub, Torsten H.
;
Thiele, Sven
The first answer set programming system competition
(2007)
Gebser, Martin
;
Liu, Lengning
;
Namasivayam, Gayathri
;
Neumann, André
;
Schaub, Torsten H.
;
Truszczynski, Miroslaw
Conflict-driven answer set enumeration
(2007)
Gebser, Martin
;
Kaufmann, Benjamin
;
Neumann, André
;
Schaub, Torsten H.
Head-elementary-set-free logic programs
(2007)
Gebser, Martin
;
Lee, Joohyung
;
Lierler, Yuliya
Conflict-driven answer set solving
(2007)
Gebser, Martin
;
Kaufmann, Benjamin
;
Neumann, André
;
Schaub, Torsten H.
Incremental answer sets and their computation
(2007)
Gebser, Martin
;
Gharib, Mona
;
Schaub, Torsten H.
Generic tableaux for answer set programming
(2007)
Gebser, Martin
;
Schaub, Torsten H.
Clasp : a conflict-driven answer set solver
(2007)
Gebser, Martin
;
Kaufmann, Benjamin
;
Neumann, André
;
Schaub, Torsten H.
1
bis
11
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.