Matches in SemOpenAlex for { <https://semopenalex.org/work/W4286787675> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4286787675 abstract "Qualitative reasoning involves expressing and deriving knowledge based on qualitative terms such as natural language expressions, rather than strict mathematical quantities. Well over 40 qualitative calculi have been proposed so far, mostly in the spatial and temporal domains, with several practical applications such as naval traffic monitoring, warehouse process optimisation and robot manipulation. Even if a number of specialised qualitative reasoning tools have been developed so far, an important barrier to the wider adoption of these tools is that only qualitative reasoning is supported natively, when real-world problems most often require a combination of qualitative and other forms of reasoning. In this work, we propose to overcome this barrier by using ASP as a unifying formalism to tackle problems that require qualitative reasoning in addition to non-qualitative reasoning. A family of ASP encodings is proposed which can handle any qualitative calculus with binary relations. These encodings are experimentally evaluated using a real-world dataset based on a case study of determining optimal coverage of telecommunication antennas, and compared with the performance of two well-known dedicated reasoners. Experimental results show that the proposed encodings outperform one of the two reasoners, but fall behind the other, an acceptable trade-off given the added benefits of handling any type of reasoning as well as the interpretability of logic programs. This paper is under consideration for acceptance in TPLP." @default.
- W4286787675 created "2022-07-24" @default.
- W4286787675 creator A5010070911 @default.
- W4286787675 creator A5011515183 @default.
- W4286787675 creator A5018289832 @default.
- W4286787675 creator A5039882261 @default.
- W4286787675 creator A5047192882 @default.
- W4286787675 creator A5067875951 @default.
- W4286787675 date "2020-08-04" @default.
- W4286787675 modified "2023-10-17" @default.
- W4286787675 title "A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming" @default.
- W4286787675 doi "https://doi.org/10.48550/arxiv.2008.01519" @default.
- W4286787675 hasPublicationYear "2020" @default.
- W4286787675 type Work @default.
- W4286787675 citedByCount "0" @default.
- W4286787675 crossrefType "posted-content" @default.
- W4286787675 hasAuthorship W4286787675A5010070911 @default.
- W4286787675 hasAuthorship W4286787675A5011515183 @default.
- W4286787675 hasAuthorship W4286787675A5018289832 @default.
- W4286787675 hasAuthorship W4286787675A5039882261 @default.
- W4286787675 hasAuthorship W4286787675A5047192882 @default.
- W4286787675 hasAuthorship W4286787675A5067875951 @default.
- W4286787675 hasBestOaLocation W42867876751 @default.
- W4286787675 hasConcept C128838566 @default.
- W4286787675 hasConcept C142362112 @default.
- W4286787675 hasConcept C144024400 @default.
- W4286787675 hasConcept C153349607 @default.
- W4286787675 hasConcept C154945302 @default.
- W4286787675 hasConcept C155911833 @default.
- W4286787675 hasConcept C177264268 @default.
- W4286787675 hasConcept C182620335 @default.
- W4286787675 hasConcept C190248442 @default.
- W4286787675 hasConcept C193221554 @default.
- W4286787675 hasConcept C199360897 @default.
- W4286787675 hasConcept C2781067378 @default.
- W4286787675 hasConcept C36289849 @default.
- W4286787675 hasConcept C41008148 @default.
- W4286787675 hasConcept C558565934 @default.
- W4286787675 hasConcept C73301696 @default.
- W4286787675 hasConcept C80444323 @default.
- W4286787675 hasConcept C83725634 @default.
- W4286787675 hasConcept C89288958 @default.
- W4286787675 hasConcept C9616225 @default.
- W4286787675 hasConceptScore W4286787675C128838566 @default.
- W4286787675 hasConceptScore W4286787675C142362112 @default.
- W4286787675 hasConceptScore W4286787675C144024400 @default.
- W4286787675 hasConceptScore W4286787675C153349607 @default.
- W4286787675 hasConceptScore W4286787675C154945302 @default.
- W4286787675 hasConceptScore W4286787675C155911833 @default.
- W4286787675 hasConceptScore W4286787675C177264268 @default.
- W4286787675 hasConceptScore W4286787675C182620335 @default.
- W4286787675 hasConceptScore W4286787675C190248442 @default.
- W4286787675 hasConceptScore W4286787675C193221554 @default.
- W4286787675 hasConceptScore W4286787675C199360897 @default.
- W4286787675 hasConceptScore W4286787675C2781067378 @default.
- W4286787675 hasConceptScore W4286787675C36289849 @default.
- W4286787675 hasConceptScore W4286787675C41008148 @default.
- W4286787675 hasConceptScore W4286787675C558565934 @default.
- W4286787675 hasConceptScore W4286787675C73301696 @default.
- W4286787675 hasConceptScore W4286787675C80444323 @default.
- W4286787675 hasConceptScore W4286787675C83725634 @default.
- W4286787675 hasConceptScore W4286787675C89288958 @default.
- W4286787675 hasConceptScore W4286787675C9616225 @default.
- W4286787675 hasLocation W42867876751 @default.
- W4286787675 hasLocation W42867876752 @default.
- W4286787675 hasLocation W42867876753 @default.
- W4286787675 hasOpenAccess W4286787675 @default.
- W4286787675 hasPrimaryLocation W42867876751 @default.
- W4286787675 hasRelatedWork W1913512158 @default.
- W4286787675 hasRelatedWork W2395908292 @default.
- W4286787675 hasRelatedWork W2804957726 @default.
- W4286787675 hasRelatedWork W2949858773 @default.
- W4286787675 hasRelatedWork W2963556801 @default.
- W4286787675 hasRelatedWork W3047187362 @default.
- W4286787675 hasRelatedWork W3047549637 @default.
- W4286787675 hasRelatedWork W3209819594 @default.
- W4286787675 hasRelatedWork W4286787675 @default.
- W4286787675 hasRelatedWork W4299784534 @default.
- W4286787675 isParatext "false" @default.
- W4286787675 isRetracted "false" @default.
- W4286787675 workType "article" @default.