Sciweavers

29 search results - page 4 / 6
» A Possibility-Theoretic View of Formal Concept Analysis
Sort
View
92
Voted
ICCS
2001
Springer
15 years 1 months ago
Many-Valued Context Analysis Using Descriptions
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...
Ralf Gugisch
SYNTHESE
2010
87views more  SYNTHESE 2010»
14 years 7 months ago
Proofs, pictures, and Euclid
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
John Mumma
SYNTHESE
2011
177views more  SYNTHESE 2011»
14 years 4 months ago
Quantum logic as a dynamic logic
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
Alexandru Baltag, Sonja Smets
JSW
2007
120views more  JSW 2007»
14 years 9 months ago
Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
Thomas Triebsees
SAS
2005
Springer
162views Formal Methods» more  SAS 2005»
15 years 2 months ago
Boolean Heaps
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
Andreas Podelski, Thomas Wies