yusuke1997/dblp-id-title huggingface dataset:
Formal Periodic Steady-State Analysis of Power Converters in Time-Domain
Göodel's Master Argument: What is it, and what can it do?
States and Internal States on Ehoops
Horn-geometric axioms for faithfully quadratic rings
More Modal Semantics without Possible Worlds
Two Generalizations of Bounded Involutive Lattices and of Ortholattices
Extending Ideas of Tait for Incorporating Higher-order Parameters in Schemes of Reflection
Channel Composition and Ternary Relation Semantics
A Labelled Sequent Calculus for Half-order Modal Logic
What Sort of Mathematical Structuralism is Category Theory?
Two Tales of the Turnstile
A Formal Argumentation Exercise on the Karadžić Trial Judgment
Events as Located Situations: Ontological Commitments in the Problem of Individuating Events
Using Distance in Argument Maps to Model Conditional Probative Relevance
Principles for a Judgement Editor Based on Binary Decision Diagrams
Model Definability in Relevant Logic
Quantum Algorithms for Unate and Binate Covering Problems with Application to Finite State Machine Minimization
A Science Like Any Other
On Representation of Maximally Asymmetric Functions Based on Decision Diagrams
Abduction and Beyond in Logic Programming with Application to Morality
Towards Universal Logic: Gaggle Logics
Adams' p-validity in the Research on Human Reasoning
Teaching Logic to Information Systems Student: A Student-centric Approach
Resolution and Clause-Learning with Restarts for Signed CNF Formulas
A Simple Connexive Extension of the Basic Relevant Logic BD
No New Solutions to the Logical Problem of the Trinity
Proving Cleanthes Wrong
Pseudo EMV-algebras. II - Representation and States
Statistical Waveform Evaluation Method for Adaptive PAM-4 Equalization
Foundations of Implementations for Formal Argumentation
Intermediate Quantifiers in Partial Fuzzy Type Theory
Extensive measurement with unrestricted concatenation and no maximal elements
The Embedding Path Order for Lambda-Free Higher-Order Terms
Abstract Dialectical Frameworks. An Overview
Some Properties for First-order Nelsonian Paraconsistent Quantum Logic
Argumentation Schemes for Composition and Division Arguments: A Critique of Walton's Account
The Waltonian Foundations of Argument Technology
Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language
A Proof Theory for First-order Logic with Definiteness
Strategic Argumentation
A Translation Theorem For Restricted R-Formulas
High-order Networks that Learn to Satisfy Logic Constraints
Playing with anticipation as abduction: strategic reasoning in an eco-cognitive perspective
Mathematical Models in Theology. A Buber-inspired Model of God and its Application to "Shema Israel"
A Frobenius Algebraic Analysis for Parasitic Gaps
A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities
Infinity in Computable Probability
Introduction to Legal AI
A note on Tarski's remarks about the non-admissibility of a general theory of semantics
Argument Strength in Formal Argumentation
Logical Complexity of Spectra of Abelian ℓ-groups
IF Logic and Linguistic Theory
(∃y)(y = exFx)
Bilateralism based on Corrective Denial
Assertions of Counterfactuals and Epistemic Irresponsibility
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument
Measuring Inconsistency in Finitary First-order Logic
Locology and Localistic Logic: MathematicalandEpistemologicalAspects
On Equality of Contexts and Completeness of the Indexed epsilon-Calculus
Identification of Identity
On a Combination of Truth and Probability: Probabilistic IF Logic
Noun Phrases in Japanese and epsilon-iota-tau Calculi
PAM-4 Signal Transmitter using FPGA and DAC for Serial-link Test
Useful Axioms
Normative Change: An AGM Approach
A Paraconsistent ASP-Like Language with Tractable Model Generation
Tuning the Program Transformers from CC to PDL
Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic
Noneism and Allism on the Objects of Thought
Intensionality, Intensional Recursion and the Gödel-Löb Axiom
Weighted Argumentation
On Kant's Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument
On the Existential Import of General Germs
Modeling Norm Specification and Verification in Multiagent Systems
Density Matrices with Metric for Derivational Ambiguity
Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding
Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation
Conjectures and abductive reasoning in games
The Law of Evidence and Labelled Deduction: Ten Years Later
Defining Argument Weighing Functions
Boolean-valued Models as a Foundation for Locally L 0 -Convex Analysis and Conditional Set Theory
The New Trivium
Guest Editor's Remarks
Formalism and Structuralism, a Synthesis: the Philosophical Ideas of H. B. Curry
Semi-supervised Learning using Differentiable Reasoning
A Semantic Approach to Combining Preference Formalisms
What strategicians might learn from the common law: implicit and tacit understandings of the unwritten
From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers
How Robust Can Inconsistency Get?
Ternary Functions with Bent Reed-Muller-Fourier Spectra
On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General
On Families of Anticommuting Matrices
Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid
Constructive Temporal Logic, Categorically
The Proceedings of the XIX EBL ? 19th Brazilian Logic Conference, 2019. A preface
Variation and Pattern in the 3-term Syllogisms and the Biliteral Sorites of Types Barbara, Darapti and Darii
A Note on Francez' Half-Connexive Formula
Regular Languages of Infinite Trees and Probability
Truth in Fiction: Rethinking its Logic: A Précis
Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving
Paraconsistent Rule-based Reasoning with Graded Truth Values
Rabbi Ishmael's Thirteen Hermeneutic Rules as a Kind of Logic
About Grisha Mints
Walton on Argument, Arguments, and Argumentation
Multi-Attribute Decision Making with Weighted Description Logics
A Predicative Variant of a Realizability Tripos for the Minimalist Foundation
Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness
Towards Logical Negation for Compositional Distributional Semantics
Large-scale Legal Reasoning with Rules and Databases
Perspectives for Proof Unwinding by Programming Languages Techniques
Cut-elimination in RM Proved Semantically
Inheriting the World
I/O Logic in HOL
Rights and Punishment: The Hohfeldian Theory's Applicability and Morals in Understanding Criminal Law
Extended Syllogistics in Calculus CL
The Formalization of Practical Reasoning: Problems and Prospects
Argumentation Semantics as Formal Discussion
In Memoriam: Grigori E. Mints, 1939-2014
The Historical Role of Kant's Views on Logic
Reversible Synthesis in Walsh-Hadamard Domain
Systems of Interacting Argumentation Networks
Many-valued Paraconsistent Extensions of Classical Positive Propositional Calculus
A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic
Taming the Existent Golden Mountain: the Nuclear Option
Three Grades of Agnostic Involvement
Reasoning about Covering-based Rough Sets Using Three Truth Values
Nuclear and Extra-nuclear Properties
Strong normalization for Np-systems via Mimp-graphs
Secure Multiparty Computation without One-way Functions
Modeling Norms Embedded in Society: Ethics and Senstitive Design
The Principle-Based Approach to Abstract Argumentation Semantics
Assumption-based Argumentation: Disputes, Explanations, Preferences
Modeling Organizations and Institutions in Multiagent Systems
Succinctness in Subsystems of the Spatial μ-Calculus
Assessing "Information Quality" in IoT Forensics: Theoretical Framework and Model Implementation
An Old Discipline with a New Twist: The Course "Logic in Action"
How do we Know Things with Signs? A Model of Semiotic Intentionality
A Non-Structuralist Alternative to Formalism
Logic for Fun: An Online Tool for Logical Modelling
Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge
Introducing Bayesian Argumentation Networks
HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of Logic
A Simplified and Improved Free-variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
Towards Analysis of Information Structure of Computations
Justification Logic for Constructive Modal Logic
How Paradox Fares in Inconsistency Robust Logic and Beyond: Computational and Naturalized Approaches
Construction Algorithms for Bent Functions Derived from their Particular Properties
Assumptive Sequent-Based Argumentation
Twins in Logic - Identical and Otherwise
Logics for Games, Emotions and Institutions
Weak Pseudo EMV-algebras. II: Representation and Subvarieties
Epsilon Terms in Intuitionistic Sequent Calculus
A Polarity-based Approach for Optimization of Multivalued Quantum Multiplexers with Arbitrary Single-qubit Target Gates
The Relevant Logic E and Some Close Neighbours: A Reinterpretation
Finite Degradation Structures
Quantum Immortality and Non-classical Logic
Causality and Responsibility in the Context of Multiple Agents
Relations Between Assumption-based Approaches in Nonmonotonic Logics and Formal Argumentation
Possibilistic Reasoning from Partially Ordered Belief Bases with the Sure Thing Principle
A Note on Directions for Cumulativity
Physarum Polycephalum Diagrams for Syllogistic Systems
Retalis Language for Information Engineering in Autonomous Robot Software
Recent Progress in Proof Mining in Nonlinear Analysis
Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic
Data-Classification-Based Determination for Ophthalmological Examination Categories using Machine Learning
Abstract Rule-Based Argumentation
Design of an MTJ-based Nonvolatile Multi-context Ternary Content-addressable Memory
Editorial Note for the Special Issue on Multiple-Valued Logic
Dialectical Argument Game Proof Theories for Classical Logic
On Epicomplete MV -algebras
Classifying the Provably Total set Functions of KP and KP(P)
Formalism and Set Theoretic Truth
The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating
Meta-Level Abduction
Strengthening Gossip Protocols using Protocol-Dependent Knowledge
Asserting Boo! and Horray! Pragmatic Logic for Assertion and Moral Attitudes
Optimal Polynomial-time Estimators: A Bayesian Notion of Approximation Algorithm
DLEAC and the Rejection Paradox
Enforcement in Formal Argumentation
Truth and Interpretation
A Special Type of Ideals in MV-algebras of Continuous Functions
Decomposing Semantics in Abstract Argumentation
Connexive Implication, Modal Logic and Subjunctive Conditionals
Tsien's Power-of-two Law in a Neuromorphic Network Model Suitable for Artificial Intelligence
Critical Questions to Argumentation Schemes in Statutory Interpretation
Argumentation, Nonmonotonic Reasoning and Logic
Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues (1401-1464)
Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications
Preface to Intiutionistic Modal Logic 2017
On the Complexity of Translations from Classical to Intuitionistic Proofs
Automation of Mathematical Induction as part of the History of Logic
Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning
Venus Homotopically
Beta Assertive Graphs: Proofs of Assertions with Quantification
Natural Deduction for Two Connexive Logics
Enayat Theories
An Even More Leibnizian Version of Gödel's Ontological Argument
Tabdual: a Tabled Abduction System for Logic Programs
The Reasonable Effectiveness of Model Theory in Mathematics
Some Remarks on Assertion and Proof
On the Existence of Alternative Skolemization Methods
The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic
Medieval Modalities and Modern Method: Avicenna and Buridan
Activation-based Conditional Inference
Glivenko's Theorem, Finite Height, and Local Tabularity
On Elitist Lifting and Consistency in Structured Argumentation
Implementation of CMOS Invertible Logic on Zynq-SoC Platform: A Case Study of Training BNN
The Geometry of Relevant Implication
AlphaGo's Decision Making
Bilaterilism does Provide a Proof Theoretic Treatment of Classical Logic (for non-technical reasons)
About Relationships Between two Individuals
A General Semantics for Logics of Affirmation and Negation
Horizons of Scientific Pluralism: Logics, Ontology, Mathematics
Enthymematic interaction in Baduk
Defeasibility and Non-monotonicity in Dialogues
A Noise-shaping Analog-to-Digital Converter using a ΔΣ Modulator Feedforward Network
Coalgebra for the working software engineer
The Strength of Abstraction with Predicative Comprehension
Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results
Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study
Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation
A Glimpse at Polynomials with Quantifiers
Argumentation Theory in Formal and Computational Perspective
Spectral Invariance Operations for the Construction of Ternary Bent Functions
Higher-Order Interactions (Bipolar or not) in Abstract Argumentation: A State of the Art
Why Nothing Fails to Exist
Adaptive Deontic Logics: A Survey
Natural Deduction for Bi-Connexive Logic and a Two-Sorted Typed -Calculus
Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017
Quantum States and Disjunctive Attacks in Talmudic Logic
On the Incremental Computation of Semantics in Dynamic Argumentation
Rules and Derivations in an Elementary Logic Course
Normalisation for Bilateral Classical Logic with some Philosophical Remarks
Logic and the Concept of God
A Framework for Modelling Molecular Interaction Maps
Book Symposium on Woods' Truth in Fiction: Editorial Remarks
On the Lattice of the Subvarieties of Monadic MV (C)-algebras
Schopenhauer's Consoling View of Death
Imprecise Probability and the Measurement of Keynes's "Weight of Arguments"
Two Limitations in Legal Knowledge Base Constructing and Formalizing Law
Evidence for Set-theoretic Truth and the Hyperuniverse Programme
Responses to Essays
Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding epsilon to Intuitionistic Logic
Book Review: Immanent Reasoning or Equality in Action; A Plaidoyer for the Play Level by Shahid Rahman, Zoe McConaughey, Ansten Klev and Nicolas Clerbout
Probabilistic Legal Decision Standards Still Fail
An algebraic (set) theory of surreal numbers, I
A Modal Characterisation of an Intuitionistic I/O Operation
Abduction and Beyond. Methodological and Computational Aspects of Creativity in Natural Sciences
Reasoning Schemes, Expert Opinion and Critical Questions. Sex Offenders Case Study
Dialogue Types, Argumentation Schemes and Mathematical Practice: Douglas Walton and Mathematics
Tools for Conviviality in Multi-Context Systems
Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory
Sherlock is Law Abiding
A logical framework to reason about Reo circuits
Deontic Logic and Preference Change
LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability
Commentary on Grigori Mints' "Classical and Intuitionistic Geometric Logic"
Efficient Full Compliance Checking of Concurrent Components for business Process Models
Into the Woods with Woods: Exploring Truths in and about Fiction
Different Ways of Being Naked. A Scenario Approach to the Naked Statistical Evidence Problem
Significance-Driven Logic Compression for Energy-Efficient Multiplier Design
Both Homophily and Heterophily Matter: Bi-Path Aware Graph Neural Network for Ethereum Account Classification
Synchronization Phenomena in Microgrids With Capacitive Coupling
A Flux Controlled MOS-Based Optimized High Frequency Meminductor Emulator
Resilience-Oriented Dynamic Distribution Network With Considering Recovery Ability of Distributed Resources
Overview of Circuits, Systems, and Applications of Spintronics
Standardization Status of Immersive Video Coding
Real-Time FPGA-Based Multichannel Spike Sorting Using Hebbian Eigenfilters
Hybrid Forward and Backward Threshold-Compensated RF-DC Power Converter for RF Energy Harvesting
Spatially Controlling Neuronal Adhesion and Inflammatory Reactions on Implantable Diamond
A Low-Noise, Wireless, Frequency-Shaping Neural Recorder
Libraries of Approximate Circuits: Automated Design and Application in CNN Accelerators
OpenPiton4HPC: Optimizing OpenPiton Toward High-Performance Manycores
The Art of Finding Accurate Memristor Model Solutions
Generative Refinement for Low Bitrate Image Coding Using Vector Quantized Residual
Ultra Low Power Wake-Up Radio Using Envelope Detector and Transmission Line Voltage Transformer
ReRAM-Based In-Memory Computing for Search Engine and Neural Network Applications
An Energy-Efficient 3D Cross-Ring Accelerator With 3D-SRAM Cubes for Hybrid Deep Neural Networks
360° Video Coding Based on Projection Format Adaptation and Spherical Neighboring Relationship
Multicore Spiking Neuromorphic Chip in 180-nm With ReRAM Synapses and Digital Neurons
Hierarchical Memory System With STT-MRAM and SRAM to Support Transfer and Real-Time Reinforcement Learning in Autonomous Drones
A Current-Limiting Scheme for Voltage-Controlled Inverter Using Instantaneous Current to Generate Virtual Impedance
Hierarchical Thermal Management Policy for High-Performance 3D Systems With Liquid Cooling
Deep Learning-Aided Belief Propagation Decoder for Polar Codes
AERO: Design Space Exploration Framework for Resource-Constrained CNN Mapping on Tile-Based Accelerators
Heterogeneous Integration in Co-Packaged Optics
Utilizing Radio-Frequency Interconnect for a Many-DIMM DRAM System
Visual Attention-Aware Omnidirectional Video Streaming Using Optimal Tiles for Virtual Reality
An Implementation of Delay Testable Boundary Scan and Post-Bond Test Results in a 3D IC
A Sub-GHz Mostly Digital Impulse Radio UWB Transceiver for Wireless Body Sensor Networks
FVIFormer: Flow-Guided Global-Local Aggregation Transformer Network for Video Inpainting
Image Compressive Sensing Recovery via Collaborative Sparsity
Bridge Memristor Super-Resolution Crossbars
Survey of Chiplet Technology: SoC Architecture, Interconnect, EDA, and Advanced Packaging
Revealing Structural and Functional Vulnerability of Power Grids to Cascading Failures
Two Sides of the Same Coin: Boons and Banes of Machine Learning in Hardware Security
Proximal Jacobian Distribution Optimal Power Flow in a Distributed Cyber-Physical Environment
High-Frequency Stability Analysis and Impedance Optimization for an MMC-HVDC Integrated System Considering Delay Effects
P-FAD: Real-Time Face Detection Scheme on Embedded Smart Cameras
Dynamic Element Matching Techniques for Static and Dynamic Errors in Continuous-Time Multi-Bit ΔΣ Modulators
Non-Destructive Assessment of Kiwifruit Flesh Firmness by a Contactless Waveguide Device and Multivariate Regression Analyses
A Fully-Integrated Micro-Display System With Hybrid Voltage Regulator
Die-Level Transformation From 2D Shuttle Chips to 3D-IC With TSV for Advanced Rapid Prototyping Methodology With Meta Bonding
Guest Editorial Advanced Circuits and Systems for CR/SDR Applications
Robust Quantized Approach to Fuzzy Networked Control Systems
Hibernets: Energy-Efficient Sensor Networks Using Analog Signal Processing
Benchmarking DNN Mapping Methods for the in-Memory Computing Accelerators
On the Hardware/Software Design and Implementation of a High Definition Multiview Video Surveillance System
Development of a Simple Manufacturing Process for All-Inkjet Printed Organic Thin Film Transistors and Circuits
Analysis and Design of a Modular Switched Capacitor Converter With Adjustable Output Voltage in DC Microgrid
Control-Theoretic Dynamic Thermal Management of Automotive Electronics Control Units
A Low-Cost, Low-Power and Real-Time Image Detector for Grape Leaf Esca Disease Based on a Compressed CNN
Toward Real-Time, At-Home Patient Health Monitoring Using Reservoir Computing CMOS IC
Guest Editorial Organic/Printed Electronics: A Circuits and Systems Perspective
Advanced Baseband Processing Algorithms, Circuits, and Implementations for 5G Communication
Implementation of Wireless Vision Sensor Node With a Lightweight Bi-Level Video Coding
Deep-Learning Based Power System Events Detection Technology Using Spatio-Temporal and Frequency Information
GPTAC: Domain-Specific Generative Pre-Trained Model for Approximate Circuit Design Exploration
Computer-Aided Analog Circuit Design for Reliability in Nanometer CMOS
Non-Contact Human Motion Recognition Based on UWB Radar
Characterization of Human Body-Based Thermal and Vibration Energy Harvesting for Wearable Devices
Controllable QoS for Imprecise Computation Tasks on DVFS Multicores With Time and Energy Constraints
DIDACTIC: A Data-Intelligent Digital-to-Analog Converter with a Trainable Integrated Circuit using Memristors
A Low-Power Compressive Sampling Time-Based Analog-to-Digital Converter
A Reconfigurable 16Kb AND8T SRAM Macro With Improved Linearity for Multibit Compute-In Memory of Artificial Intelligence Edge Devices
Maximum a Posteriori Based Approach for Target Detection in MTI Radar
Experimental Implementation of Quantum Algorithm for Association Rules Mining
Real-Time People Tracking in a Camera Network
A Low Frequency Ripple Current Suppression Strategy for Single-Phase Photovoltaic Grid-Connected Inverter
A Hardware Decoder Architecture for General String Matching Technique
A Scaling-Friendly Low-Power Small-Area ΔΣ ADC With VCO-Based Integrator and Intrinsic Mismatch Shaping Capability
Hardware Design of a Context-Preserving Filter-Reorganized CNN for Super-Resolution
A 5.8 mW Continuous-Time ΔΣ Modulator With 20 MHz Bandwidth Using Time-Domain Flash Quantizer
Guest Editorial Fractional-Order Circuits and Systems
Fast Mode and Partition Decision Using Machine Learning for Intra-Frame Coding in HEVC Screen Content Coding Extension
Identification of Influential Nodes in Complex Networks With Degree and Average Neighbor Degree
Multiple-Valued Signaling for High-Speed Serial Links Using Tomlinson-Harashima Precoding
A Programmable Hyper-Dimensional Processor Architecture for Human-Centric IoT
An Event-by-Event Approach for Velocity Estimation and Object Tracking With an Active Event Camera
Coordinated VSG Control of Photovoltaic/Battery System for Maximum Power Output and Grid Supporting
A Novel Coordinated Control Strategy for LCC/VSC Hybrid DC Distribution Power System
A Review on Stability Analysis Methods for Switching Mode Power Converters
Complex Networks Theory For Modern Smart Grid Applications: A Survey
System-Technology Co-Optimization Methodology for LLM Accelerators With Advanced Packaging
Noncontact Sleep Stage Estimation Using a CW Doppler Radar
An Optical Tool to Optimize the Output of a Photonic Integrated Chip Architecture
Consensus-Based Secondary Frequency and Voltage Droop Control of Virtual Synchronous Generators for Isolated AC Micro-Grids
Sensor Fusion of Capacitively Coupled ECG and Continuous-Wave Doppler Radar for Improved Unobtrusive Heart Rate Measurements
Sniffer: A Machine Learning Approach for DoS Attack Localization in NoC-Based SoCs
Design of Robust Higher Order Sliding Mode Control for Microgrids
Neuromorphic Computing Based on Emerging Memory Technologies
Ultra Low Power CMOS-Based Sensor for On-Body Radiation Dose Measurements
Device Requirements and Technology-Driven Architecture Optimization for Analog Neurocomputing