Matches in SemOpenAlex for { <https://semopenalex.org/work/W4229043553> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4229043553 endingPage "418" @default.
- W4229043553 startingPage "367" @default.
- W4229043553 abstract "Abstract Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that specifies transitions between the states of the database. This paper proposes a systematic mapping of the Kernel of this framework (called KELPS) into an answer set program (ASP). For this purpose a new variant of KELPS with finite models, called n -distance KELPS, is introduced. A formal definition of the mapping from this n -distance KELPS to ASP is given and proven sound and complete. The Answer Set Programming paradigm allows to capture additional behaviours to the basic reactivity of KELPS, in particular proactive, pre-emptive and prospective behaviours. These are all discussed and illustrated with examples. Then a hybrid framework is proposed that integrates KELPS and ASP, allowing to combine the strengths of both paradigms." @default.
- W4229043553 created "2022-05-08" @default.
- W4229043553 creator A5002143669 @default.
- W4229043553 creator A5083972852 @default.
- W4229043553 creator A5084049267 @default.
- W4229043553 date "2022-03-25" @default.
- W4229043553 modified "2023-09-25" @default.
- W4229043553 title "Reactive Answer Set Programming" @default.
- W4229043553 cites W1497420090 @default.
- W4229043553 cites W1507455930 @default.
- W4229043553 cites W1508630122 @default.
- W4229043553 cites W1540024383 @default.
- W4229043553 cites W1592819909 @default.
- W4229043553 cites W1699699942 @default.
- W4229043553 cites W1772789695 @default.
- W4229043553 cites W1950324623 @default.
- W4229043553 cites W195427739 @default.
- W4229043553 cites W1979452588 @default.
- W4229043553 cites W1985387287 @default.
- W4229043553 cites W1993973926 @default.
- W4229043553 cites W1998333922 @default.
- W4229043553 cites W2026791378 @default.
- W4229043553 cites W2091138122 @default.
- W4229043553 cites W2132042004 @default.
- W4229043553 cites W2164512906 @default.
- W4229043553 cites W2222166069 @default.
- W4229043553 cites W2236328947 @default.
- W4229043553 cites W22458235 @default.
- W4229043553 cites W2277828988 @default.
- W4229043553 cites W2294780884 @default.
- W4229043553 cites W2542981480 @default.
- W4229043553 cites W2806801598 @default.
- W4229043553 cites W2899723383 @default.
- W4229043553 cites W2899987233 @default.
- W4229043553 cites W2951713554 @default.
- W4229043553 cites W2963234253 @default.
- W4229043553 cites W2963254488 @default.
- W4229043553 cites W2964073874 @default.
- W4229043553 cites W2965016520 @default.
- W4229043553 cites W4211177236 @default.
- W4229043553 cites W4361876935 @default.
- W4229043553 cites W83944268 @default.
- W4229043553 doi "https://doi.org/10.1017/s147106842100051x" @default.
- W4229043553 hasPublicationYear "2022" @default.
- W4229043553 type Work @default.
- W4229043553 citedByCount "0" @default.
- W4229043553 crossrefType "journal-article" @default.
- W4229043553 hasAuthorship W4229043553A5002143669 @default.
- W4229043553 hasAuthorship W4229043553A5083972852 @default.
- W4229043553 hasAuthorship W4229043553A5084049267 @default.
- W4229043553 hasBestOaLocation W42290435531 @default.
- W4229043553 hasConcept C114614502 @default.
- W4229043553 hasConcept C128838566 @default.
- W4229043553 hasConcept C154945302 @default.
- W4229043553 hasConcept C177264268 @default.
- W4229043553 hasConcept C182620335 @default.
- W4229043553 hasConcept C199360897 @default.
- W4229043553 hasConcept C33923547 @default.
- W4229043553 hasConcept C41008148 @default.
- W4229043553 hasConcept C74193536 @default.
- W4229043553 hasConcept C80444323 @default.
- W4229043553 hasConceptScore W4229043553C114614502 @default.
- W4229043553 hasConceptScore W4229043553C128838566 @default.
- W4229043553 hasConceptScore W4229043553C154945302 @default.
- W4229043553 hasConceptScore W4229043553C177264268 @default.
- W4229043553 hasConceptScore W4229043553C182620335 @default.
- W4229043553 hasConceptScore W4229043553C199360897 @default.
- W4229043553 hasConceptScore W4229043553C33923547 @default.
- W4229043553 hasConceptScore W4229043553C41008148 @default.
- W4229043553 hasConceptScore W4229043553C74193536 @default.
- W4229043553 hasConceptScore W4229043553C80444323 @default.
- W4229043553 hasIssue "3" @default.
- W4229043553 hasLocation W42290435531 @default.
- W4229043553 hasLocation W42290435532 @default.
- W4229043553 hasLocation W42290435533 @default.
- W4229043553 hasOpenAccess W4229043553 @default.
- W4229043553 hasPrimaryLocation W42290435531 @default.
- W4229043553 hasRelatedWork W1548946286 @default.
- W4229043553 hasRelatedWork W2016993683 @default.
- W4229043553 hasRelatedWork W2171836055 @default.
- W4229043553 hasRelatedWork W2174399230 @default.
- W4229043553 hasRelatedWork W2764157639 @default.
- W4229043553 hasRelatedWork W2898772359 @default.
- W4229043553 hasRelatedWork W2949422477 @default.
- W4229043553 hasRelatedWork W3101458312 @default.
- W4229043553 hasRelatedWork W3105322051 @default.
- W4229043553 hasRelatedWork W3200306105 @default.
- W4229043553 hasVolume "22" @default.
- W4229043553 isParatext "false" @default.
- W4229043553 isRetracted "false" @default.
- W4229043553 workType "article" @default.