Multimodal logic programming (Q2503328): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.03.026
+Normal rank
@@ Property / OpenAlex ID @@
+W2164466347
@@ Property / OpenAlex ID: W2164466347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681370
@@ Property / cites work: Q4681370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428289
@@ Property / cites work: Q4428289 / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688921
@@ Property / cites work: Q5688921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2701979
@@ Property / cites work: Q2701979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal logic programming using equational and order-sorted logic
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+MOLOG: A system that extends PROLOG with modal logic
+Normal rank
@@ Property / cites work @@
+Q4342097
@@ Property / cites work: Q4342097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331764
@@ Property / cites work: Q4331764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835902
@@ Property / cites work: Q4835902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4500376
@@ Property / cites work: Q4500376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4454845
@@ Property / cites work: Q4454845 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Epistemic States of Agents by Modal Logic Programming
+Normal rank
@@ Property / cites work @@
+Q4537451
@@ Property / cites work: Q4537451 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791114
@@ Property / cites work: Q3791114 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518440
@@ Property / cites work: Q4518440 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank