Domain expansion for ASP-programs with external sources (Q254002): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N17
@@ Property / Mathematics Subject Classification ID: 68N17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6551562
@@ Property / zbMATH DE Number: 6551562 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+answer set programming
@@ Property / zbMATH Keywords: answer set programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+knowledge representation formalisms
@@ Property / zbMATH Keywords: knowledge representation formalisms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nonmonotonic reasoning
@@ Property / zbMATH Keywords: nonmonotonic reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+external source access
@@ Property / zbMATH Keywords: external source access / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+grounding
@@ Property / zbMATH Keywords: grounding / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational logic
@@ Property / zbMATH Keywords: computational logic / rank @@
+Normal rank

Revision as of 12:55, 27 June 2023