Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (Q5140026): Difference between revisions

Latest revision as of 09:37, 30 July 2024

scientific article; zbMATH DE number 7284981

Language	Label	Description	Also known as
English	Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming	scientific article; zbMATH DE number 7284981

Statements

instance of

scholarly article

0 references

title

Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (English)

0 references

0 references

0 references

Theory and Practice of Logic Programming

0 references

publication date

13 December 2020

0 references

full work available at URL

https://arxiv.org/abs/2008.04126

0 references

zbMATH Keywords

qualitative spatial reasoning

0 references

answer-set programming

0 references

cardinal directional calculus

0 references

3D-space

0 references

consistency checking

0 references

marine exploration

0 references

building design

0 references

digital forensics

0 references

describes a project that uses

Potassco

0 references

z3

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Maintaining knowledge about temporal intervals

0 references

Tractability Results in the Block Algebra

0 references

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

0 references

Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments

0 references

ASP-Core-2 Input Language Format

0 references

Q3011296

0 references

Q3983043

0 references

Answer set programming and plan generation

0 references

Reasoning about cardinal directions between extended objects

0 references

Q4702577

0 references

Logic programs with stable model semantics as a constraint programming paradigm

0 references

Composing cardinal direction relations

0 references

On the consistency of cardinal direction constraints

0 references

Non-monotonic spatial reasoning with answer set programming modulo theories

0 references

Identifiers

zbMATH Open document ID

1468.68224

0 references

DOI

10.1017/S1471068420000411

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5140026

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04126
@@ Property / arXiv ID: 2008.04126 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Tractability Results in the Block Algebra
@@ Property / cites work: Tractability Results in the Block Algebra / rank @@
+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 @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+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 @@
+Reasoning about cardinal directions between extended objects
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+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 @@
+Non-monotonic spatial reasoning with answer set programming modulo theories
+Normal rank
@@ Property / OpenAlex ID @@
+W3088017103
@@ Property / OpenAlex ID: W3088017103 / rank @@
+Normal rank