yusuke1997/dblp-id-title huggingface dataset:
Rethinking the Role of ICT for Sustainable Development: From Incremental Improvements Towards Sustainable Societal Transformation - Working Group 9.9: ICT and Sustainable Development
Algebraic Preliminaries
Interactive Learning Through Visualization, The Impact of Computer Graphics in Education
Computers in Education in Finland
Computing for the Masses? Constructing a British Culture of Computing in the Home
Institutional Nostalgia - Museum Victoria's Cabinet of Computing Curiosities
The Educational Programming Language Logo: Its Nature and Its Use in Australia
Early Uses of Computers in Schools in the United Kingdom: Shaping Factors and Influencing Directions
Information Literacy in the Netherlands: Rise, Fall and Revival
Reflections on the Beginnings of an Educational Revolution (?)
Experiences and Reflections
Catching the Bug: Pupils and Punched Cards in South Africa in the Late 1970s
Perceptual Principles for Effective Visualizations
Micro Programming
Current Directions in ICT and Society - IFIP TC9 50th Anniversary Anthology
Lessons from the Great Underground Empire: Pedagogy, Computers and False Dawn
HyperGraph - A Hypermedia System for Computer Graphics Education
Solid Modeling in Computer Graphics Education
The Evolution Path to Collaborative Networks 4.0
Prospero: A System for Representing the Lazy Evaluation of Functions
The Beginnings of Computer Use in Primary and Secondary Education in Spain
Cyber, Disinformation and AI: Evolving Uses of ICT in Peace and Conflict - Working Group 9.10: ICT Uses in Peace and War
The Dutch Situation: An Ever Continuing Story
Information Technologies and Social Power
Past Practices, Current Debates and Disputes: Future Engagements and Opportunities Regarding Digital Transformation for Sustainable Development - Working Group 9.4: Implications of Information and Digital Technologies for Development
Computer Assisted Lecturing: One Implementation
Introduction - Legacies of the Formation of IFIP Technical Committee 9
Perceptual Issues in Visualization
Roberto Busa (1913-2011), Pioneer of Computers for the Humanities
Object Specification
From Learning to Use Towards Learning to Code: Twenty-Five Years of Computing in Dutch Schools
Hyper-Simulator Based Learning Environment to Enhance Human Understanding
Cooperative Learning Using Hypermedia
Humanizing Computerized Information Systems
Towards Perceptual Control of Markov Random Field Textures
Visualizing Electromagnetic Data
Reflections on the History of Computer Education in Schools in Victoria
Computer Graphics in Computer Graphics Education
The Multi-Faceted Blackboard: Computer Graphics in Higher Education
A Possible First Use of CAM/CAD
Some Prerequisites for Systems Design in the Interest of the Workers
Pioneering the Internet in the Nineties - An Innovative Project Involving UK and Australian Schools
History of Data Centre Development
Synthesis of a Composite Imitation Model of the Cognitive Structure of the Ergatic System Operator on the Basis of Conceptual Pattern Technology
Institutions: An Abstract Framework for Formal Specifications
IFIP TC 9 - Working Group 1 "Computers and Work" Conclusions and Recommendations from the Workshop on the Effects of Computerization on Employment
A Conceptual Analysis of Early Arabic Algebra
The Limits of a Logical Treatment of Assertion
Causa Sive Ratio. Univocity of Reason and Plurality of Causes in Leibniz
Computer Science Meets Evolutionary Biology: Pure Possible Processes and the Issue of Gradualism
Mathematical Progress As Increased Scope
Concepts Structured through Reduction: A Structuralist Resource Illuminates the Consolidation-Long-Term Potentiation (LTP) Link
Constructivist Versus Structuralist Foundations
Leibniz's Rationality: Divine Intelligibility and Human Intelligibility
The Neurath-Horkeimer-Controversy Reconsidered: Otto Neurath's Erwiderung to Max Horkheimer's Attack Against the Vienna Circle
The Concept of the Gene in Contemporary Biology: Continuity or Dissolution?
The Symbiotic Phenomenon in the Evolutive Context
Perspectives On Mathematical Practices - Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
Vagueness: A Guide
Avicenna's Naturalized Epistemology and Scientific Method
Convergence or Genealogy? Leibniz and the Spectre of Pagan Rationality
The Genesis and History of Twardowski's Theory of Actions and Products
The Realism-Antirealism Debate in the Age of Alternative Logics
Informal Logic and Informal Consequence
French and Polish Conventionalism
The Cultural Sciences and Their Basis in Life. On Ernst Cassirer's Theory of the Cultural Sciences
Conceptions of Reality - Schlick, Carnap, Neurath
Wittgenstein's Diagonal Argument: A Variation on Cantor and Turing
Modalities and Multimodalities - With the assistance and collaboration of Juliana Bueno-Soler
From Games to Dialogues and Back
Truth and Reference
Scientific Reasonableness and the Pragmatic Approach to the Unity of Science
Otto Neurath's Epistemology and Its Paradoxes
De Abstracto et Concreto: Rationalism and Empirical Science in Leibniz
Laws of Nature Versus System Laws
Abduction and Proof: A Criminal Paradox
Vagueness and Linguistics
The Role of Metaphor in Leibniz's Epistemology
Unity of Science and Pluralism: Cognitive Neurosciences of Racial Prejudice as a Case Study
Coalgebras as Types Determined by Their Elimination Rules
A Comprehensible World
Logic, Indispensability and Aposteriority
Belief Revision meets Philosophy of Science
The Authority of the Bible and the Authority of Reason in Leibniz's Ecumenical Argument
Locke, Leibniz, and Hume on Form and Experience
Algorithms for Relevant Logic
Leśniewski's Systems and the Aristotelian Model of Science
Genetics and the human lineage
Frege and Russell on Assertion
Stable Philosophical Systems and Radical Anti-realism
Two Basic Kinds of Cooperation
Doubting Thomas: From Bradwardine Back to Anon
Cicero on Conditional Right
The Need for Adaptive Logics In Epistemology
Functional vs. Relational Approaches to Belief Revision
How to Do Things with an Infinite Regress
Rationality in Flux - Formal Representations of Methodological Change
Agents and Agency in Branching Space-Times
Some Games Logic Plays
Incommensurability In Mathematics
Fiction, Counterfactuals: The Challenge for Logic
An International Encyclopedia of the Unified Sciences
If Logic, Game-Theoretical Semantics, and the Philosophy of Science
Inductive Topics and Reorganization of a Classification
Mathematical Practices In And Across School Contexts
Extended Game-Theoretical Semantics
Idealizations, Intertheory Explanations and Conditionals
On How to Be a Dialogician
Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples
Aristotle on the Ways and Means of Rhetoric
Social Norms, Rational Choice and Belief Change
The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions
Unity of Science and Logical Empiricism: A Reply
Naturalism and the Unity of Science
Is Unsaying Polite?
Tarski's Engagement with Philosophy
Verificationism Then and Now
Dynamic Logic of Propositional Commitments
Authenticity or Autonomy? Leibniz and Kant on Practical Rationality
Vagueness and Observationality
Pluralism and "Bad" Mathematical Theories: Challenging our Prejudices
Evolution and Logic
Formal and Informal in Legal Logic
Machine Translation and Type Theory
The Importance of a Journal for Mathematics Teachers
On the Usefulness of Paraconsistent Logic
Speech Acts and Illocutionary Logic
G. Itelson - A Socratic Philosopher
Scheming and Lying
On The Narrow Epistemology of Game-Theoretic Agents
Ramus and Leibniz on Analysis
An Approach to Human-Level Commonsense Reasoning
Leopold Blaustein's Analytical Phenomenology
Logic, Epistemology, and the Unity of Science
Name ( ism ), Derived Name ( ism mushtaqq ) and Description ( waṣf ) in Arabic Grammar, Muslim Dialectical Theology and Arabic Logic
Reasons for Reasons
Why Are (Most) Laws of Nature Mathematical?
Avicenna on the Quantification of the Predicate (with an Appendix on [Ibn Zur'a])
Leibniz's Two-Pronged Dialectic
Moving beyond the influence of molecular genetics on the debate about reductionism in philosophy of biology
The Birth of Scientific Controversies The Dynamics of the Arabic Tradition and Its Impact on the Development of Science: Ibn al-Haytham's Challenge of Ptolemy's Almagest
The Comparison Of Mathematics With Narrative
Logic Without Truth
The Principle of Eurhythmy: A Key to the Unity of Physics
Revisiting Giles's Game
Unity Without Myths
The Harm of Being a Clone
Windelband on Beurteilung
Ibn Sī: nā's Philosophy of Mathematics
Antirealism, Meaning and Truth-Conditional Semantics
The Liar Cannot Be Solved
Epistemic and Practical Aspects of Conditionals in Leibniz's Legal Theory of Conditions
Information, Negation, and Paraconsistency
The Law of Evidence and Labelled Deduction: A Position Paper
Morality and Feeling: Genesis and Determination of the Will in Leibniz
Jan Salamucha's Analytical Thomism
Logical vs. Nonlogical Concepts: An Untenable Dualism?
Reasoning and Aspectual-Temporal Calculus
Towards a Formal Account of Identity Criteria
Rational Belief Changes for Collective Agents
Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox
Vague Inclosures
Leibniz's Rationalism: A Plea Against Equating Soft and Strong Rationality
Game Semantics and the Manifestation Thesis
Introduction: The Major Breakthrough in Scientific Pratice
Leibniz on Natural Law in the Nouveaux essais
In the Shadow of Incompleteness: Hilbert and Gentzen
Logic, Thought and Action
Genetics and Neuroscience
Logically Reliable Inductive Inference
Michel Ghins on the Empirical Versus the Theoretical
The Informal Logic Of Mathematical Proof
Comments on Stephen Read's "The Truth-Schema and the Liar"
Formalizing Medieval Logical Theories, Suppositio, Consequentiae and Obligationes
Knowledge as True Belief
Leibniz's Models of Rational Decision
Treatise on Intuitionistic Type Theory
The Explanatory Virtues of Probabilistic Causal Laws
Special Sciences and the Unity of Science
Does Scientific Progress Necessarily Lead to a Unified Science?
Vagueness and Law
The Neutrality of Truth in the Debate Realism vs. Anti-realism
Children of One's Own
Implicit Versus Explicit Knowledge in Dialogical Logic
Complementarity and Paraconsistency
A Computational Interpretation of Forcing in Type Theory
Avicenna on Self-Awareness and Knowing that One Knows
Between Logic and Reality - Modeling Inference, Action and Understanding
Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Towards a Unity of the Human Behavioral Sciences
A Philosophy of Many-Valued Logic. The Third Logical Value and Beyond
Appearance or Existence of the Entity Realism 'Sense' or Mind
Genetics, Life and Death
Sciences as Open Systems - The Case of Economics
Philosophy of Mathematics and Mathematics Education
Genetics and Society: a Different View
Realism, Antirealism, and Paraconsistency
Second Order Logic, Set Theory and Foundations of Mathematics
How Nature Makes Sense
Some Philosophical Concerns about the Confidence in 'Confident Learning'
Leibniz: What Kind of Legal Rationalism?
Leon Chwistek's Theory of Constructive Types
Epi-Geneticization
My Own Truth
The Influence of Genetics on Philosophy of Science
Negation in the Logic of First Degree Entailment and Tonk
Judgement and the Epistemic Foundation of Logic
Keeping Track of Neurath's Bill: Abstract Concepts, Stock Models and the Unity of Classical Physics
Immanent and Real States of Affairs in Husserl's Early Theory of Judgement: Reflections on Manuscripts from 1893/1894 and Their Background in the Logic of Brentano and Stumpf
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
Changing the Scientific Corpus
Leibniz on Creation: A Contribution to His Philosophical Theology
New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency
Mathematicians' Narratives About Mathematics
Applied Mathematics in the Sciences
Two Diamonds Are More Than One
A Mereology for the Change of Parts
Striving, Oomph, and Intelligibility in Spinoza
Theory of Mind, Social Science, and Mathematical Practice
Notes on Inconsistent Set Theory
Anti-realist Classical Logic and Realist Mathematics
From a Geometrical Point of View, A Study of the History and Philosophy of Category Theory
Vagueness and Logic
The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View
In the Beginning was Game Semantics?
How Simplicity Helps You Find the Truth without Pointing at it
Arithmetic Starred
Normativity in Logic
Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic
Logic, Randomness and Cognition
Which Logic for the Radical Anti-realist?
The Unity of Science and The Unity of Being: a Sketch of a Formal Approach
Logic and Metaphysics in Avicenna's Modal Syllogistic
Quantum Logic and the Unity of Science
Theories of Knowledge and Ignorance
Nonclassical Conceptions of Truth in Polish Philosophy at the Beginning of the 20th Century
Towards Evaluation Games for Fuzzy Logics
The Puzzling Role of Philosophy in Life Sciences
Inductive Inference Systems for Learning Classes of Algorithmically Generated Sets and Structures
The Influence of Genetics on Contemporary Thinking
Using Conceptual Spaces to Model the Dynamics of Empirical Theories
The Logical Structure of Legal Justification: Dialogue or "Trialogue"?
Vagueness and Metaphysics
Mathematics As Objective Knowledge And As Human Practice
Presupposition, Projection and Transparency in Attitude Contexts
Fallacies as Cognitive Virtues
Leibniz Against the Unreasonable Newtonian Physics
Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology
Essentialist Metaphysics in a Scientific Framework
Program Testing and the Meaning Explanations of Intuitionistic Type Theory
Pragmatic and Semiotic Prerequisites for Predication
Laws of Nature - A Skeptical View
Games: Unifying Logic, Language, and Philosophy
Innate Ideas as the Cornerstone of Rationalism: The Problem of Moral Principles in Leibniz's Nouveaux Essais
Empirical Versus Theoretical Existence and Truth
Demonstrations Versus Proofs, Being an Afterword to Constructions, Proofs, and the Meaning of the Logical Constants
Logical Consequence and Rationality
Declarative vs. Procedural Rules for Religious Controversy: Leibniz's Rational Approach to~Heresy
Necessary Laws
Sorting out the Sorites
Looking at Water Through Paradigms
Approaches to Legal Rationality
Communication, Linguistic Understanding and Minimal Rationality in the Tradition of Universal Grammar
Leibniz and Moral Rationality
Law, Logic, Rhetoric: A Procedural Model of Legal Argumentation
Semantic Games In Logic and Epistemology
Consequence as Preservation: Some Refinements
On When a Disjunction Is Informative
A Double Diamond of Judgement
Explanation and Production: Two Ways of Using and Constructing Legal Argumentation
Action-Theoreticaspects of Theory Choice
Russell Versus Frege
Goodman's Only World
Two Unification Strategies: Analysis or Reduction, and Synthesis or Integration
Normic Laws, Non-Monotonic Reasoning, and the Unity of Science
The Flat Analysis of Properties and the Unity of Science
Changing Minds About Climate Change: Belief Revision, Coherence, and Emotion
A Priori Knowledge in Bolzano, Conceptual Truths, and Judgements
Symbolic Inventiveness and "Irrationalist" Practices in Leibniz's Mathematics
Introduction to the Philosophy and Mathematics of Algorithmic Learning Theory
On Discourses Addressed by Infidel Logicians
Games, Quantification and Discourse Structure
Pragmatic Continuities in Empirical Science: Some Examples from the History of Astronomy
The Rise and Development of Logical Semantics in Poland
Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic
Read and Indirect Revenge
The Truth Schema and the Liar
The Best of All PossibleWorlds: Where Interrogative Games Meet Research Agendas
Paraconsistency: Logic and Applications
Principles and Practices of Neurath's Picture Language
Nature's Principles
Type-Theoretical Dynamics
The Specimen Demonstrationum Politicarum Pro Eligendo Rege Polonorum: From the Concatenation of Demonstrations to a Decision Appraisal Procedure
On a New Account of the Liar
For a History of Leibniz's Principle of Sufficient Reason. First Formulations and Their Historical Background
Modalities Without Worlds
Conservativeness and Eliminability for Anti-Realistic Definitions
Why Play Logical Games?
Is DNA Revolutionizing Medicine?
Noisy vs. Merely Equivocal Logics
Leibniz: What Kind of Rationalist?
Polish Metaphysics and the Brentanian Tradition
Logic and the Law: Crossing the Lines of Discipline
Plant Neurobiology: Lessons for the Unity of Science
Restrictionism: A Medieval Approach Revisited
How Logic Is Spoken of at the European Court of Justice: A Preliminary Exploration
Between History and Logic
Neurath and the Encyclopaedic Project of Unity of Science
On Two Argumentative Uses of the Notion of Uncertainty in Law in Leibniz's Juridical Dissertations about Conditions
Belief Contraction, Anti-Formulae and Resource Overdraft: Part II Deletion In Resource Unbounded Logics
Islamic Logic?
The Golden Age of Polish Philosophy - Kazimierz Twardowski's Philosophical Legacy
Real and Ideal in Constructive Mathematics
Induction over the Continuum
The Balance of Reason
Vagueness and Meaning
Contingent Propositions and Leibniz's Analysis of Juridical Dispositions
William Heytesbury and the Treatment of Insolubilia in Fourteenth-Century England Followed by a Critical Edition of Three Anonymous Treatises De Insolubilibus Inspired by Heytesbury
Type Theory and Homotopy
Leśniewski, Negation, and the Art of Logical Subtlety
Unifying Science Through Computation: Reflections on Computability and Physics
Kant and Real Numbers
A Note on Henryk Mehlberg's Contribution to the Debate on the Mind-Body Problem
Information and Knowledge, A Constructive Type-theoretical Approach
How the Ceteris Paribus Laws of Physics Lie
The Philosophical Impact of the Löwenheim-Skolem Theorem
Necessary Truth and Proof
How and Why Mathematics is Unique as a Social Practice
The Role of Biology in the Unity of Science Program
Reasoning About Belief Revision
Backward Induction Without Tears?
Otto Neurath and the Unity of Science
Models for Liars in Bradwardine's Theory of Truth
Leibniz's Conception of Natural Explanation
Introducing Universal Symbiogenesis
A Structuralist Framework for the Logic of Theory Change
Interpretation, Coordination and Conformity
Argumentation and Legitimation of Judicial Decisions
A Physicalist Reconstruction of a Theory: The Case of the Freudian Theory of Hysteria
Read about T-Scheme
Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems
In Defence Of The Dog: Response To Restall
Konstanty Michalski on Late Medieval Nominalism
From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions
Who made the Genetic Codes, How and by What?
AGM Theory and Artificial Intelligence
On Modal Logics Defining Jaśkowski's D 2 -Consequence
Democracy and Compromise
Desire, Deliberation and Action
Wittgenstein on Incompleteness Makes Paraconsistent Sense
Propositional Identity, Truth According to Predication and Strong Implication
Tarski's Hidden Theory of Meaning: Sentences Say Exactly One Thing
Nancy Cartwright and Leszek Nowak on Scientific Laws and Scientific Explanation
FDE : A Logic of Clutters
Logic, Epistemology and the Unity of Science: An Encyclopedic Project in the Spirit of Neurath and Diderot
Debating (Neo)logicism: Frege and the Neo-Fregeans
Assertion, Denial and Non-classical Theories
On The Interdisciplinary Study of Mathematical Practice, with a Real Live Case Study
Some Coloured Remarks on the Foundations of Mathematics in the 20th Century
Deduction, Induction, and beyond in Parametric Logic
Plurality of Science and Rational Integration of Knowledge
A Solution to Fitch' Paradox of Knowability
Truth and Proof in Intuitionism
The Role of Wolff's Analysis of Judgements in Kant's Inaugural Dissertation
Relevance in the Law
Moore's Paradox as an Argument Against Anti-realism
Proof in C17 Algebra
Public Reason and Constitutional Interpretation
The Laws' Properties
Logical Pluralism and the Preservation of Warrant
A Tale of Two Anti-realisms
Induction, Algorithmic Learning Theory, and Philosophy
Some Computationalconstraints In Epistemic Logic
Philosophy of Mathematics in the Lvov-Warsaw School
"Paroles Entièrement Destituées de Sens". Pathic Reason in the Théodicée
Containment and Variation; Two Strands in the Development of Analyticity from Aristotle to Martin-Löf
A Strategic Perspective on if Games
Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna's Modals
The Creative Growth of Mathematics
Is a Transcultural Law for Human Genetics and Biotechnology Possible?
Are the Sorites and Liar Paradox of a Kind?
Attempt, Success and Action Generation: A Logical Study of Intentional Action
Tarski on Definition, Meaning and Truth
Logical Fragments in Ibn Khaldūn's Muqaddimah
The Nature of Truth - An updated approach to the meaning of truth ascriptions
Abductive Belief Revision in Science
Two Ways of Thinking about Induction
What Is the Foundation of Knowledge? Leibniz and the Amphibology of Intuition
Apology for a Credo Maximum: On Three Basic Rules in Leibniz's Method of Religious Controversy
A Note on Theory Change and Belief Revision
The Place of the Other in Leibniz's Rationalism
Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
Reasoning About Knowledge In Linear Logic: Modalities and Complexity
Logics For Qualitative Reasoning
The Art of Mathematical Rationality
Some Hermetic Aspects of Leibniz's Mathematical Rationalism
Descartes' Theory of Judgement: Warranted Assertions, the Key to Science
A Paraconsistent and Substructural Conditional Logic
The Sorites Paradox
Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections
Psychologism, Universality and the Use of Logic
Further Thoughts on Tarski's T-scheme and the Liar
The "Middle Wittgenstein" and Modern Mathematics
Distribution in the Logic of Meaning Containment and in Quantum Mechanics
Out of the Liar Tangle
Recent Advances in Reliability and Quality Engineering
Reliability Modeling, Analysis and Optimization
Reliability and Risk Analysis
Encyclopedia and Handbook of Process Capability Indices - A Comprehensive Exposition of Quality Control Measures
Multi-State System Reliability - Assessment, Optimization and Applications
Modern Statistical and Mathematical Methods in Reliability
Contributions to Hardware and Software Reliability
Software Reliability Modelling
Life-Time Data - Statistical Models and Methods
Response Modeling Methodology - Empirical Modeling for Engineering and Science
Applications of Neural Networks in High Assurance Systems
Microcalcification Detection in Mammograms Based on Fuzzy Logic and Cellular Automata
Repercussions of Fuzzy Databases Migration on Programs
Dataspaces: Where Structure and Schema Meet
Recognizing Variable Environments - The Theory of Cognitive Prism
Asymmetric and Sample Size Sensitive Entropy Measures for Supervised Learning
Hardware Implementation of Chaos Based Cipher: Design of Embedded Systems for Security Applications
Automatic Merging of Vehicles: Design, Algorithms, Performance
Autoregressive Conditional Duration Model with an Extended Weibull Error Distribution
Adaptation in Classification Systems
Fundamentals of Chaos
Statistical Independence as Linear Dependence in a Contingency Table
Higher Order Voronoi Diagrams and Distance Functions in Art and Visualization
Logical Analysis of Multi-agent Kripke Structures
Does a Code Review Tool Evolve as the Developer Intended?
Exchanging Action-Related Information among Autonomous Robots
Meta-actions as a Tool for Action Rules Evaluation
Recursively Generated Evolutionary Turing Machines and Evolutionary Automata
Implementation of a System for Fast Text Search and Document Comparison
Hybrid Feature Selection Method Based on the Genetic Algorithm and Pearson Correlation Coefficient