iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/ai/BesnardHW09.nt
.
.
.
.
"Philippe Besnard et al.: Encoding deductive argumentation in quantified Boolean formulae. (2009)" .
.
_:ID_a1b7ec10c4fca87879ae17b91b2fde37 . _:ID_a1b7ec10c4fca87879ae17b91b2fde37
. _:ID_a1b7ec10c4fca87879ae17b91b2fde37
. _:ID_a1b7ec10c4fca87879ae17b91b2fde37
. _:ID_a1b7ec10c4fca87879ae17b91b2fde37
"journals/ai/BesnardHW09" .
_:ID_a255f45a266d58bb770cd4f0a97e25e6 . _:ID_a255f45a266d58bb770cd4f0a97e25e6
. _:ID_a255f45a266d58bb770cd4f0a97e25e6
. _:ID_a255f45a266d58bb770cd4f0a97e25e6
. _:ID_a255f45a266d58bb770cd4f0a97e25e6
"10.1016/J.ARTINT.2009.06.006" .
"Encoding deductive argumentation in quantified Boolean formulae." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_ff50a6d36ed33834d746d27bc5066df3_1 . _:Sig_ff50a6d36ed33834d746d27bc5066df3_1
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_1
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_1
"Philippe Besnard" . _:Sig_ff50a6d36ed33834d746d27bc5066df3_1
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_1
"1"^^
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_1
.
_:Sig_ff50a6d36ed33834d746d27bc5066df3_2 . _:Sig_ff50a6d36ed33834d746d27bc5066df3_2
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_2
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_2
"Anthony Hunter" . _:Sig_ff50a6d36ed33834d746d27bc5066df3_2
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_2
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_2
"2"^^
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_2
.
_:Sig_ff50a6d36ed33834d746d27bc5066df3_3 . _:Sig_ff50a6d36ed33834d746d27bc5066df3_3
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_3
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_3
"Stefan Woltran" . _:Sig_ff50a6d36ed33834d746d27bc5066df3_3
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_3
"3"^^
. _:Sig_ff50a6d36ed33834d746d27bc5066df3_3
.
.
.
.
.
"1406-1423" .
"Artif. Intell." .
"Artif. Intell." .
"173" .
"15" .
"2009"^^
.
"provenance information for RDF data of dblp record 'journals/ai/BesnardHW09'" .
.
.
.
"2020-12-29T18:26:53+0100" .
