yusuke1997/dblp-id-title huggingface dataset:
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge
A proof procedure for adaptive logics
Extended experimental study on PSO with partial population restart based on complex network analysis
Theory of disjunctive attacks, Part I
The AProS Project: Strategic Thinking & Computational Logic
Clustering techniques performance comparison for predicting the battery state of charge: A hybrid model approach
When Curry met Abel
Selection and Uniformization in Generalized Product
Deontic modals and hyperintensionality
Complexity of logics for multi-agent systems with restricted modal context
Modular termination of basic narrowing and equational unification
Two Restrictions on Contraction
A topological duality for tense $$\boldsymbol{LM_n}$$-algebras and applications1
Naming and Diagonalization, from Cantor to Gödel to Kleene
Cut-free sequent calculi for logics characterized by finite linear Kripke frames
Hybrid Modelling of Multilayer Perceptron Ensembles for Predicting the Response of Bolted Lap Joints
Not Everything is Possible
Generalized Quantifiers in Declarative and Interrogative Sentences
Naturalizing the logic of abduction
Network security situation awareness forecasting based on statistical approach and neural networks
Probabilistic logic of quantum observations
Study of the malware SCIRS model with different incidence rates
Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
Relational Proof System for Linear and Other Substructural Logics
Editorial: Special issue SOCO 2020
Reviews: Review of Coherent Systems, by Karl Schlechta, volume 2 of Studies in Logic and Practical Reasoning. Amsterdam: Elsevier, 2004, 447 pp., ISBN: 0-444-51789-8
Propositional intuitionistic multiple-conclusion calculus via proof graphs
An Isomorphism Related to Gödel's Fundamental Operations
Binary modal logic and unary modal logic
Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case
Sharpening complexity results in quantified probability logic
Bayesian coherentism and the problem of measure sensitivity
Some variants of Vaught's conjecture from the perspective of algebraic logic
A hybrid approach to learn with imbalanced classes using evolutionary algorithms
A Generalized Concept Lattice
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices
An Analysis of (Linear) Exponentials Based on Extended Sequents
Aspects of Paraconsistent Logic
Anomaly detection based on one-class intelligent techniques over a control level plant
Deduction and Language
Mutating network scans for the assessment of supervised classifier ensembles
Speed with Quality
The role of goals in belief selection
Diagram Construction in Intuitionistic Logic
Editorial: Special issue ISA 2023
9th Workshop on Logic, Language, Information and Computation
Minimizing disjunctive normal forms of pure first-order logic
Comparing Computational Power
Towards a Logic of Rational Agency
Exploiting multimodal biometrics for enhancing password security
Optimal modes of operation of pseudorandom sequence generators based on DLFSRs
Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics
Resource-Adaptive Model Generation as a Performance Model
Translation Methods for Non-Classical Logics: An Overview
Non-Definability of the Class of Complete Bundled Trees
Justification announcements in discrete time. Part II: Frame definability results
Key features for the characterization of Android malware families
PBIL for optimizing inception module in convolutional neural networks
Hourly pollutants forecasting using a deep learning approach to obtain the AQI
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms
Does changing the subject from A to B really provide an enlarged understanding of A?
First steps towards probabilistic justification logic
Clausal Proofs and Discontinuity
Propositional superposition logic
How an agent might think
An updated view on centralized secure group communications
Applying SLD-resolution to a class of non-Horn logic programs
Logics and collaboration
The Rules of Logic Composition for the Bayesian Epistemic e-Values
Mouse dynamics correlates to student behaviour in computer-based exams
Author's response to Wansing and Belnap's Generalized truth-values
Meet-completions and ordered domain algebras
Ivanova contact join-semilattices are not finitely axiomatizable
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant
Representation of influence zones in commercial GISs for simulation of directional processes
Natural Deduction and Weak Normalization for Full Linear Logic
On the Search for a Finitizable Algebraization of First Order Logic
Correction to: Decidability of interpretability logics IL <tt>M</tt>0 and IL <tt>W</tt>
Estimation of distribution algorithms with solution subset selection for the next release problem
Intuitionistic modal logic with a galois connection has the finite model property 1
The Complexity of Propositional Proofs with the Substitution Rule
A hybrid machine learning system to impute and classify a component-based robot
Semantic learning in autonomously active recurrent neural networks
To distribute or not to distribute?
Science: the rules of the game
Structuralist modals and the combination of logics
The Essential Inadequacy of Deduction in Logic Programming
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms
Locally finite monoids in finitely based varieties
Special Issue: SOCO-CISIS 2019-IGPL
Grounding power on actions and mental attitudes
A new deduction system for deciding validity in modal logic K
IGPL/FoLLI Prize
Probability as a modal operator: the possibilities of its combination with other modalities
An axiomatic approach to maintaining the consistency of a hypermedia information system based on the SEM-HP model
The Unique Intermediate Logic Whose Every Rule is Archetypal
Bisimulation, Modal Logic and Model Checking Games
On learning context-aware rules to link RDF datasets
Functional Interpretation of Logics for 'Generally'
Agents that look at one another
Constructing Θ-Ξ functions via multiplicative generators on a completely distributive lattice
Tense operators on De Morgan algebras
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning
Who finds the short proof?
Improving accountability and explainability in robots through encryption, large language models, and visual language models
Relaxing non-interference requirements in parallel plans
A Minimal Hybrid Logic for Intervals
Editorial: Dynamics of knowledge and belief
Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993
Products of Modal Logics, Part 1
Improving wearable-based fall detection with unsupervised learning
A three-stage hybrid clustering system for diagnosing children with primary headache disorder
Querying Hyperset/Web-Like Databases
Modelling defeasible reasoning by means of adaptive logic games
Machine learning techniques for computer-based decision systems in the operating theatre: application to analgesia delivery
Characterising Combinational Timing Analyses in Intuitionistic Modal Logic
A Bizarre Property Equivalent to the Pi 1 0 -Fan Theorem
A new completeness proof at the propositional level for mbC and some of its extensions
Structural analysis of code-based algorithms of the NIST post-quantum call
Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games
A logical framework for data-driven reasoning
Special issue: 17th LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (LASML 2017/SLALM 2017 in Spanish)
Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios
Unification with parameters in the implication fragment of classical propositional logic
Decision Procedures and Model Building in Equational Clause Logic
Non-intrusive appliance load monitoring with bagging classifiers
The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination
Superrational types
An algebraic look at filtrations in modal logic
Capturing dynamic conceptual frames
On the decidability of the PVD class with equality
A Simple Formalization and Proof for the Mutilated Chess Board
A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it
PSpace Reasoning with the Description Logic ALCF(D)
First-order aspects of tree paths
On the application of compression-based metrics to identifying anomalous behaviour in web traffic
From the research on logics without tautologies (part 2)
On the Impact of Interpretability Methods in Active Image Augmentation Method
A symbolic/subsymbolic interface protocol for cognitive modeling
Extensions of Kripke models
Data dimensionality reduction for an optimal switching mode classification applied to a step-down power converter
Kripke Completeness of First-Order Constructive Logics with Strong Negation
A Sound and Complete Deductive System for CTL* Verification
Fuzzy sets in data protection: strategies and cardinalities
Logic for Mathematical Writing
Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi
Structurally complete finitary extensions of positive Łukasiewicz logic
Introducing consistency in a dialogical framework for paraconsistent logic
Towards Abductive Reasoning in First-order Logic
An ensemble algorithm for Kohonen self-organizing map with different sizes
Localizing finite-depth Kripke models
A language for the execution of graded BDI agents
Hypotheses testing in adaptive logics: an application to medical diagnosis
A Relational Formalisation of Arbitrary Finite Valued Logics
Optimizing distributed computing systems for k-nearest neighbours classifiers - evolutionary approach
Software implementation of cryptographic sequence generators over extended fields
Correspondence and Completeness for Generalized Quantifiers
Completeness for cut-based abduction
Sheaves over Right Sided Idempotent Quantales
A Note on Negation in Categorial Grammar
Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs
ccGolog -- A Logical Language Dealing with Continuous Change
Classes of algebras without the amalgamation property
A tableaux-like method to infer all minimal keys
Computational Framework For Understanding Mathematical Discourse
Projectual Abduction
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning
Some explicit values of an alternative q -multiple zeta function at roots of unity
Inferential-connexive mixed logics
A Finite Axiomatization for Fork Algebras
Continuous versions of Haack's puzzles: equilibria, eigen-states and ontologies
Axioms for a Logic of Consequential Counterfactuals
Active learning approach to concept drift problem
ORGANON - The Web Tutor for Basic Logic Courses
Editorial: Special issue SOCO-CISIS 2018-IGPL
Linguistics, Logic and Finite Trees
On probabilistic inference in relational conditional logics
Extended Disjunction and Existence Properties for Some Predicate Modal Logics
Pavelka-style fuzzy justification logics
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
Hybrid ant models with a transition policy for solving a complex problem
Computational Model Theory: An Overview
Editorial: Special issue in honour of John Newsome Crossley
Products of modal logics. Part 2: Relativised quantifiers in classical logic
Increased performance and better patient attendance in an hospital with the use of smart agendas
Partially-Elementary Extension Kripke Models: A Characterization and Applications
Variable Compactness in 1-Order Logic
On the number of different variables required to define the n -density or the bounded n -width of Kripke frames with some consequences for Sahlqvist formulae
A novel fuzzy metaheuristic approach in nurse rerostering problem
Logics for complexity classes
Finite and Infinite Model Theory - A Historical Perspective
A hybrid intelligent system for the analysis of atmospheric pollution: a case study in two European regions
Theory of M-system
Model-Baded Abduction via Dual Resolution
Log A B: A first-order, non-paradoxical, algebraic logic of belief
A modified biogeography-based optimization algorithm with improved mutation operator for job shop scheduling problem with time lags
Deducibility and Exactness
Categorial forms of the Axiom of Choice
On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
Iterated Belief Change in Multi-Agent Systems
Ellipsis in a Labelled Deduction System
A Dynamic Game-theoretic Approach to the Modified Prisoner's Dilemma
Towards an Axiomatic Theory of Consciousness
Nonmonotonic inference operations
Enthymematic classical recapture 1
A hybrid spatial - social - logical model explaining human behaviour in emergency situations
A Modal Logic for Quantification and Substitution
Monadic Distributive Lattices
A new extension of the Frank matrix and its properties
Game-theoretic semantics for non-distributive logics
Unification types in Euclidean modal logics
Every computably enumerable random real is provably computably enumerable random
XI Brazilian Conference on Mathematical Logic
A non-stressful vision-based method for weighing live lambs
Recurrent variational autoencoder approach for remaining useful life estimation
Blockchain-based architecture for the control of logistics activities: Pharmaceutical utilities case study
A modification proposal for the reconciliation mechanism of the key exchange algorithm NewHope
Algebraic structures formalizing the logic with unsharp implication and negation
Relational Treatment of Term Graphs With Bound Variables
Third International Workshop on Hybrid Logic (HyLo'01)
Subvaluationism and classical recapture
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors
A propositional system induced by Japaridze's approach to IF logic
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae
On maximal order type of the lexicographic product
Common cause abduction: The formation of theoretical concepts and models in science
On Ignorance and Contradiction Considered as Truth-Values
Hyperspectral imaging and artificial neural networks for oil spills automatic detection
Epsilon Substitution Method for Delta 1 1 -CR: a Constructive Termination Proof
On the Notion of Substitution
Inconsistent-tolerant base revision through Argument Theory Change
Content-based image authentication using sparse features and SOM trajectories
Assertion and hypothesis: a logical framework for their opposition relations
Finite and Rational Tree Constraints
Abduction and diagrams
Justification announcements in discrete time. Part I: Completeness results
Well-orders in the transfinite Japaridze algebra
Nelson's logic ℒ
Free-variable Tableaux for Monotonic PreordersI
Editors' introduction: Special issue on non-classical modal and predicate logics
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
Interpreting lattice-valued set theory in fuzzy set theory
An improved hybrid algorithm for capacitated fixed-charge transportation problem
Lithium iron phosphate power cell fault detection system based on hybrid intelligent system
Editorial: Special Issue SOCO 2022
Malinowski modalization, modalization through fibring and the Leibniz hierarchy
Randomized game semantics for semi-fuzzy quantifiers
Special issue: HAIS 2010
MV * - Algebras
Fuzzy Closure Operators with Truth Stressers
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables
An Omitting Types Theorem for Sheaves over Topological Spaces
Standards and the distribution of cognitive labour: A model of the dynamics of scientific activity
The quantum logic of direct-sumdecompositions: the dual to the quantum logic of subspaces
The computational content of atomic polymorphism
A bottom-up algorithm for solving ♯2SAT
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
An axiomatic approach to CG′3 logic
Iterated probability revision and the limitations of dyadic probability
Editorial "Tools for Teaching Logic"
Algebraization of Non-structural Logics
Detection of forest fires outbreaks by dynamic fuzzy logic controller
Filtering non-balanced data using an evolutionary approach
Imagelytics suite: deep learning-powered image classification for bioassessment in desktop and web environments
The problem of identity and a justification for a non-reflexive quantum mechanics
The rewriting calculus - Part I
Sahlqvist completeness theory for hybrid logic with downarrow binder
On Neat Reducts and Amalgamation
Fusion of sequent modal logic systems labelled with truth values
Local Goldblatt-Thomason theorem
Randomness study of the concatenation of generalized sequences
A General Framework for Pattern-Driven Modal Tableaux
Behaviour of Machine Learning algorithms in the classification of energy consumption in school buildings
Towards real-time DNA biometrics using GPU-accelerated processing
Ontology-revision operators based on reinterpretation
On the bi-periodic ( k,s ) - Jacobsthal numbers via the Fibonacci-Hörner decomposition of matrix powers
Information Transfer across Chu Spaces
Non-involutive twist-structures
On bipolar fuzzy soft hyperlattices
Some lattice-ordered algebras on which all congruences are principal
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone
A logic of agent organizations
An intuitionistic logic for preference relations
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators
Modality across different logics
Contrariety re-encountered: nonstandard contraries and internal negation**
Analytic Cut Trees
Basic propositional logic and the weak excluded middle
On Löb algebras, II
Static analysis: a brief survey
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths
Semantics for Structurally Free Logics LC+
The perfect surprise: a new analysis in dynamic epistemic logic
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
Streaming big time series forecasting based on nearest similar patterns with application to energy consumption
A Probabilistic Temporal Epistemic Logic: Strong Completeness
Theorem Proving in Infinitesimal Geometry
Contrastive Logic
Lambek grammars with one division and one primitive type
Is abduction ignorance-preserving? Conventions, models and fictions in science
Some structural properties of quasi-degrees
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
Cut-elimination and deductive polarization in complementary classical logic
Abductive Equivalence in First-order Logic
Non-commutative classical arithmetical sequent calculi are intuitionistic
A Cut-Free Gentzen Formulation of the Modal Logic S5
Contact semilattices
A Calculus of Higher-Order Parameterization for Algebraic Specifications
Why and How Platonism?
Independent Bases of Admissible Rules
Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae
Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison
Soundness and principal contexts for a shallow polymorphic type system based on classical logic
The relevance logic of Boolean groups
Reasoning with inconsistencies in hybrid MKNF knowledge bases
Negation-cohesive connectives: a generalization of connexivity
Pragmatic logics for hypotheses and evidence
A Lower Bound for Interpolation
A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications
A variable neighbourhood search for minimization of operation times through warehouse layout optimization
Rapid tomographic reconstruction through GPU-based adaptive optics
Connexive logic: new old challenges
Robust normative systems and a logic of norm compliance
Constructive semantics, admissibility of rules and the validity of Peirce's law
Logics of (In)sane and (Un)reliable Beliefs
Towards automated first-order abduction: the cut-based approach
A generalized cut characterization of the fullness axiom in CZF
Stone duality for lattice expansions
Surrogate-based optimization of learning strategies for additively regularized topic models
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
Formalizing Concurrent Common Knowledge as Product of Modal Logics
Compositional Semantics for a Language of Imperfect Information
Pretopology Semantics for Bimodal Intuitionistic Linear Logic
Distance-based non-deterministic semantics for reasoning with uncertainty
On a Weak Conditional
The principle of open induction and Specker sequences
Generalized Davis-Putnam and satisfiability problems in mathematics
The p -Frobenius number for the triple of certain quadratic numbers
Editorial: Special issue HAIS17-IGPL
Clustering extension of MOVICAB-IDS to identify SNMP community searches
Quantum modal logic
Interval-Related Interpolation in Interval Temporal Logics
Combinations and completeness transfer for quantified modal logics
Knowledge and ignorance in Belnap-Dunn logic
Clustering extension of MOVICAB-IDS to distinguish intrusions in flow-based data
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation
Employees balance and stability as key points in organizational performance
An Expectation-Transformer Model for Probabilistic Temporal Logic
Back and Forth Between First-Order Kripke Models
Modal dependence logics: axiomatizations and model-theoretic properties
Detecting emotions through non-invasive wearables
On split-octonionic curves
Explicit substitutions calculi with one step Eta-reduction decided explicitly
Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
The Keisler-Shelah theorem for $\mathsf{QmbC}$ through semantical atomization
Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS)
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies
Projective unification in modal logic
Preface of this special issue: The Challenge of Combining Logics
Propositional dynamic logic for Petri nets
Information Compression by Multiple Alignment, Unification and Search as a Framework for Human-Like Reasoning
Tableau Reasoning and Programming with Dynamic First Order Logic
The rewriting calculus - Part II
Algorithms for Computing Minimal Conflicts
Normal and complete Boolean ambiguity algebras and MV-pairs
Algorithms in cognition, informatics and logic: A position manifesto
Relativizations of the Principle of Identity
A Weak Constructive Sequential Compactness Property and the Fan Theorem
The Carcinogenic Example
A hybrid genetic algorithm, list-based simulated annealing algorithm, and different heuristic algorithms for the travelling salesman problem
Collective classification for spam filtering
Foreground object detection for video surveillance by fuzzy logic based estimation of pixel illumination states
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
Duality via Truth: Semantic frameworks for lattice-based logics
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices