A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
This article introduces XChange, a rule-based reactive language for the (Semantic) Web. ...
Then, it discusses technologies and paradigms relevant to high-level reactive languages for the (Semantic) Web. ...
It then introduces XChange, a novel high-level language for updates and reactivity on the (Semantic) Web based on Event-Condition-Action rules. ...
doi:10.1007/11580072_15
fatcat:heihzukceza4dmhsa4m75ddbm4
Reactive Policies for the Semantic Web
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Reactive policies allow for the definition of events and actions, that is, they allow to define reactive behavior of a system acting on the Semantic Web. ...
Semantic Web policies are general statements defining the behavior of a system that acts on behalf of real users. ...
Therefore, they are typically based on languages with well-defined semantics and interoperable formats; that is in most of the cases description logics (e.g., KAoS and Rei) or rule-based semantics (e.g ...
doi:10.1007/978-3-642-13486-9_6
fatcat:bgmcqz7lfffq5bsw7g2xa6lexu
Introduction to the special issue on the International Web Rule Symposia 2012–2014
2016
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
It is devoted to rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic ...
RuleML is the leading conference to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. ...
While this semantics is similar to that of imperative reactive rule languages, its incompleteness shows that the operational semantics of imperative rule system languages, which maintain only a single ...
doi:10.1017/s1471068416000028
fatcat:ccb6ve6cwzcgxo3n2g7zwsdkve
Reactive Petri Nets for Workflow Modeling
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
This semantics can model behavior of a reactive system and its environment. ...
At run time, a workflow model prescribes behavior of a reactive system (the workflow engine). But the token-game semantics models behavior of closed, active systems. ...
The work of the first author has been partially supported by the National Research Fund (FNR) of Luxembourg and has been partially performed within the scope of the LIASIT (Luxembourg International Advanced ...
doi:10.1007/3-540-44919-1_20
fatcat:cqtaxbg4xvhqrkjuwugxzvdigy
On Semantics and Correctness of Reactive Rule-Based Programs
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The rule-based paradigm for knowledge representation ap- ...
semantics, based on threevalued evaluation of rules, that guarantees the correct results of computations for correct programs; We have developed and implemented a static procedure for checking the correctness ...
A correct program ensures termination of rule rings at each reaction, consistency of the red rules and a unique reaction for each new set of stimuli to the system; We have de ned and implemented constructive ...
doi:10.1007/3-540-46562-6_21
fatcat:5bsodotp35hhjielrp7hc75uzm
Rule-Based Distributed and Agent Systems
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
The paper contains an overview of the roles played by rules and rule-based systems in distributed and multi-agent systems. ...
These roles include an overview of traditional and newly emerging application areas as well as internal agent architectures and frameworks implementing these architectures. ...
Introduction This paper strives to shed light on the connections of rule based systems and multi-agent systems. ...
doi:10.1007/978-3-642-22546-8_3
fatcat:kflbpxqmxjannkl4ytcl6krpnq
A Logic-Based Framework for Reactive Systems
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
We sketch a logic-based framework in which computation consists of performing actions to generate a sequence of states, with the purpose of making a set of reactive rules in the logical form antecedents ...
The model-theoretic semantics can be viewed as the problem of generating a model that makes all the reactive rules true. ...
Acknowledgements We are grateful Harold Boley for helpful comments on an earlier draft of this paper and to Imperial College for EPSRC Pathways to Impact funding, which is supporting the implementation ...
doi:10.1007/978-3-642-32689-9_1
fatcat:rgbzwetkerhnxex4qlbh3yrryq
A semantic framework for the design of distributed reactive real-time languages and applications
2020
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Second, we present a reactive event-based semantic framework called Distributed Reactive Rewriting Framework (DRRF). ...
However, there is no consensus on the core set of features that a reactive framework must-have. ...
One advantage of analyzing distributed reactive systems using a formalism-based framework, such as DRRF, is the possibility of simulating the system execution before implementing it. ...
doi:10.1109/access.2020.3010697
fatcat:qwlpavs5kvbrda5zv7s6f7vwna
DSL Composition for model-based test generation
2009
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We introduce a framework for composing DSLs for reactive systems, with a particular DSL for Model Based Testing called SATEL (Semi-Automatic Testing Language). ...
Domain specific languages (DSL) which describe reactive systems generally have a need for systematic generation of tests for their models. ...
of reactive systems expressed in a petri-net based formalism [BG91] . ...
doi:10.14279/tuj.eceasst.21.301
dblp:journals/eceasst/BarrocaLBAP09
fatcat:6knzqlrraff4xfrfiihu7nbufa
Knowledge based Recommendation System in Semantic Web - A Survey
2019
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Representation of knowledge in structured form of ontology in Semantic Web makes the application of knowledge based recommendations system on Semantic Web very easy, as there is no need to construct knowledge ...
In Semantic Web, knowledge is represented in the form of ontology. ...
Rule-based recommendation systems, when applied on Semantic Web can benefit from the underlying ontologies, which form the backbone of Semantic Web. ...
doi:10.5120/ijca2019918538
fatcat:4sjcikxbebdblcquhiysbte26u
RPL
2008
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems - SERENE '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present the foundations for a reconfiguration policy language (RPL), to govern reconfigurations of component-based systems, based on a teleo-reactive (T-R) language. ...
We present the foundations for a reconfiguration policy language (RPL), to govern reconfigurations of componentbased systems, based on a teleo-reactive (T-R) language. ...
Acknowledgments This work is funded by EPSRC through the DIRC project (www.dirc.org.uk), we would also like to acknowledge support from the EPSRC Platform Grant on Trustworthy Ambient Systems (TrAmS). ...
doi:10.1145/1479772.1479786
dblp:conf/serene/Payne08
fatcat:elyebi72dbhipeblms67piqtzy
Reactive Semantics for Distributed UML Activities
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We define a reactive semantics for a subset of UML activities that is suitable as precise design language for reactive software systems. ...
These semantics identify run-to-completion steps for execution on the level of UML activities as so-called activity steps. ...
In the following, we focus on the application of UML activities on the domain of reactive systems. ...
doi:10.1007/978-3-642-13464-7_3
fatcat:5lchlt7rsfchvbq55ykrq7inva
Programming in logic without logic programming
2016
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
AbstractIn previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the formif antecedent then consequenttrue in a canonical ...
In this model-theoretic semantics, reactive rules are the driving force, and logic programs play only a supporting role. ...
Acknowledgements We are grateful to the anonymous referees for their careful reading of our earlier submission, and for their many helpful comments. ...
doi:10.1017/s1471068416000041
fatcat:oopzyobzlrbt3bircc26xanlwu
A Logical Characterization of a Reactive System Language
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The operational semantics of KELPS is similar to that of other reactive system languages, and is similarly incomplete. ...
Typical reactive system languages are programmed by means of rules of the form if antecedent then consequent. ...
predicates and to define sequences of state conditions and events. ...
doi:10.1007/978-3-319-09870-8_2
fatcat:ypfrprue3vespmxia755inqtbu
An Event-Condition-Action Logic Programming Language
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
In this paper, we introduce ERA, an ECA language based on, and extending the framework of logic programs updates that, together with these features, also exhibits capabilities to integrate external updates ...
and perform self updates to its knowledge (data and classical rules) and behaviour (reactive rules). ...
In this paper we opted for an inference system based on the refined semantics for DyLPs. ...
doi:10.1007/11853886_5
fatcat:cwrsd2imtnhdljzoe5nuavi66y
« Previous
Showing results 1 — 15 out of 31,249 results