Matches in ScholarlyData for { ?s ?p Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. }
Showing items 1 to 3 of
3
with 100 items per page.
- 152 label "Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring".
- 152 label "Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring".
- 152 title "Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring".