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.
Filters
SD2: a sound and complete diagrammatic reasoning system
Proceeding 2000 IEEE International Symposium on Visual Languages
Preserved Fulltext
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. ...
We discuss the soundness of the system and develop a proof strategy for completeness simpler than that adopted by Shin. ...
and proved the soundness and completeness of the system. ...
doi:10.1109/vl.2000.874376
dblp:conf/vl/HowseMT00
fatcat:j5tq4pcxijh6xnku6et3b6poji
On the Completeness and Expressiveness of Spider Diagram Systems
[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 2004; you can also visit the original URL.
The file type is application/pdf.
A set of reasoning rules for a spider diagram system is shown to be sound and complete. ...
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. ...
Our longer term aim is to prove similar results for constraint diagrams, and to provide the necessary mathematical underpinning for the development of software tools to aid the diagrammatic reasoning process ...
doi:10.1007/3-540-44590-0_8
fatcat:4wji7m6flfggzdl75nu7aebm5i
A Survey of Reasoning Systems Based on Euler Diagrams
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.
Recently much research has been conducted to develop formal, diagrammatic reasoning systems based on Euler diagrams. ...
Most of these systems extend Euler diagrams by adding further syntax to increase expressiveness. In this paper we survey such systems and draw comparisons between them. ...
Whilst the Venn-II system is not particularly expressive, Shin does show that diagrammatic notations can be formalized and given sound and complete reasoning rules. ...
doi:10.1016/j.entcs.2005.02.022
fatcat:mnf4zv54hvchpkranod5stucdq
Spider Diagrams
2005
LMS Journal of Computation and Mathematics
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.
A number of simple diagrammatic transformation rules are given, and the resulting reasoning system is shown to be sound and complete. ...
This paper develops a purely diagrammatic reasoning system of "spider diagrams" that builds on Euler, Venn and Peirce diagrams. ...
In [37] , Sun-Joo Shin gives a cogent summary of this long-standing 'prejudice' against diagrammatic reasoning, before developing two (sound and complete) reasoning systems of Venn diagrams. ...
doi:10.1112/s1461157000000942
fatcat:62irnhbq2rfovcsomj7ihyvnd4
A Diagrammatic Inference System with Euler Circles
2012
Journal of Logic, Language and Information
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 prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normalization theorem. ...
We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. ...
semantics and inference systems are given, and basic logical properties such as soundness, completeness, and decidability are shown. ...
doi:10.1007/s10849-012-9160-6
fatcat:dtcmmkqxcvg77f2a7z7ormojsa
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design
[chapter]
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.
Accordingly, in order to fill this gap, we formalize an Euler diagrammatic inference system and prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. ...
We further consider, from a proof-theoretical viewpoint, the structure of diagrammatic proofs and manners of their construction. 1 Throughout this paper, we mean by a circle a simple closed curve. ...
Furthermore, in Based on Venn's and Peirce's work, Sun-Joo Shin [1994] formalized a diagrammatic reasoning system called the Venn-II system. ...
doi:10.1007/978-3-540-87730-1_19
fatcat:7md3rkrnkfed5lybyylb2u5usi
Australian Social Policy 2005
2010
Social Science Research Network
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 2014; you can also visit the original URL.
The file type is application/pdf.
The authors also appreciate the support received from colleagues in the completion of this paper, including the assistance provided by Emily Bell and Rachel Atherden at FaHCSIA and Emma George and Megan ...
Acknowledgements The authors are grateful for the helpful comments and advice received from Professor Doug Willms at the University of New Brunswick, Canada, and Andrew Whitecross, Helen Moyle and Rob ...
and thus provides a sound data source that can be used to examine the two indicators of education and early independence. ...
doi:10.2139/ssrn.1728996
fatcat:aum3yiezpfamdpw6i76hnitzsa
Managing Assurance Cases in Model Based Software Systems
2017
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)
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.
However, as systems undergo evolution for a variety of reasons, including fixing bugs, adding functionality or improving system quality, maintaining assurance cases multiplies the effort. ...
For companies, compliance is a complex and costly goal to achieve and is often accomplished by producing socalled assurance cases, which demonstrate that the system indeed satisfies the property imposed ...
The goal would be to develop sound ways to model this interplay and reason about it as systems evolve. ...
doi:10.1109/icse-c.2017.44
dblp:conf/icse/Kokaly17
fatcat:bwtpzkmqrzhzpc4jm3lupevgmq
Modular session types for objects
2015
Logical Methods 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.
Other Versions
We define syntax, operational se-mantics, a sound type system, and a sound and complete type checking algorithm for a small distributed class-based object-oriented language with structural subtyping. ...
The result is an elegant unification of communication channels and their session types, distributed object-oriented programming, and a form of typestate supporting non-uniform objects, i.e. objects that ...
Ravara was partially supported the Portuguese Fundação para a Ciência e a Tecnologia FCT (SFRH/BSAB/757/2007), and by the UK EPSRC (EP/F037368/1). ...
doi:10.2168/lmcs-11(4:12)2015
fatcat:b7blc53r6fcq3anuu5q33eaa4a
Statistics in Psychology and Education
1947
American Journal of Psychology
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.
Let us first represent the positions of the five subgroups diagrammatically on a normal curve as shown in Figure 33 . ...
(base of the Napierian system of logarithms). ...
Let Xl be a criterion and X 2 and X3 be two other tests. ...
doi:10.2307/1417743
fatcat:ycmehdnwv5aozbsoru5oibj7we
Facilitating computer supported cooperative work with socio-technical self-descriptions
2006
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.
How can the concept of self-description from newer systems theory be used for improving the co-evolvement of software engineering and organizational change in CSCW-projects? ...
studies is analyzed; fourth, a finalized methodological concept is derived. ...
Knowledge representation and reasoning are known to be used for expert systems in a single-user environment (e.g. systems like the historical MYCIN). ...
doi:10.17877/de290r-8096
fatcat:44snj3o6onastmbt2jkf7gduua
Foundations of Algebraic Theories and Higher Dimensional Categories
[article]
2019
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.
A general structure-semantics adjointness result and a double categorical universal property of categories of models are also shown. ...
We show that the notion of extensive category plays a central role in Batanin and Leinster's definition. ...
Equational logic is known to be both sound and complete, in the following sense. 1. (Soundness) Let t ≈ n s ∈ T (Σ)×T (Σ). If Σ | E ⊢ t ≈ n s then Σ | E t ≈ n s. 2. ...
arXiv:1903.07030v1
fatcat:zsfocnds7zbpvj4fxirq2cfv6u
Re-architecture:lifespan rehabilitation of built heritage - scapus
[article]
2007
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.
The design will be based on a complete graphical and photographic observation, also interpreted under metric aspects, of the regulating traces and the proportional systems and it will comprehend a careful ...
A "diagrammatic layout" 162 might be a good possibility to represent such relation survey. ...
doi:10.6100/ir751758
fatcat:3pgc4utzi5davkqhqnsmopcx7e
Management of perceptions of fitness for purpose in the education of mental health nurses
2004
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.
The findings related to knowledge, skills and attributes matched fairly closely with the published literature on the topic, but were of a much more specific and very basic nature. ...
The findings of the study showed that there exists a specific set of knowledge, skills and attributes which are regarded and agreed by all of the stakeholder groups as being vital to mental health nurses ...
The recordings were transferred to the computer, and upon playing them back through the computer's sound system, 2 out of 3 of them were very Page -62 clear. ...
doi:10.21954/ou.ro.0000fa00
fatcat:4adyltnyvncdbmtqfovglmeahm
ScholarWorks at UMass Boston Graduate Doctoral Dissertations Doctoral Dissertations and Masters Theses Management of Land Use Land Cover Through the Application of Remote Sensing, Geographic Information Systems and Simulation MANAGEMENT OF LAND USE LAND COVER THROUGH THE APPLICATION OF REMOTE SENSING, GEOGRAPHIC INFORMATION SYSTEMS AND SIMULATION A Dissertation Presented
unpublished
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.
The annual rate of loss of forests (0.41% in MTR and 1.20% in RNP) and loss of water (1.79% in MTR and 1.69% in RNP) during 1990-2004 is a matter of serious concern. ...
There were 2 broad objectives of the study: the technological objective pertained to the development of state-of-art programs that could serve as Decision Support Systems while finalizing plans and policy ...
Till the time optimization is reached, the modified sd2 is iteratively used as input, along with sd1 and LULC map 1, to produce the next modified sd2. ...
fatcat:wq355wlaazfxbclk6yzv4cik5a
« Previous
Showing results 1 — 15 out of 19 results