Sign in
Maroua Gmati
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Knowledge Representation Formalisms
Reasoning Problems
Default Logic
Databases
Top Venues
OM@ISWC
</>
Publications
</>
Maroua Gmati
,
Manuel Atencia
,
Jérôme Euzenat
Tableau extensions for reasoning with link keys.
OM@ISWC
(2016)