iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/tplp/AlvianoDFHPR19.nt
. . . . . "Mario Alviano et al.: Inconsistency Proofs for ASP: The ASP - DRUPE Format. (2019)" . . . _:ID_e8bba4d52b91b0294b3f9d2f705d492a . _:ID_e8bba4d52b91b0294b3f9d2f705d492a . _:ID_e8bba4d52b91b0294b3f9d2f705d492a . _:ID_e8bba4d52b91b0294b3f9d2f705d492a . _:ID_e8bba4d52b91b0294b3f9d2f705d492a "journals/tplp/AlvianoDFHPR19" . _:ID_e136f9cbe69a73a6aa2dedffb4d42d29 . _:ID_e136f9cbe69a73a6aa2dedffb4d42d29 . _:ID_e136f9cbe69a73a6aa2dedffb4d42d29 . _:ID_e136f9cbe69a73a6aa2dedffb4d42d29 . _:ID_e136f9cbe69a73a6aa2dedffb4d42d29 "10.1017/S1471068419000255" . _:ID_31f25aed22343c62b3c526bdd44793a6 . _:ID_31f25aed22343c62b3c526bdd44793a6 . _:ID_31f25aed22343c62b3c526bdd44793a6 . _:ID_31f25aed22343c62b3c526bdd44793a6 "Q113857303" . "Inconsistency Proofs for ASP: The ASP - DRUPE Format." . . . . . . . . . . . . . . "6"^^ . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_1 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_1 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_1 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_1 "Mario Alviano" . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_1 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_1 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_1 "1"^^ . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_1 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_2 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_2 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_2 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_2 "Carmine Dodaro" . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_2 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_2 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_2 "2"^^ . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_2 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_3 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_3 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_3 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_3 "Johannes Klaus Fichte" . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_3 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_3 "3"^^ . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_3 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_4 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_4 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_4 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_4 "Markus Hecher" . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_4 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_4 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_4 "4"^^ . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_4 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_5 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_5 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_5 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_5 "Tobias Philipp" . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_5 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_5 "5"^^ . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_5 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_6 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_6 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_6 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_6 "Jakob Rath" . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_6 . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_6 "6"^^ . _:Sig_d59dc3b220254b6d3821bc0c64f0e46e_6 . . . . . "891-907" . "Theory Pract. Log. Program." . "Theory Pract. Log. Program." . "19" . "5-6" . "2019"^^ . "provenance information for RDF data of dblp record 'journals/tplp/AlvianoDFHPR19'" . . . . "2023-08-28T21:38:29+0200" .