Qualitative reasoning about 2D cardinal directions using answer set programming (Q6488805): Difference between revisions

@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+System aspmt2smt: Computing ASPMT Theories by SMT Solvers
+Normal rank
@@ Property / cites work @@
+A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
+Normal rank
@@ Property / cites work @@
+ASP-Core-2 Input Language Format
@@ Property / cites work: ASP-Core-2 Input Language Format / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects
+Normal rank
@@ Property / cites work @@
+Qualitative geometry for shape recognition
@@ Property / cites work: Qualitative geometry for shape recognition / rank @@
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5426204
@@ Property / cites work: Q5426204 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about distance based on fuzzy sets
@@ Property / cites work: Reasoning about distance based on fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5020581
@@ Property / cites work: Q5020581 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set Programming
@@ Property / cites work: Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about cardinal directions between extended objects: the NP-hardness result
+Normal rank
@@ Property / cites work @@
+Reasoning about cardinal directions between extended objects
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4340096
@@ Property / cites work: Q4340096 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Composing cardinal direction relations
@@ Property / cites work: Composing cardinal direction relations / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of cardinal direction constraints
+Normal rank
@@ Property / cites work @@
+ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
+Normal rank
@@ Property / cites work @@
+Non-monotonic spatial reasoning with answer set programming modulo theories
+Normal rank
@@ Property / cites work @@
+Q5244856
@@ Property / cites work: Q5244856 / rank @@
+Normal rank