Model reconciliation in logic programs (Q2055814): Difference between revisions

@@ Property / author @@
-Van- Duc Nguyen
@@ Property / author: Van- Duc Nguyen / rank @@
-Normal rank
@@ Property / author @@
+Van- Duc Nguyen
@@ Property / author: Van- Duc Nguyen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-75775-5_26
+Normal rank
@@ Property / OpenAlex ID @@
+W3161748362
@@ Property / OpenAlex ID: W3161748362 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256671
@@ Property / cites work: Q4256671 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q4955335
@@ Property / cites work: Q4955335 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic program-based updates
@@ Property / cites work: Logic program-based updates / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2055814