First Page | Document Content | |
---|---|---|
Date: 2015-05-24 18:07:19Science Reasoning Programming paradigms Constraint programming Non-classical logic Stable model semantics Prolog Inference Negation as failure Logic Logic programming Artificial intelligence | Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael GelfondAdd to Reading ListSource URL: myweb.ttu.eduDownload Document from Source WebsiteFile Size: 46,48 KBShare Document on Facebook |