yusuke1997/dblp-id-title huggingface dataset:
Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks
MiFuMax - a Literate MaxSAT Solver
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond
Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages
Algorithms and Complexity Results for Input and Unit Resolution
A Translation of Pseudo Boolean Constraints to SAT
DepQBF: A Dependency-Aware QBF Solver
tts: A SAT-Solver for Small, Difficult Instances
On Solving Boolean Combinations of UTVPI Constraints
A Practical Approach to Satisability Modulo Linear Integer Arithmetic
Terse Integer Linear Programs for Boolean Optimization
QBF-Based Formal Verification: Experience and Perspectives
CAQE and QuAbS: Abstraction Based QBF Solvers
A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving
HaifaSat: a SAT solver based on an Abstraction/Refinement model
Impurity: Another Phase Transition of SAT
An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF
Boolector 2.0
The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis
An Extended Semidefinite Relaxation for Satisfiability
Disequality Management in Integer Difference Logic via Finite Instantiations
Notes from the Guest Editors
On Using Cutting Planes in Pseudo-Boolean Optimization
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic
The Sat4j library, release 2.2
On Exponential Lower Bounds for Partially Ordered Resolution
The 2014 SMT Competition
SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results
Reusing the Assignment Trail in CDCL Solvers
PicoSAT Essentials
OMTPlan: A Tool for Optimal Planning Modulo Theories
Compactly Generating All Satisfying Truth Assignments of a Horn Formula
Lemmas on Demand for the Extensional Theory of Arrays
Reweighted Belief Propagation and Quiet Planting for Random K-SAT
Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic
The First and Second Max-SAT Evaluations
Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization
MSCG: Robust Core-Guided MaxSAT Solving
Whose side are you on? Finding solutions in a biased search-tree
Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks
Extending Existential Quantification in Conjunctions of BDDs
Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
Recording and Minimizing Nogoods from Restarts
Preface to Special Issue on Satisfiability Modulo Theories
RC2: an Efficient MaxSAT Solver
Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT
MUSer2: An Efficient MUS Extractor
Improved SAT-based Reachability Analysis with Observability Don't Cares
Using SAT Encodings to Drive CSP Value Ordering Heuristics
PaMiraXT: Parallel SAT Solving with Threads and Message Passing
A Computational Trichotomy for Connectivity of Boolean Satisfiability
It's All about the Support: A New Perspective on the Satisfiability Problem
2006 and 2007 Max-SAT Evaluations: Contributed Instances
MaxSAT Evaluation 2018: New Developments and Detailed Results
Generating and Searching Families of FFT Algorithms
PMSat: a parallel version of MiniSAT
Contrasat - A Contrarian SAT Solver
Decomposing SAT Problems into Connected Components
QMaxSAT: A Partial Max-SAT Solver
QBFRelay, QRATPre+, and DepQBF: Incremental Preprocessing Meets Search-Based QBF Solving
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages
A Resolution Based SAT-solver Operating on Complete Assignments
TT-Open-WBO-Inc: An Efficient Anytime MaxSAT Solver
Report of the Third QBF Solvers Evaluation
Transparent Dialogues: On Complex Affective Systems (CAFFS)
Reflections on Constructing a Reality: The American Society for Cybernetics in the 1980s
Information, communication and technology - what can second order cybernetics contribute to the literacy debate
Foreword: The Existential Graphs of Charles Sanders Peirce
The Once and Future: Thoughts and Notes
Social Media and the Hybridization of Education
Virtual Logic-Extainers, Containers and the Logic of DNA
C. S. Peirce's 'First Curiosity': the world's most complicated card trick
On the Instrumentality and Semiotic Agency of Signs, Tools, and Intelligent Machines
C. S. Peirce's Complementary and Transdisciplinary Conception of Science and Religion
What comes after second order cybernetics?
Virtual logic - The Smullyan Machine
Varela's Contribution to the Creation of Cybersemiotics: The calculus of self-reference
Book Review Philosophy of Computing and Information - 5 Questions
Societal Self-observation in the Time of Datafication: Interfunctional Analysis of the Chilean Open Data Web Portal
Foreword: Relevance Particular and General
Dark Hero of the Information Age: In Search of Norbert Wiener, Father of Cybernetics
Foreword: Bringing the New into Being
The effectiveness of mathematical formalisms
Significance-effects, Semeiotics and Brands
The Relationship Between Social and Biotic Evolution: The Evolution of Autopoietic Systems
Reflections on Cybersemiotic Experience in the Meta-Environment
Virtual Logic - The Square Root of Two
Virtual Logic-Finite Language and the Imagination of Infinity
Heinz von Foerster's Archives
The Natural History Approach: A Bateson Legacy
Reflective Organization
Applying Luhmann to Conceptualize Public Governance of Autopoietic Organizations
Encounters with the Psibernetic: A Controlled Free-Fall into a Techno-Abyss
Virtual Logic-Circularity, Knots and the ASC
Constructivism Revisited
The Topology of Technoetics Via Theoria: Roy Ascott and the Techne of La Plissure du Texte
Foreword: Laws of Form
Living in Cybernetics-Making it Personal
Peirce's Existential Graphs and Semeiotic of the Eucharist
George Spencer-Brown as I Knew Him: A Brief Personal Memoir
Obituary: Ernst von Glasersfeld 1917-2010
The Metaphysics of Ethics: A Conversation
Through an Illusion, Touching the Real
Laws of Form and Form Dynamics
Instances of Consciousness An Essay on the Signs of Evolution
Cognition et Systeme, Essai d'Epistemo-praxeologie
A (cybernetic) musing: encyclopaedias and the form of knowing. a celebration of Charles Francois' 'International Encyclopaedia of Systems and Cybernetics', a Sort of Self-referential Work of Reference
Eigenforms - Objects as Tokens for Eigenbehaviors
Religion and Economics: Legitimacy of Corporations in Modern Society
Events and Affordances: Ecosocial Time Scales and the Two Orders of Language
Re-reading Laws of Form as a Language in Change
On Different Uses of Difference Post-ontological Thought in Derrida, Deleuze, Luhmann, and Rorty
The Grammar of Linguistic Semiotics: Reading Peirce in a Modern Linguistic Light
The Bootstrap Principle and the Uniqueness of the World
A Cybernetic Critique of Enterprise Risk Management
The Hidden Third as the Unifier of Natural and Spiritual Information
A possible prolegomena to a metagrammar of genes and language
Interaffectivity: Why interaction is not enough
Defining life as a semiotic phenomenon
ASC: The Future is Now
An introduction to 'Epistemo-praxiology'
Sebeok's Semiosic Universe and Global Semiotics
Comment: Theories of Difference in the 20th Century: Spencer-Brown's Contribution
Charles S. Peirce's Theory of Information: A Theory of the Growth of Symbols and of Knowledge
Paradigm Shifts in Cultural Systems: A Review of Understanding Media Semiotics
Foreword: Semiotics and Systems: Meaning, Causality and Power
Foreword: Hermeneutic Cybernetics
Comments on Cybernetics and Art, Particularly Painting: ASC
Some 19th Century Problems Of Evolution (1965)
Virtual logic - The key to Frege
Foreword: Luhmann Observed and Critiqued
A Cybernetic View of Stone Sculpting
Comment: Some Remarks on the History of Sociology
Formation, and Neural Organization, of Perceptual Spaces
Nothing as Plenum: Lao-tzu's Way and Maturana's Substratum
A (Cybernetic) Musing: Cybernetics and Circularities
Circle of Learning A Review of Ecological Thinking: A New Approach to Educational Change
ASC science of human understanding a society for the art and American Society for Cybernetics
Relations beyond information
Peirce, Searle, and the Chinese Room Argument
Cybernetic Scrying and Self-reflexivity: Listening Through an Artist's Canvas
Virtual logic - The Flagg Resolution
Observing Networks: A Note on Asymmetrical Social Forms
A (Cybernetic) Musing: Anarchy, Alcoholics Anonymous and Cybernetics: Chapter One
A difference that makes a difference: reflections on artifact-mediated-consciousness
The Dark Side of Technological Singularity: New Barbarism
On information theory stumbling-blocks: some biological considerations about the concepts of 'sequence', 'stability' and 'hierarchy'
Ultrastability ... Autopoiesis? Reflective Response to Tom Froese and John Stewart
Book Review: Operational Research and Environmental Management: A New Agenda
Negative Cybernetics
The process of embodying distinctions - a re-construction of the process of learning
Emergence: Process Organization, not Particle Configuration
Reading the teacher: teacher as multimedia text in the classroom communication milieu
Living forms are communicative structures, based on the organic codes
New Visual Hermeneutics
Signs in action: Tarot as a self-organized system
Tridimensional Recursive Learning Model
Virtual Logic-Set Theory and the Continuum Hypothesis
A Cybernetic Approach to Economics
Transdisciplinarity for the 21st Century: Biosemiotics as Systems Theory
Epistemological Awareness: A Systemic Inquiry
Valuing the epistemic in the search for betterment: the nature and role of critical learning systems
Occupation as a Form and the Theory of Society
A (Cybernetic) Musing: Cybernetics and Human Knowing
Cybernetic Self and Self-Observation in Email
Observing Differences, Embodying Knowledge: Radical Constructivism Meets Feminist Epistemology
Autopoiesis, Structural Coupling and Cognition: A history of these and other notions in the biology of cognition
The Spatio-temporal Dynamics of Systemic Thinking
Foreword: Ranulph Glanville and How to Live the Cybernetics of Unknowing A Festschrift Celebration of the Influence of a Researcher
"An Electronic Buzzer is Laughing"
Learning from an action experiment: putting Schon's reciprocal-reflection theory into practice
Glanville's Consistency
Diamond Bracket Forms and How to Count to Two
On the cybernetics of fixed points
Disciplinary knowledge, postmodernism and globalization: a call for donald schon's 'reflective turn' for the mental health professions
ASC 1999 to 2001: A Personal Account
Perception, Cognition and the Semiotics of Language
Foreword: Challenges of, and to, Pragmatics
Reflections on Power, Democracy and Communications
Thirty-Nine Columns Supporting One of Our Own
How Minds Are Made, or Made Up
Time Scales of Socio-cultural Dynamics
Foreword: Media Effects
Foreword: Significant Ideas and Ongoing Debates
Thomas A. Sebeok's Global Semiotics: Modeling, communication, and dialogism
Mind, Matter, and Evolution: An Outline of C. S. Peirce's Evolutionary Cosmogony
Comparing Three Regulators: The Homeostat, Priming and Multiplier Feedback
Peirce's influence on today's mathematical logic
Time: An Imaginary Spatial Dimension or: Life Occurs in the No-time of a Continuously Changing Present
Second-order Economics as an Example of Second-order Cybernetics
Learning as knowledge construction within a community of learners. An attribution to Don Schon
Foreword: 25th Anniversary Issue: High Abstraction and Skillful Application
Cybernetics's Reflexive Turns
Living Subjectivity: Time Scales, Language, and the Fluidity of the Self
Designing Exploring as a Second-order Process: A Legacy of Ranulph Glanville
Science as systems learning: some reflections on the cognitive and communicational aspects of science
Comment: From Time Intuition to Diagrammatic Forms-Intuitionism and Formalism
A (Cybernetic) Musing: Wholes and Parts, Chapter 1
Laws of Form and Topology: Presentation and Discussion
The Be-ing of Objects
On Creation From Nothing
Patterns That Connect Patterns That Connect: A Thematic Foreword
Learning to Teach through Coteaching and Cogenerative Dialogue
The White Horse: A Reformulation of Bateson's Typology of Learning
Evolving Cooperation when Introducing Groupware: A Self-Organization Perspective
Complexity of Values Clarification in Health Education: A Systems Theoretical Contribution
Virtual Logic-The Logic of Quantum Theory
Interpretation of Absolute Judgments Using Information Theory
Logical Structure of Environment and Its Internal Representation
Introduction to Luhmann
Death and the Cybernetic Mind A review of the novel The Lovely Bones by Alice Sebold
Approaching Bayesian Subjectivity from a Temporal Perspective
The Philosophical Nature of Maturana's Theory of Perception
Theorizing Culture, or Reading Luhmann Against Luhmann
Toward a Recursive Theory of Everyday Double Binds
Living Between Cybernetics Columns
An Invitation to Creative Reflection
Systems Are Theory
Operational Closure and Self-Referentiality Hume's Theory of Causal Inference from the Standpoint of Second-order Cybernetics
Storytelling and Listening: Co-creating Understandings
Mirror Neurons, Mirrorhouses, and the Algebraic Structure of the Self
System E - A New Language that Reveals New Distinctions in Laws of Form's Notational Space
Can Contingency Be Formalized?
Peirce's Existential Graphs
The Self Is Something Less, Not More, than Matter
Autopoiesis, semeiosis, and co-coupling: a relational language for describing communication and adaptation
An Esoteric Guide to Spencer-Brown's Laws Of Form
Machines of Wonder and Elephants that Float through Air
Foreword: Advances in Cybersemiotics
A Cybernetic Musing: Five Friends
Narrowing Circles: Questions on Autopoiesis and Literary Interpretation after Dietrich Schwanitz
The Joker in the Box or The Theory Form of the System
Neocybernetic Emergence: Retuning the Posthuman
A History of the History of Cybernetics: An Agenda for an Ever-changing Present
Virtual logic - self-reference and the calculus of indications
Richard Jung and the Cybernetic Phenomenology of the Self
Exploring Creativity in the Design Process: A Systems-Semiotic Perspective
Foreword: Re-informings
Circular Epistemology and the Bushman Shamans: A Kalahari Challenge to the Hegemony of Narrative
ASC: The Role of Cybernetics in Security Policy
Is There No Alternative? The Discursive Formation of Neoliberal Power
Varieties of Objectivity
A Cybernetic Musing: All the 8's
A (Cybernetic) Musing: Certain Propositions Concerning Prepositions
Ethics and Aesthetics of Observing Frames
Foreword: A Mathematics of Form, A Sociology of Observers
the 'cybernetics' of cybernetics and the 'cybernetics of cybernetics'
The Concept of Information in Library and Information Science A Field in Search of Its Boundaries: 8 Short Comments Concerning Information
Productive dialogues - golddigging midwives
The Paradox of Stability and Dynamics in Organizational Couplings
Biosemiotic Anti-Humanism: Why Culture Is an Extension of Biology and a Self-Organizing System of Meaning
The Mediality of Looseness
Temporal Dynamics in Human Interaction
internet fellowship
Comment: Calculi or Diagrams?
Foreword: Directionality in Complex Systems in Semiotics and Cybernetics
The Quadrants and the Elephant
What I Learned from Ranulph: A Grateful Tribute to Ranulph Glanville
Virtual Logic - The Small Machine
Thomas Sebeok: Mister (Bio)semiotics An obituary for Thomas A. Sebeok
The Innovation of Innovation: How the War System Dominated Societal Temporalization
Listening to Media in Cultural Theory, Sociology, and Management
Listening to the Inaudible
Anticommunication Imperative
Foreword: The Transdisciplinary Contribution of Semiotics to Cybersemiotics
Foreword: Emergence and Downward Determination
An Outline of an Autopoietic Systems Approach to Emotion
Cybersystemic Conviviality: Addressing the Conundrum of Ecosystems Services
The 'Surplus of Meaning'. Biosemiotic aspects in Francisco J. Varela's philosophy of cognition
Virtual Logic: The One and the Many
The Baldwin Effect: an archaeology
Enactive Cognitive Science and Biology of Cognition: A Response to Humberto Maturana
Reflections on the Ontology of Observing
ASC: Second-Order Cybernetics, Radical Constructivism, and the Biology of Cognition: Paradigms Struggling to Bring About Change
Self-organization, self-reference and inter-influences in multilevel webs: beyond causality and determinism
C. S. Peirce's precursors to Laws of Form
Virtual logic - reasoning and playing with imaginary boolean values
The Biosemiotic Roots of Morality
Digitality as a Medium of Communication With a Focus on Organizations as Systems of Decision-making
Breaking the Concept of Power (and Redescribing its Domain): Batesonian and Autopoietic Perspectives
Jacob's Ladder and Scientific Ontologies
Virtual Logic-Syllogisms
Peirce and Spencer-Brown on Probability, Chance, and Lawfulness
Virtual Logic: Cantor's Paradise and the Parable of Frozen Time
Mind the Gap: Flexibility, Epistemology and the Rhetoric of New Work
International Encyclopaedia of Systems and Cybernetics, second edition Edited by Charles Francois
Schema Structure - Content Relativity
A (Cybernetic) Musing: Design and Cybernetics
Virtual Logic: The Berry Paradox and Chaitin's Theory of Algorithmic Complexity
Radical Constructivism = Second-order Cybernetics
A Dynamical Account of Emergence
Virtual logic - The MetaGame Paradox
Designing Together
Can Pragmatists Believe in Qualia? The Founder of Pragmatism Certainly Did..
Cognitive Constructivism, Eigen-Solutions, and Sharp Statistical Hypotheses
One, two, three... continuity: C.S. Peirce and the nature of the continuum
Letter: Gregory Bateson to Cecil P. Martin
Enabling embodiment in education
Self-Organising Social Systems: A Challenge to Computer Supported Cooperative Work - Introduction
Some Remarks on Bickhard and Process Metaphysics
Foreword: Multiple Versions of Science, Design, Legitimacy, and Sustainability
Maturana's Intellectual Contribution: A Choreography of Conversation and Action
Foreword: Laws of Form: New Perspectives
Cybersemiotic Medicine: A Framework for an Interdisciplinary Medicine
New Media and Socio-Cultural Formations
In Ranulph's Terms
TRUTH IS WAR: Conversations with Heinz von Foerster
Ranulph Glanville: The Cybernetician of the Black Box of Second-order Unknowing
ASC: Dancing with Ambiguity
Foreword: The ages of Francisco Varela
Heinz von Foerster and the Mansfield Amendment
Systems Philosophy in use: A book review of Edgar Morin's and Jean-Louis Le Moigne's: 'L'intelligence de la Complexité'
Gregory Bateson, Heterarchies, and the Topology of Recursion
Foreword: Networks in the Mirror
Conversation, Design and Ethics: The Cybernetics of Ranulph Glanville
Biosemiotics: To Know, What Life Knows
Maturana, Technology, and Art: Is a Biology of Technology Possible?
The Network Synthesis of Social Action II: Understanding Catjects
Thematic foreword: reflective practices: the legacy of Donald Schon
Life After Ashby: Ultrastability and the Autopoietic Foundations of Biological Autonomy
A Calculus of Negation in Communication
The Shaman of Cybernetic Futures: Art, Ritual and Transcendence in Fields of the Networked Mind
Emergence and Downward Determination in the Natural Sciences
Conversation theory: A constructivist, dialogical approach to educational technology
Virtual logic - the calculus of indications
A (Cybernetic) Musing: In Praise of Buffers
Education as Recursive Cycles of Learning to See Through Acting and Learning to Act Through Seeing: The Influence of Heinz von Foerster
Comment: Socializing a Calculus: The Emergence of a Theory of Social Forms and a
Big Theory-Strong Theory: The Ontological Ghost of Post-Ontological Epistemology
Crossfire on the Streets and into the Classroom: Meso/Micro Understandings of Weak Cultural Boundaries, Strategies of Action and a Sense of the Game in an Inner-City Chemistry Classroom
A (cybernetic) musing: variety and creativity
The Double Bind: Pathology and Creativity
Combining Luhmann and Actor-Network Theory to See Farm Enterprises as Self-organizing Systems
Emergence of Autonomy in Contemporary Artificial Agents: Any Novelty?
Peirce's Existential Graphs and the Proof of Pragmatism
Emergence and Downward Causation in Contemporary Artificial Agents: Implications for their Autonomy and Some Design Guidelines
Remebering Gary Boyd
Unruly Connections
Living a Second Order Life
Digital Drifting: Minimally Instructive Education for Tool-aided Creativity in Asia
Biosemiotic Expectations
Roy Ascott-Early Interactive Work and Some Cybernetic Relationalities
Sign as Form
Foreword: What Underlies Information
The Quasi-Error of the External World an essay for Thomas A. Sebeok, in memoriam
Listening and Unentitled
Thomas A. Sebeok and the Astonishing World of Signs
Self, Immunity, and Meaning
Power and the Third Paradox
Biosemiotic Bateson
Foreword: Bridging the Gaps
Varela and the Uroborus: The psychological significance of re-entry
Can Virtual Enterprises Build up an Own Identity?
A (Cybernetic) Musing: Anarchy, Alcoholics Anonymous and Cybernetics: Chapter 2
Newtonian Space in Newell and Simon: Reply to Kinsella's (2008) Response to Downes (2006)
ASC 2009 Conference: A Report
Musement, Play, Creativity: Nature's Way
Mousing, Swiping, Thinking: Magical Conquest Techniques in the Context of Electronic Communications Media
Autopoietic Power
Between the lines: The part-of-the-world-position of Heinz von Foerster
Downward Causation Requires Naturalized Constraints: A Comment on Vieira & El-Hani
Epistemology as Communication Theory: A Critique of Niklas Luhmann's Theory of the Vanished World
Putting Flesh on the Bones: Ranulph Glanville's Contributions to Conversation Theory
The World as Computer: Review of Chaos and Life: Complexity and Order in Evolution and Thought. By Richard J. Bird. New York: Columbia University Press, 2003
Distributed Minds
A (cybernetic) musing: varieties of variety?
Radical constructivism at work in education - an apercu
Heinz von Foerster: A Personal Farewell
Two Roads Which Diverged
Heinz von Foerster and the Self-Reflexive Turn
Biosemiotic Theses on the Door of Conventional Biology
Foreword: Evolution and Communication Heterodox Rethinkings
What I Learned from Ranulph Glanville
The Concept of Environment in Systems Theory
A (cybernetic) musing: the gestation of second order cybernetics, 1968-1975 - a personal account
Action without Utility. An Immodest Proposal for the Cognitive Foundations of Behavior
Heinz - Where Are You? A Genius in Oblivion
Understanding the Development of Competent Practice in Biology Field Research
Foreword: A Tribute to the Messenger Shaman: Roy Ascott
Art: A First-Person Science
The FIS (Foundations of Information Science) initiative: a presentation
Ranulph Glanville: The Cybernetician of Ignorance
A Cybernetic Musing: The IFSR, diagrams and inclusive logic, or- [Both [either [either/or] or [both/and]], and [both [both/and] and [either/or]]]
Virtual Logic: Fragments Of The Void - Selecta
Time and Temporality: Linguistic Distribution in Human Life-games
Foreword - Niklas Luhmann: Cybernetics, Systems and Semiotics
Information and Semiotic Processes The Semiotics of Computation
The Vindication of a Generalized Cybernetic Reason
The Humanities and Arts as Producers of New Knowledge
The formulation of a science of information: an engineering perspective on the natural properties of information
Foreword: Luhmann Applied-For What?
Hermeneutics of the Listener: Some Similarities Between Heinz von Foerster and Richard Rorty
Desirable Ethics
Some-thing from no-thing: G. Spencer-Brown's Laws of Form
Life is a Verb
The Roles of Listening and Non-listening in the Formation of Organizational Hierarchies
Elements for a Foersterian Poetics in Psychotherapeutic Practice
Structural Coupling-a Problematic Concept
Three Levels of Semiosis: Three Kinds of Kinds
Niklas Luhmann as an Empirical Sociologist: Methodological Implications of the System Theory of Society