Old Web
English
Sign In
Acemap
>
Paper
>
Resolution reasoning by RDF Clausal Form Logic
Resolution reasoning by RDF Clausal Form Logic
2012
Alena Lukasová
Martin Žáček
Marek Vajgl
Martin Kotyrba
Keywords:
Programming language
RDF
Conjunctive normal form
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
2
References
0
Citations
NaN
KQI
[]