权威例句
GidL: A grounder for FO+The Intelligent Grounder of DLVThe intelligent grounder of DLVGrinGo: a new grounder for answer set programmingGrinGo: A New Grounder for Answer Set ProgrammingGrinGo : A New Grounder for Answer Set ProgrammingOn the Input Language of ASP Grounder GringoOn the Input Language of ASP Grounder Gringo$$\mathcal {I}$$-dlv: The New Intelligent Grounder of dlv\(\mathcal {I}\) - dlv : The New Intelligent Grounder of dlv