Old Web
English
Sign In
Acemap
>
Paper
>
Signature-Based ABox Abduction in ALC is Hard.
Signature-Based ABox Abduction in ALC is Hard.
2021
Patrick Koopmann
Keywords:
Signature (logic)
Abox
Algorithm
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
27
References
0
Citations
NaN
KQI
[]