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
Exploiting Modal Logic to Express Performance Measures
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
In this paper we present a stochastic modal logic which can aid the construction of a reward structure over the model. We discuss its relationship to the underlying theory of PEPA. ...
The meaning of the specification language has its foundations in the stochastic modal logic. ...
Here we present a stochastic modal logic and explain how it may be used to specify performance measures over a PEPA model. ...
doi:10.1007/3-540-46429-8_18
fatcat:4x5mfc2h5bdodbqebdpmanrlwe
Fibred Coalgebraic Logic and Quantum Protocols
2014
Electronic Proceedings in Theoretical 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 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We show how properties of the semantics of modalities are preserved under composition operations, and then apply the calculational aspect of our logic to produce an expressive set of modalities for reasoning ...
We extend the semantics of coalgebraic logic to this setting, and prove that this extension respects behavioural equivalence. ...
Acknowledgements I would like to thank Andreas Döring and Samson Abramsky for their feedback and suggestions. ...
doi:10.4204/eptcs.171.9
fatcat:2flur2wl2befxidk7hoitrsjw4
A Logical Characterization of Differential Privacy via Behavioral Metrics
[chapter]
2018
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 2019; you can also visit the original URL.
The file type is application/pdf.
logic and we define a syntactical distance on formulae in it measuring their syntactic disparities. ...
In this paper, we exploit a modeling of this framework via labeled Markov Chains (LMCs) to provide a logical characterization of differential privacy: we consider a probabilistic variant of the Hennessy-Milner ...
The modal logic L We introduce the modal logic L of [14] , which extends HML [28] with a probabilistic choice modality that allows us to express the behavior of probability distributions over processes ...
doi:10.1007/978-3-030-02146-7_4
fatcat:o2mvc6qaqrat7bvanqdtrjm74q
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop
2005
Electronical Notes in Theoretical 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 2019; you can also visit the original URL.
The file type is application/pdf.
We consider the model checking problem for FLC, a modal fixpoint logic capable of defining nonregular properties. ...
This paper presents a refinement of a symbolic model checker and discusses how to parallelise this algorithm. ...
A great step on the expressivity ladder regarding temporal logics was made with the introduction of FLC [9] , a fixpoint logic that extends the modal µcalculus with an operator for sequential composition ...
doi:10.1016/j.entcs.2004.10.023
fatcat:2craondikzen3fq7kcvosbxboy
Belief modelling for situation awareness in human-robot interaction
2010
19th International Symposium in Robot and Human Interactive Communication
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.
Key to our approach is the use of Markov Logic as a unified framework for inference over these beliefs. Markov Logic is a combination of first-order logic and probabilistic graphical models. ...
Its expressive power allows us to capture both the rich relational structure of the environment and the uncertainty arising from the noise and incompleteness of low-level sensory data. ...
First, the expression "this" is resolved to a particular entity. Since "this" is a (proximal) deictic, the resolution is performed on basis of saliency measures. ...
doi:10.1109/roman.2010.5598723
dblp:conf/ro-man/LisonEK10
fatcat:ou7d6kp4svgwjpawpn7ls3ruwu
Towards Greener Applications: Enabling Sustainable Cloud Native Applications Design
[article]
2022
arXiv
pre-print
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.
To this end, we first suggest possible actions to enrich the application design towards sustainability, and finally describe how this additional information can be leveraged in the application workflow ...
This exploratory work aims to emphasize the awareness on the sustainability of applications by proposing a methodology for its evaluation. ...
Business rules enable to express conditions on the execution of an activity in a business process. They hide the complexity of the logic preventing the model to become too complex. ...
arXiv:2201.11631v1
fatcat:zxcmwa6l5rgqjfpxphxmmyv2ji
Probabilistic and Logical Beliefs
[chapter]
2008
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.
The setting for the integration is a highly expressive logic. The integration is explained in detail, as its comparison to other approaches to integrating logic and probability. ...
An illustrative example is given to motivate the usefulness of the ideas in agent applications. ...
To begin with, we use a much more expressive logic, modal higher-order logic. The higher-orderness will be essential to achieve the desired integration of logic and probability. ...
doi:10.1007/978-3-540-85058-8_2
fatcat:s7dfkxypangtrgkj25yu6dff2i
An algebra-based method to associate rewards with EMPA terms
[chapter]
1997
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 2019; you can also visit the original URL.
The file type is application/pdf.
The basic idea behind this method is to specify rewards within actions of EMPA terms, so it substantially di ers from methods based on modal logic. ...
We present a simple method to associate rewards with terms of the stochastic process algebra EMPA in order to make the speci cation and the computation of performance measures easier. ...
The idea is to express rewards by means of the Hennessy-Milner logic 4]: a logical formula is speci ed together with an arithmetical expression, and every state satisfying the formula is assigned the reward ...
doi:10.1007/3-540-63165-8_192
fatcat:tjqwlstmenalvagyjsz2rqnpgy
Quantum Cognitively Motivated Decision Fusion for Video Sentiment Analysis
[article]
2021
arXiv
pre-print
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.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2101.04406v1 fatcat:n6p6ree4xrg6dkzse3mkih2ida
jointly measured to produce a final decision. ...
Hilbert space with positive-operator valued measures. ...
We thank Christina Amalia Lioma that gave us constructive comments to improve the paper. ...
arXiv:2101.04406v2
fatcat:unnemhca2vf3nk3f3twbydjema
How to reason without words: inference as categorization
2008
Cognitive Processing
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.
Others reject such an anthropocentric conception of reasoning on the basis of similar performance by humans and animals in some reasoning tasks, such as transitive inference. ...
Finally, we explain how this account of reasoning applies to the kinds of transitive inferences that many nonhuman animals display. ...
Both of the authors benefitted from the comments and questions following presentation of these ideas to the IU Logic Seminar, and C.A. also acknowledges the useful questions and comments from audiences ...
doi:10.1007/s10339-008-0220-4
pmid:18626674
fatcat:oghe3dw5vbdwlo66d5r6mkk5n4
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
[chapter]
2001
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.
Thus far, XMC has supported value-passing process languages, but has been limited to using the propositional fragment of modal mucalculus as the property specification logic. ...
Recent advances in logic programming have been successfully used to build practical verification toolsets, as evidenced by the XMC system. ...
Subsequently, we extended the model checker to XL (which has variables and values) by exploiting the power of the logic programming paradigm to manipulate and propagate substitutions. ...
doi:10.1007/3-540-45241-9_1
fatcat:2oelfds5o5agvcch5oeozwmzru
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity
[chapter]
2000
Applied Logic Series
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 formalisms we analyze extend EC with operators from modal logic. ...
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. ...
Acknowledgments We would like to thank the reviewers for their useful comments. ...
doi:10.1007/978-94-015-9586-5_1
fatcat:l4anmbo62jb4ngsufdk5qpcmku
TwoTowers 4.0: towards the integration of security analysis and performance evaluation
2004
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.
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 novelty of TwoTowers 4.0 is its capability of supporting both security analysis and performance evaluation, thus providing the means for trading the QoS of a system with the bandwidth of its illegal ...
In case of property violation, an illustrative modal logic formula is reported. ...
Third, we would like to strengthen the integration of security analysis and performance evaluation, in such a way that the illustrative modal logic formula returned in case of security violation automatically ...
doi:10.1109/qest.2004.1348055
dblp:conf/qest/AldiniB04
fatcat:frpujrqhvnecfijcghad6sdaqa
Higher-order aspects and context in SUMO
2012
Journal of Web Semantics
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.
A solution is proposed that maps SUMO to quantified multimodal logic which is in turn modeled as a fragment of classical higher-order logic. ...
Our findings are of wider relevance as they analogously apply to other expressive ontologies and knowledge representation formalisms. ...
We would like to thank Geoff Sutcliffe and Larry Paulson for their support and their contributions to our work. Moreover, we thank the reviewers of this article for many fruitful comments. ...
doi:10.1016/j.websem.2011.11.008
fatcat:vml7qpbtg5fwziok2ehvgw6ynq
Specifying Performance Measures for PEPA
[chapter]
1999
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 meaning of the specification language can be made formal by examining its foundations in a stochastic modal logic. A case-study is presented to illustrate the approach. ...
Tools compute the numerical solution of these models; however, the stochastic process algebra methodology lacks support for the specification and calculation of complex performance measures. ...
By exploiting the operators a modal logic supplies, it is possible to be more discriminating about which states should contribute to the reward measure. ...
doi:10.1007/3-540-48778-6_13
fatcat:7t4oikmiyfbqdid7f4lswlyxy4
« Previous
Showing results 1 — 15 out of 35,961 results