Zobrazeno 1 - 10
of 90
pro vyhledávání: '"Dimopoulos Y"'
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dimopoulos, Y.
Publikováno v:
Research Report / Max-Planck-Institut für Informatik
In this paper we present and compare some classical problem solving methods for computing the stable models of logic programs with negation. In particular linear programming, propositional satisfiability, constraint satisfaction, and graph algorithms
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1874::6e9ac717466ba1f1ac1e2d2d2c450145
https://hdl.handle.net/11858/00-001M-0000-0023-E8D1-811858/00-001M-0000-0014-B7AF-6
https://hdl.handle.net/11858/00-001M-0000-0023-E8D1-811858/00-001M-0000-0014-B7AF-6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dimopoulos, Y., Torres, A.
Publikováno v:
Research Report
In this paper we present a graph representation of logic programs and default theories. We show that many of the semantics proposed for logic programs can be expressed in terms of notions emerging from graph theory, establishing in this way a link be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1874::ea0b5f958eb76610c4e8ce550a724e96
http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/93-264
http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/93-264