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
Formal Modeling of Product-Line Variant Requirements
2013
International Journal of Computer and Communication Engineering
Preserved Fulltext
This paper presents an approach to modeling and verifying SPL variant feature diagrams using first-order logic. It provides a precise and rigorous formal interpretation of the feature diagrams. ...
A case study of a Computer Aided Dispatch (CAD) system variant feature model is presented to illustrate the verification process. Index Terms-Product line, reuse, first-order logic, variants. ...
This paper uses first-order logic to represent product line variants and their dependencies. ...
doi:10.7763/ijcce.2013.v2.140
fatcat:2qrmvtuh6jfa5ghx7ky2j5t4hi
Managing and Analysing Software Product Line Requirements
2013
International Journal of Software Engineering & 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 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This paper presents an approach that we adopt to model SPL variants by using UML and subsequently verify them by using first-order logic. UML provides an overall modelling view of the system. ...
First-order logic provides a precise and rigorous interpretation of the feature diagrams. We model variants and their dependencies by using propositional connectives and build logical expressions. ...
We define six types of logical notation to represent all the parts in a featuremodel. First-order logic has been used for this purpose. ...
doi:10.5121/ijsea.2013.4505
fatcat:jehbaa3dbbaste4kftprx3s6eu
A knowledge based framework for the detection of measurement uncertainties in derived sea surface current fields
2010
2010 IEEE International Geoscience and Remote Sensing Symposium
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 2011; you can also visit the original URL.
The file type is application/pdf.
We present first steps towards an automatic knowledge-based approach that uses description logic to validate the measurements of sea surface currents. ...
Optical flow due to other image features, e.g. ship wakes, does not correspond to the motion field and causes systematic errors. ...
amounts to checking the first-order satisfiability of this formula in terms of first-order predicate logic. ...
doi:10.1109/igarss.2010.5651374
dblp:conf/igarss/SeppkeDWG10
fatcat:kvvs26elaverpcoqo323nwuv4a
Logic Verification of Product-Line Variant Requirements
[article]
2014
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 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
2012
2012 African Conference for Sofware Engineering and Applied Computing
unpublished
doi:10.1109/acseac.2012.14 fatcat:jt262ukfuraqbgem55nmhlrike
doi:10.1109/acseac.2012.14 fatcat:jt262ukfuraqbgem55nmhlrike
This paper presents an approach to modeling and verifying SPL variant feature diagrams using first-order logic. It provides a precise and rigorous formal interpretation of the feature diagrams. ...
Logical expressions can be built by modeling variants and their dependencies by using propositional connectives. These expressions can then be validated by any suitable verification tool. ...
Therefore,
the whole product model becomes invalid. To handle such
scenarios where dependency decision can be propagated, a set
of rules has been defined using first-order logic. ...
arXiv:1402.5595v1
fatcat:wyof44aqe5gnbbzkqru4zwc6wm
Reflections on Consequence
[chapter]
2008
New Essays on Tarski and Philosophy
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 2001; you can also visit the original URL.
The file type is application/pdf.
In The Concept of Logical Consequence (CLC) [13], I presented an extended argument that the standard, Tarskian analysis of logical consequence and logical truth is wrong. ...
This paper is not meant to be a "reply to my critics." ...
Every class of models has such features-indeed infinitely many such features-including the models used in first-order logic. ...
doi:10.1093/acprof:oso/9780199296309.003.0011
fatcat:j2jvrenyfnfa3nsfjouyiwloqu
Logic and Feature Structures
1991
International Joint Conference on Artificial Intelligence
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.
Many feature systems can be completely axiomatized in the Schonfinkel-Bernays class of first-order formulae, so the decidability of the satisfiability and validity problems for these systems follows immediately ...
Given the proliferation of different feature structure formalisms it is useful to have a "common language" to express them in. ...
This paper exploits some of the results on dccidable classes of first-order logic [3, 5] to show that the satis fiability and validity problems for certain types of feature structure constraints are ...
dblp:conf/ijcai/Johnson91
fatcat:rdjfqcst3raxzj7sknlht5oe7i
Relational Knowledge Extraction from Neural Networks
2015
Neural Information Processing Systems
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.
First-order logic rules are extracted from the neural networks, offering interpretable symbolic relational models on which logical reasoning can be performed. ...
The wellknown knowledge extraction algorithm TREPAN was adapted and incorporated into the first-order version of the neural-symbolic system CILP++. ...
In order to tackle this, an adapted version of the first-order feature generation algorithm presented in [16] has been used to generate independent propositional features which represent first-order ...
dblp:conf/nips/FrancaGZ15
fatcat:3gb7oaarprewnjaueqe3diwuyi
The Formal and Computational Theory of Complex Constraint Solution
[chapter]
1994
Constraints, Language and Computation
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 will turn our attention to those first order theories admitting complete models and extend them to recursively defined relations. ...
Logic programming is an ideal paradigm for such a framework in that it supports a direct mapping between grammars, seen as first order logic theories, and the first order theory of their implementation ...
Smolka has given an axiomatization of the models of feature logics in first order predicate logic [Smo89] , and he proposes to model features by representing them as binary predicates p(x, y) satisfying ...
doi:10.1016/b978-0-08-050296-0.50012-7
fatcat:i72bajvckzaj7d3lrca6jhom2a
Modeling and validation of business process families
2013
Information Systems
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 proposed validation approach is based on the use of Description Logics, variability is represented by using the well-known Feature Models and behavior of process models is considered in terms of control ...
However, ensuring behavioral validity of reused process models with respect to the original process models (often referred to as reference process models) is still an open research challenge. ...
Furthermore, we used a further trial case that has been represented in both feature and business process models. ...
doi:10.1016/j.is.2012.11.010
fatcat:xdp7jwqbunerxl5hxaxa5k7qha
The UCLID Decision Procedure
[chapter]
2004
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.
Apart from validity checking, the decision procedure also provides other useful features such as concrete counterexample generation and proofcore generation. ...
UCLID is a tool for term-level modeling and verification of infinite-state systems expressible in the logic of counter arithmetic with lambda expressions and uninterpreted functions (CLU). ...
We are grateful to Randal E. Bryant for his invaluable support and feedback. ...
doi:10.1007/978-3-540-27813-9_40
fatcat:b764wtws7ner7epgz4izhx674y
Representation, reasoning, and relational structures: a hybrid logic manifesto
2000
Logic Journal of the IGPL
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 2004; you can also visit the original URL.
The file type is application/pdf.
On the contrary, we can talk about models using any classical language we find useful (for example, a first-order, infinitary, fixpoint, or second-order language). ...
This turns out to be the key needed to draw together a surprisingly diverse range of work (for example, feature logic, description logic and labelled deduction). ...
Thanks to Claire Gardent and Ewan Klein for their comments on the first version. ...
doi:10.1093/jigpal/8.3.339
fatcat:knzw6fq32bhd3dwhpkleufrm6y
Learning to Reason
[article]
2018
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 2020; you can also visit the original URL.
The file type is application/pdf.
All of this prior work, however, has one common limitation: they all rely on the axioms of classical first-order logic. ...
This work explores using Q-learning (Watkins, 1989) to inform proof search for a specific system called non-classical logic called Core Logic (Tennant, 2017). ...
All of this prior work, however, has one common limitation: they all rely on the axioms of classical first-order logic. ...
arXiv:1810.05315v1
fatcat:k4mqo6jie5hxlhuk34btkquun4
Case Tool Support for Variability Managing in Database Schemas
2018
Journal of Software
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.
In addition, we present a quantitative evaluation of our experimentation which leads to a validation of the latter to show the reliability of VariaLBD. ...
Therefore, we worked on this research field to ensure a continuous evolution of database schemas through the modelling and the implementation of variability in these schemas. ...
We explain how to use Model-driven engineering (MDE) to transform models in order to model variability in target models. ...
doi:10.17706/jsw.13.11.600-612
fatcat:6lgsnsg3x5cn5ptqt6esbxw354
Computational Intelligence Methods For Rule-Based Data Understanding
2004
Proceedings of the IEEE
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 2004; you can also visit the original URL.
The file type is application/pdf.
with first-order or higher order logic. ...
Many only work for symbolic inputs, so continuous features have to be discretized first. ...
doi:10.1109/jproc.2004.826608
fatcat:6p2ga6lkcvgtxnhumy7oth7v4y
Anti-Exceptionalism about Logic and the Burden of Explanation
2022
Canadian Journal of Philosophy
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.
Considerable attention recently has been paid to anti-exceptionalism about logic (AEL), the thesis that logic is more similar to the sciences in important respects than traditionally thought. ...
However, insufficient attention has been given to what this proposal amounts to, and the challenges that arise in providing an account of explanations in logic. ...
I would also like to thank two anonymous referees for their detailed comments on a previous version of this paper. Funding statement. ...
doi:10.1017/can.2022.14
fatcat:3zp75m5kuvbvrigb7n6k5zy2rq
« Previous
Showing results 1 — 15 out of 541,399 results