yusuke1997/dblp-id-title huggingface dataset:
Second Workshop on Logic, Language, Information and Computation (WoLLIC'95)
Labelled Natural Deduction for Conditional Logics of Normality
Wind Power with Energy Storage Arbitrage in Day-ahead Market by a Stochastic MILP Approach
A note on dual Dedekind finiteness
Reinforcement learning for Golog programs with first-order state-abstraction
Cryptanalysis of two combinatorial public key cryptosystems
Secure and user privacy-preserving searching in peer-to-peer networks
Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts
21st Workshop on Logic, Language, Information and Computation ( WoLLIC 2014 )
Description of Modal Logics Inheriting Admissible Rules for S4
Ternary Exclusive Or
Some relevance logics from the point of view of relational semantics
Decidability and complexity of fibred logics without shared connectives
The application of artificial neural networks to forecast financial time series
Conference Report: 6th Workshop on Logic, Language, Information and Computation (WoLLIC'99)
Language and Logical Pluralism: Some Aspects of a Wittgensteinian Perspective on the Nature of Logic
Satisfiability Decay along Conjunctions of Pseudo-Random Clauses
Logical consistency in simultaneous statistical test procedures
Editorial: Special issue HAIS19-IGPL
Security analysis and resource requirements of group-oriented user access control for hardware-constrained wireless network services
Fast-Growing Functions and the P vs. NP Question
A general framework for product representations: bilattices and beyond
Data, Schema, Ontology and Logic Integration
Learning and training techniques in fuzzy control for energy efficiency in buildings
Taming First-Order Logic
Decision and optimization problems in the unreliable-circuit logic
A BDD-Based Simplification and Skolemization Procedure
Problem-Solving by Abduction in New Product Development
On the Union of Well-Founded Relations
First-Order Logic of Change
A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic
31st workshop on logic, language, information, and computation ( WoLLIC 2025 )
Unification via the lambda s e -Style of Explicit Substitutions
Applications of ultraproducts: from compactness to fuzzy elementary classes
A note on the system GRW with the intensional contraction rule
On algebraic and topological semantics of the modal logic of common knowledge S4CI
Adaptive Orthogonal Characteristics of Bio-Inspired Neural Networks
On the parallel computation thesis
First order abduction via tableau and sequent calculi
Biometric recognition system performance measures for lossy compression on EEG signals
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation
A reason maintenance perspective on relevant Ramsey conditionals
A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning
On an inferential semantics for classical logic
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
Flat Fragments of CTL and CTL * : Separating the Expressive and Distinguishing Powers
Regressive Merging in Model Elimination Tableau-Based Theorem Provers
Reservoir optimization in recurrent neural networks using properties of Kronecker product
PhrasIS: Phrase Inference and Similarity benchmark
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
A complete axiom set for Hansson's deontic logic DSDL2
On complete representations of algebras of logic
Truth in a Logic of Formal Inconsistency: How classical can it get?
Report on the exact methods for finding minimum-sized DFA
New Tableau Characterizations for Non-clausal MaxSAT Problem
Detection, exploitation and mitigation of memory errors
On bivalent semantics and natural deduction for some infectious logics
Nonrepresentable Sequential Algebras
Multimodal Abduction: External Semiotic Anchors and Hybrid Representations
Surviving Abduction
How did Avicenna understand the Barcan formulas?
Symmetric and conflated intuitionistic logics
Multi-valued Calculi for Logics Based on Non-determinism
Modelling evolvable component systems: Part I: A logical framework
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity
Correction to: An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices
Modal operators for meet-complemented lattices
On minimal pairs of quasi-degrees
An algorithm for the decomposition of finite languages
Corrigendum: The Keisler - Shelah theorem for QmbC through semantical atomization
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP
Group decision making and Quality-of-Information in e-Health systems
Combining statistical dialog management and intent recognition for enhanced response selection
A Hybrid Abductive Inductive Proof Procedure
Randomness analysis and generation of key-derived s-boxes
A flexible and dynamic mobile robot localization approach
Mathematical model for a temporal-bounded classifier in security environments
The Logic of Quantum Measurements in terms of Conditional Events
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets
A design methodology of ontology based database applications
Implicational tonoids and their representations
A many-sorted variant of Japaridze's polymodal provability logic
Reduction of provability logics to Σ 1 -provability logics
Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto
On a conservative extension argument of Dana Scott
Model-based abductive reasoning in automated software testing
A restricted second-order logic for non-deterministic poly-logarithmic time
Strongly Decidable Properties of Modal and Intuitionistic Calculi
A paraconsistent route to semantic closure
A Resolution Calculus for Shortening Proofs
Languages, Meta-languages and METATEM, A Discussion Paper
The third order Nickel Fibonacci numbers
Maps II: Chasing Diagrams in Categorical Proof Theory
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable
Dualities for modal N4-lattices
Design of a New Distributed NoSQL Database with Distributed Hash Tables
Maximum Entropy Inference with Quantified Knowledge
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation
Identity taken seriously: a non-classical approach
A Systematic Presentation of Quantified Modal Logics
A protocol to encrypt digital images using chaotic maps and memory cellular automata
The logic of imaginary scenarios
An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
Exploiting Equivalences in Connection Calculi
A first-order probabilistic logic with approximate conditional probabilities
On representable ordered residuated semigroups
Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches
Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics
The Unrestricted Combination of Temporal Logic Systems
Projective formulas and unification in linear temporal logic LTL U
Special issue: HAIS16-IGPL
The Logic of Classes
A hyperintensional logical framework for deontic reasons
Embedded feature selection for neural networks via learnable drop layer
A novel memetic algorithm for solving the generalized traveling salesman problem
Connecting dynamic epistemic and temporal epistemic logics
Practical Reasoning for Very Expressive Description Logics
Restricted Classical Modal Logics
Editorial: Special Issue CISIS13-IGPL
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence
Generalized ordinal sums and translations
On the identity type as the type of computational paths
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm
Proof theory for quantified monotone modal logics
Uniqueness of axiomatic extensions of cut-free classical propositional logic
Proof-theoretic semantics for first-order logic
Paraconsistent Reasoning as an Analytic Tool
Advances in the theory of μ ŁΠ algebras
A constructive proof of the Craig's interpolation theorem for QCiore
A cut-free sequent calculus for relevant logic RW
A hybrid clustering and ranking method for best positioned logistics distribution centre in Balkan Peninsula
Embedding Classical Logic into Basic Orthologic with a Primitive Modality
Reaction and Control I. Mixing Additive and Multiplicative Network Algebras
Volume I: Recovery operators in logics of formal inconsistency
Logical reduction of relations: From relational databases to Peirce's reduction thesis
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification
Rough local transfer function for cardiac disorders detection using heart sounds
Towards metamathematics of weak arithmetics over fuzzy logic
Approximate formulae for a logic that capture classes of computational complexity
Denial jamming attacks on wireless sensor network using sensitive agents
John Crossley: A life intellectual
Gestalt Effects in Counterfactual and Abductive Inference
Gödel justification logics and realization
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries
The fixed points of belief and knowledge
Semantic analysis of non-reflexive logics
The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic B d
The Soundness Paradox
An analysis on the impact and detection of kernel stack infoleaks
Fibring in the Leibniz Hierarchy
Editorial: Special issue SOCO 2016
A Theory of Local Set Queries
Propositional Abduction in Modal Logic
Optimization of overlay distributed computing systems for multiple classifier system - heuristic approach
FHC: an adaptive fast hybrid method for k -NN classification
On problems of intelligent monitoring for traffic
Equivalence between Varieties of Łukasiewicz-Moisil Algebras and Rings
Existentially equivalent cyclic ultrametric spaces and cyclically valued groups
On Programming KARO Agents
Patent retrieval architecture based on document retrieval. Sketching out the Spanish patent landscape
Non-removal strategy for outliers in predictive models: The PAELLA algorithm case
On the interrelation between systems of spheres and epistemic entrenchment relations
Intuitionistic N-Graphs
LWBtheory: Information about some Propositional Logics via the WWW
Economical connections between several European countries based on TSP data
Automatic detection of faults in industrial production of sandwich panels using Deep Learning techniques
Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic
Stroke-based intelligent character recognition using a deterministic finite automaton
Probability judgements about indicative conditionals: An erotetic theory
Two direct proofs that LLPO implies the detachable fan theorem
Ultimate Normal Forms for Parallelized Natural Deductions
Security in advanced metering infrastructures: Lightweight cryptography
Concurrent Systems Analysis Using ECATNets
From logics of formal inconsistency to logics of formal classicality
Unifiability in extensions of K4
Lukasiewicz Logic: From Proof Systems To Logic Programming
A Binary-Conclusion Natural Deduction System
Sample logic
Solving the reporting cells problem by using a parallel team of evolutionary algorithms
Comparative analysis of data sampling techniques for legal text classification in real-world scenarios
The Effect of Iterative Learning Control on the Force Control of a Hydraulic Cushion
On elementary equivalence of real semigroups of preordered rings
The logical style painting classifier based on Horn clauses and explanations (ℓ-SHE)
Logics of Ignorance and Being Wrong
Novel email spam detection method using sentiment analysis and personality recognition
The early history of formal diagonalization
Unifying Program Construction and Modification
Unification in modal and description logics
Boolean negation and non-conservativity II: The variable-sharing property
Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi
Some remarks on Cantor-Łukasiewicz fuzzy set theory
Two Types of Multiple-Conclusion Systems
Metaheuristic algorithms for optimization of resilient overlay computing systems
Representing n-ary relations in the Semantic Web
Applications of Linear Logic to Computation: An Overview
Theory-Contraction is NP-Complete
Factorization of residuated lattices
Logic of informal provability with truth values
Proof-carrying parameters in certified symbolic execution
Weak associative micanorm-based logics: [ 0, e ]-continuous ν -weak-associative logics
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
Analytic and synthetic in logic
An infinitary axiomatization of dynamic topological logic
On the logical formalization of theory change and scientific anomalies
Representing strategic games and their equilibria in many-valued logics
Remarks on uniform interpolation property
Data fusion with probabilistic conditional logic
Towards a Modal Logical Treatment of Quantum Physics
Can Common Sense Realism be Extended to Theoretical Physics?
From positive PDL to its non-classical extensions
Model theory of the computably enumerable many-one degrees
The Impact of Different System Call Representations on Intrusion Detection
First-order hybrid logic: introduction and survey
On the Set of Atoms
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF
Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics
Computability and the Symmetric Difference Operator
A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency
The web is watching you: A comprehensive review of web-tracking techniques and countermeasures
Modeling the Turbulent Wake Behind a Wall-Mounted Square Cylinder
PDL for structured data: a graph-calculus approach
A Formal Logic for Abductive Reasoning
Epsilon-invariant substitutions and indefinite descriptions
(Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families
A non-arithmetical Gödel logic
Belief Revision From the Point of View of Doxastic Logic
Dialectical Considerations on the Logic of Contradiction: Part I
Neural Network Learning as an Inverse Problem
A paraconsistent 3-valued logic related to Gödel logic G3
Free choice permission, legitimization and relating semantics
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system
A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction
Quantifiers in connexive logic (in general and in particular)
Logic, co-ordination and the envelope of our beliefs
A fine-grained parallel approach for the registration areas optimization
Economic theory and the Alternative Set Theory AFA - +AD+DC
Modelling the hypnotic patient response in general anaesthesia using intelligent models
Unsupervised network traffic anomaly detection with deep autoencoders
Accountability as a service for robotics: Performance assessment of different accountability strategies for autonomous robots
A Dynamic Logic of Events and States for the Interaction between Plural Quantification and Verb Aspect in Natural Language
Construction of canonical models for K45 and weaker systems
Optimizing the start-up operations of combined cycle power plants using soft computing methods
Relatively compatible operations in BCK-algebras and some related algebras
Relation Algebras from Cylindric and Polyadic Algebras
Saturated models of first-order many-valued logics
On distance-based inconsistency reduction algorithms for pairwise comparisons
An autobiography of Polyadic Algebras
Generalizing AGM to a multi-agent setting
Classes and theories of trees associated with a class of linear orders
An integrated development environment for probabilistic relational reasoning
Abstaining in rule set bagging for imbalanced data
A Neat Embedding Theorem for Expansions of Cylindric Algebras
Interpolation and FEP for logics of residuated algebras
Connexive arithmetic formulated relevantly
Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach
Trees for E
Identification of Li-ion battery models through monotonic echo serial networks for coarse data
Characterizations of Preferential Entailments
The attack as intuitionistic negation
On a hierarchy involving transitive closure logic and existential second-order quantification
Quantum-like non-separability of concept combinations, emergent associates and abduction
Theories of truth based on four-valued infectious logics
Congruences on Dynamic Algebras
Correspondence and canonicity theory of quasi-inequalities and Π 2-statements in modal subordination algebras
Weaker D-Complete Logics
A Note on Interaction and Incompleteness
On the Descriptive Complexity of a Simplified Game of Hex
On categorical equivalences of equality algebras and monadic equality algebras
Typed Logics With States
Self provers and Σ 1 sentences
S4 is Topologically Complete for (0, 1): a Short Proof
Abduction, unpredictability and Garden of Eden
Logics of formal inconsistency arising from systems of fuzzy logic
Editorial: Special Issue CISIS 2022
Three interpolation theorems for typeless logics
Some non-classical approaches to the Brandenburger-Keisler paradox
Using clustering techniques for intelligent camera-based user interfaces
Which classical correspondence is valid in intuitionistic modal logic?
A Resolution/Tableaux Algorithm for Projective Approximations in IPC
η-conversions of IPC implemented in atomic F
Strong Cut-Elimination for Constant Domain First-Order S 5
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
Review: Feasible Mathematics II
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination
Analogues of Bull's theorem for hybrid logic
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review
Predictive maintenance of vehicle fleets through hybrid deep learning-based ensemble methods for industrial IoT datasets
Some classes of quasi-pseudo-MV algebras
A Semantic Approach to Non-prioritized Belief Revision
Is There a Logic for Polynomial Time?
Kolmogorov and Kuroda Translations Into Basic Predicate Logic
Dialectical categories, cardinalities of the continuum and combinatorics of ideals
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
Boolean negation and non-conservativity I: Relevant modal logics
∞-Groupoid Generated by an Arbitrary Topological λ-Model
An Introduction to Cylindric Set Algebras
Revisiting completeness for the K n modal logics: A new proof
Filters and Partial Orders
Simple sequent systems for the modal logics K,D,T, and S 4
A Way of Making World Quantification Explicit
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models
Generalized Kripke semantics for the Lambek-Grishin calculus
A semantic approach for fine-grain access control of e-health documents
Diagnosing a solar volumetric receiver combining NN-based modelling with online parameter identification and rule-based techniques
Structural Completeness in Substructural Logics
Logics of varieties, logics of semilattices and conjunction
An Application of Model Theory to Semimodules
Two Extensions of the Structurally Free Logic LC*
A support vector regression model for time series forecasting of the COMEX copper spot price
Handwritten digit recognition using neural networks and dynamic zoning with stroke-based descriptors
Many-Valued Reflexive Autoepistemic Logic
Semantical Investigations on Non-Classical Logics With Recovery Operators: Negation
The Computational Complexity of Hybrid Temporal Logics
Compatible Functions in Algebras Associated to Extensions of Positive Logic
Fork Algebraic Datatypes
Non-idempotent intersection types for the Lambda-Calculus
Descriptions in quantum mechanics
A Type Theory with Mixed Constructivity and Assignments
A game theoretical semantics for a logic of formal inconsistency
Counting weak Heyting algebras on finite distributive lattices
Fraïssé's theorem for logics of formal inconsistency
Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala
On the semantics of informational independence
Use of classifiers and recursive feature elimination to assess boar sperm viability
An Application of Logic Engineering
Features of the Expert-System-Shell SPIRIT
A formal account of dishonesty
Sock Sorting: An Example of a Vague Algorithm
Many-valued Logics in Classical and Quantum Gates
Distal learning of the incremental capacity curve of a LiFePO4 battery
Undecidability over Continuous Time
A new approach for writer verification based on segments of handwritten graphemes
Insider attack detection in database with deep metric neural network with Monte Carlo sampling
First-Order Theories of Orthogonality Structures
Hyperintensional models for non-congruential modal logics
Design and optimization of the input modules of a DPA toolbox
The Functional Interpretation of the Existential Quantifier
A game theoretic decision forest for feature selection and classification
The Relevant Equivalence Property
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration
Reasoning about types of action and agent capabilities
A separable axiomatization of the Gabbay-de Jongh logics
Modal expansions of ririgs
Some Semantical Aspects of Linear Logic
Some results for min matrices associated with Chebyshev polynomials
Cut and Weakening in Fuzzy Horn Logic
First-order probabilistic conditional logic and maximum entropy
A study of the personalization of spam content using Facebook public information
Embeddings of Propositional Monomodal Logics
Finite-Cofinite Program Relations
On vague notions and modalities: a modular approach
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches
Reasoning about constitutive norms in BDI agents
Some Admissible Rules in Modal Systems with the Brouwerian Axiom
Grafting hypersequents onto nested sequents
Some Completeness Results for Propositional Conditional Logics
Investigation of the solution of a half-order elliptic type equation with non-local boundary condition
A Finite Relation Algebra with Undecidable Network Satisfaction Problem
Reasoning about Actions in Dynamic Linear Time Temporal Logic
Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98)
Generalised Leonardo numbers
Parsing Natural Language using LDS: A Prototype
On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions
Creating Collective Intention through Dialogue
Editorial: Special issue CISIS12-IGPL
Double sequences, almost Cauchyness and BD-N
High-quality attack graph-based IDS correlation
Logic programming for modeling morality
A Linear Meta-Interpreter for Reasoning About States and Actions
The Linear Logic of Multisets
Soundness and completeness of the Cirquent calculus system CL6 for computability logic
On guarded transformation in the modal μ-calculus
Volume II: New advances in Logics of Formal Inconsistency
Vector logic allows counterfactual virtualization by the square root of NOT
An introduction to partition logic
Unification neural networks: unification by error-correction learning
Ethereum-based decentralized car rental system
On the relationships between some meta-mathematical properties of arithmetical theories
Approximate Belief Revision