FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1550395769> ?p ?o ?g. }

• W1550395769 endingPage "161" @default.
• W1550395769 startingPage "135" @default.
• W1550395769 abstract "Since its introduction, the Event Calculus (EC) has been recognized for being an excellent framework to reason about time and events, and it has been applied to a variety of domains. However, its formalization inside logic-based frameworks has been mainly based on backward, goal-oriented reasoning: given a narrative (also called execution trace) and a goal, logic-based formalizations of EC focus on proving the goal, i.e., establishing if a property (called fluent) holds. These approaches are therefore unsuitable in dynamic environments, where the narrative typically evolves over time: indeed, each occurrence of a new event requires to restart the reasoning process from scratch. Ad-hoc, procedural methods and implementations have been then proposed to overcome this issue. However, they lack a strong formal basis and cannot guarantee formal properties. As a consequence, the applicability of EC has been somehow limited in large application domains such as run-time monitoring and event processing, which require at the same time reactivity features as well as formal properties to provide guarantees about the computed response. We overcome the highlighted issues by proposing a Reactive and logic-based axiomatization of EC, called REC, on top of the SCIFF Abductive Logic Programming framework. Our solution exhibits the features of a reactive verification facility, while maintaining a solid formal background." @default.
• W1550395769 created "2016-06-24" @default.
• W1550395769 creator A5040978920 @default.
• W1550395769 creator A5047795784 @default.
• W1550395769 creator A5056655834 @default.
• W1550395769 creator A5080634543 @default.
• W1550395769 date "2010-01-01" @default.
• W1550395769 modified "2023-10-18" @default.
• W1550395769 title "A Logic-Based, Reactive Calculus of Events" @default.
• W1550395769 cites W107497267 @default.
• W1550395769 cites W1497293019 @default.
• W1550395769 cites W1503983812 @default.
• W1550395769 cites W1516687603 @default.
• W1550395769 cites W1531065626 @default.
• W1550395769 cites W1534208801 @default.
• W1550395769 cites W1606926811 @default.
• W1550395769 cites W163500809 @default.
• W1550395769 cites W1688777878 @default.
• W1550395769 cites W1766332311 @default.
• W1550395769 cites W1826200008 @default.
• W1550395769 cites W1852523103 @default.
• W1550395769 cites W1972550579 @default.
• W1550395769 cites W1979452588 @default.
• W1550395769 cites W2001651221 @default.
• W1550395769 cites W2010087056 @default.
• W1550395769 cites W2010104109 @default.
• W1550395769 cites W2022078754 @default.
• W1550395769 cites W2030145186 @default.
• W1550395769 cites W2052424856 @default.
• W1550395769 cites W2060498389 @default.
• W1550395769 cites W2063727779 @default.
• W1550395769 cites W2064889916 @default.
• W1550395769 cites W2071787143 @default.
• W1550395769 cites W2139519544 @default.
• W1550395769 cites W2146138641 @default.
• W1550395769 cites W2152840304 @default.
• W1550395769 cites W2162176451 @default.
• W1550395769 cites W2899987233 @default.
• W1550395769 cites W2914983426 @default.
• W1550395769 cites W58984170 @default.
• W1550395769 cites W62962897 @default.
• W1550395769 cites W65937437 @default.
• W1550395769 doi "https://doi.org/10.3233/fi-2010-361" @default.
• W1550395769 hasPublicationYear "2010" @default.
• W1550395769 type Work @default.
• W1550395769 sameAs 1550395769 @default.
• W1550395769 citedByCount "35" @default.
• W1550395769 countsByYear W15503957692012 @default.
• W1550395769 countsByYear W15503957692013 @default.
• W1550395769 countsByYear W15503957692014 @default.
• W1550395769 countsByYear W15503957692015 @default.
• W1550395769 countsByYear W15503957692016 @default.
• W1550395769 countsByYear W15503957692017 @default.
• W1550395769 countsByYear W15503957692018 @default.
• W1550395769 countsByYear W15503957692019 @default.
• W1550395769 countsByYear W15503957692021 @default.
• W1550395769 countsByYear W15503957692022 @default.
• W1550395769 countsByYear W15503957692023 @default.
• W1550395769 crossrefType "journal-article" @default.
• W1550395769 hasAuthorship W1550395769A5040978920 @default.
• W1550395769 hasAuthorship W1550395769A5047795784 @default.
• W1550395769 hasAuthorship W1550395769A5056655834 @default.
• W1550395769 hasAuthorship W1550395769A5080634543 @default.
• W1550395769 hasConcept C118615104 @default.
• W1550395769 hasConcept C199343813 @default.
• W1550395769 hasConcept C199360897 @default.
• W1550395769 hasConcept C22497172 @default.
• W1550395769 hasConcept C2777686260 @default.
• W1550395769 hasConcept C33923547 @default.
• W1550395769 hasConcept C41008148 @default.
• W1550395769 hasConcept C62073222 @default.
• W1550395769 hasConcept C6489637 @default.
• W1550395769 hasConcept C71924100 @default.
• W1550395769 hasConceptScore W1550395769C118615104 @default.
• W1550395769 hasConceptScore W1550395769C199343813 @default.
• W1550395769 hasConceptScore W1550395769C199360897 @default.
• W1550395769 hasConceptScore W1550395769C22497172 @default.
• W1550395769 hasConceptScore W1550395769C2777686260 @default.
• W1550395769 hasConceptScore W1550395769C33923547 @default.
• W1550395769 hasConceptScore W1550395769C41008148 @default.
• W1550395769 hasConceptScore W1550395769C62073222 @default.
• W1550395769 hasConceptScore W1550395769C6489637 @default.
• W1550395769 hasConceptScore W1550395769C71924100 @default.
• W1550395769 hasIssue "1-2" @default.
• W1550395769 hasLocation W15503957691 @default.
• W1550395769 hasOpenAccess W1550395769 @default.
• W1550395769 hasPrimaryLocation W15503957691 @default.
• W1550395769 hasRelatedWork W1568540128 @default.
• W1550395769 hasRelatedWork W1574493518 @default.
• W1550395769 hasRelatedWork W2094502182 @default.
• W1550395769 hasRelatedWork W2267082852 @default.
• W1550395769 hasRelatedWork W2503478351 @default.
• W1550395769 hasRelatedWork W2793983771 @default.
• W1550395769 hasRelatedWork W2806893870 @default.
• W1550395769 hasRelatedWork W3011473228 @default.
• W1550395769 hasRelatedWork W3196962987 @default.
• W1550395769 hasRelatedWork W4294196243 @default.
• W1550395769 hasVolume "105" @default.

• next