yusuke1997/dblp-id-title huggingface dataset:
A word clustering approach to domain adaptation: Robust parsing of source and target domains
The complexity of reasoning for fragments of default logic
Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas
A Tableaux Method for Systematic Simultaneous Search for Refutationas and Models Using Equational Problems
Effective aspects of Bernoulli randomness
A New Method for Automated Finite Model Building Exploiting Failures and Symmetries
Embedding countable partial orderings in the enumeration degrees and the ω -enumeration degrees
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
Modal Logics for Incidence Geometries
Model Checking Using Description Logic
On modal extensions of Product fuzzy logic
Verisimilitude via Vietoris
Monodic temporal logic with quantified propositional variables
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion
A Tribute to Marian Boykan Pour-El (1928-2009)
Model-theory and implementation of property grammars with features
Extending Kamp's Theorem to Model Time Granularity
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
A Talmudic norms approach to many-valued logic
Analytic Methods for the Logic of Proofs
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus
Computational paths - a weak groupoid
On Two Attempts of Describing Propositional Realizability Logic
SPADES - a process algebra for discrete event simulation
On directed simulations in description logics
Coarsening natural deduction proofs II: finding gaunt proofs
Hyperintensions
A new coalgebraic Lindström theorem
Deduction-detachment theorem in hidden k -logics
Experience and prediction: a metric of hardness for a novel litmus test
Classes of structures with universe a subset of ω 1
Extracting Herbrand systems from refutation schemata
Trial and error mathematics: Dialectical systems and completions of theories
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic
On Negation Rationality
Preferred History Semantics for Iterated Updates
Undecidability of the degree structure of primitive recursive m -reducibility
On quasi-reducibility for c.e. sets Part I. The structure of the Q -degrees and the sQ -degrees
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
Codes and Ciphers: Julius Caesar, The Enigma, and the Internet
Intuitionistic S4 as a logic of topological spaces
Ten Philosophical Problems in Belief Revision
Special Issue on Computational Dialectics: an Introduction
Writing out Unifiers in Linear Temporal Logic
Logics with definitional reflection rules
Review: Things a Computer Scientist Rarely Talks About
Undecidable problems for modal definability
Resolving the Cohenian paradox in judicial probability theory
Belief base rationalization for propositional merging
Completeness in partial type theory
Modal extensions of Łukasiewicz logic for modelling coalitional power
Relations Between Propositional Normal Modal Logics: An Overview
Algorithmic reducibilities of algebraic structures
On the category of Nelson paraconsistent lattices
The recursive path and polynomial ordering for first-order and higher-order terms
NNIL-formulas revisited: Universal models and finite model property
Modal Deduction in Second-Order Logic and Set Theory - I
Order polarities
Sequentially Indexed Grammars
Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
Implicit commitment in a general setting
Restricted normal modal logics and levelled possible worlds semantics
On Gentzen Systems Associated with the Finite Linear MV-Algebras
Bijective faithful translations among default logics
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
Read-once refutations in Horn constraint systems: an algorithmic approach
Reinforcement Belief Revision
Computability of glued manifolds
Fibring of Logics as a Categorial Construction
Algorithmic correspondence and canonicity for possibility semantics
Answer Set Programming with Resources
Deduction Systems for Coalgebras Over Measurable Spaces
Logics with probabilistic team semantics and the Boolean negation
MV-frames
Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction
A New Modal Approach to the Logic of Intervals
Standard Logics Are Valuation-Nonmonotonic
Simplification of Many-Valued Logic Formulas Using Anti-Links
A complete axiomatization of a temporal logic with obligation and robustness
A proof-theoretic study of abstract termination principles
Two new homomorphism dualities and lattice operations
Aggregating Partially Ordered Preferences
Computer-aided decision-making with trust relations and trust domains (cryptographic applications)
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
A Unified View of Belief Revision and Update
On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
Generic Models of Logic Programs
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation
A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
A Game Semantics for Grz
A Theory and Implementation of Cognitive Mobile Robots
Composition of Default Specifications
Collective Argumentation and Disjunctive Logic Programming
Verifying Concurrent Systems with Symbolic Execution
Advances in Computational Logic (CILC23): Preface
Labelled natural deduction for a bundled branching temporal logic
The Probability of Pure Literals
A modal logic of knowledge, belief and estimation
Strong jump inversion
A proof-theoretic analysis of the classical propositional matrix method
On the Very Weak 0-1 Law for Random Graphs with Orders
How big is BCI fragment of BCK logic
Stage semantics and the SCC-recursive schema for argumentation semantics
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
The Limit Assumption and Multiple Revision
On the satisfiability problem for fragments of two-variable logic with one transitive relation
AGM contraction is not reconstructible as a descriptor operation
Coalition Formation Processes with Belief Revision among Bounded-rational Self-interested Agents
A Non-finitary Sentential Logic that is Elementarily Algebraizable
Noetherian Gödel logics
Complexity of existential positive first-order logic
Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization
Formalizing Properties of Agents
On the Structure of Finite Integral Commutative Residuated Chains
A reunion of Gödel, Tarski, Carnap and Rosser
Forgetting Literals with Varying Propositional Symbols
Trust-based Revision for Expressive Web Syndication
Modal independence logic
A multi-focused proof system isomorphic to expansion proofs
Logics of formal inconsistency based on distributive involutive residuated lattices
Call-by-Value lambda-calculus and LJQ
From Situation Calculus to Dynamic Epistemic Logic
Rewrite-Based Equational Theorem Proving with Selection and Simplification
Efficient minimal preference change
Computing most general unifiers in Euclidean modal logics
A Foundation for Metareasoning Part II: The Model Theory
Relating structure and power: Comonadic semantics for computational resources
Nominal (Universal) Algebra: Equational Logic with Names and Binding
Projective relative unification through duality
An algebraic approach to the study of monadic substructural predicate logics over FLew
Sequent Calculi for the Modal µ-Calculus over S5
A comprehensive account of the burden of persuasion in abstract argumentation
Modelling supra-classical logic in a Boltzmann neural network: III adaptation
Elementary cellular automata and self-referential paradoxes
Book Review: "Selected Papers on Analysis of Algorithms" by Donald E. Knuth
A Topological Study of the Closed Fragment of GLP
Uniform lyndon interpolation for basic non-normal modal and conditional logics
Preface: Special Issue on Logic and Argumentation
Complexity of finite-variable fragments of products with non-transitive modal logics
Bounded Fixed-Point Iteration
Computing prime implicates by pruning the search space and accelerating subsumption
A Module System for a Programming Language Based on the LF Logical Framework
Proof theory of witnessed Gödel logic: A negative result
Some techniques for reasoning automatically on co-inductive data structures
Opening the black box of trust: reasoning about trust models in a BDI agent
Goal Change in the Situation Calculus
Finite and Circular Path Models for Branching Time Logics
On the number of bipolar Boolean functions
Finite Axiomatizations for Universal Domains
Diffusion in social networks with recalcitrant agents
Borrowing interpolation
Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A. Peled
A tableau for general linear temporal logic
Reducing Preferential Paraconsistent Reasoning to Classical Entailment
Measuring the blame of each formula for inconsistent prioritized knowledge bases
A dependency perspective on the adequacy of tree local multi-component tree adjoining grammar
Logical Weak Completions of Paraconsistent Logics
Theorem proving for classical logic with partial functions by reduction to Kleene logic
Two kinds of enriched topological representations of Q -algebras
Budget-constrained coalition strategies with discounting
Judgment aggregation in dynamic logic of propositional assignments
A Fixed Point Semantics for the ATMS
A substructural logic for layered graphs
Complexity of the Guarded Two-variable Fragment with Counting Quantifiers
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
ATL Satisfiability is Indeed EXPTIME-complete
Conjunctive degrees and cylinders
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets
Numerical expressive power of logical languages with cardinality comparison
Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems
Ideal related algebras and their logics
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic
Labelled Tableaux for Distributed Temporal Logic
Non-cumulative reasoning: rules and models
A Theory of Knowledge and Ignorance for Many Agents
Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests
Fixed point theorems for minimal numberings
The collapse of the bounded width hierarchy
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
Resolution for Temporal Logics of Knowledge
Turning an Action Formalism into a Planner - A Case Study
On Rosser theories
Complexity of finite-variable fragments of products with K
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII)
Lazy List Comprehension in Logic Programming
A plea for the majority method in aggregating judgements
Unification Through Projectivity
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship
Efficient Temporal Satisfiability
Set Theory and Nominalization, Part II
An algebraic extension of intuitionistic linear logic: the 𝓛!𝒮-calculus and its categorical model
On infinitary Gödel logics
Ontology merging as social choice: judgment aggregation under the open world assumption
Interpolation in propositional Horn logic
The Relevance Graph of a BCK-Formula
Ground Nonmonotonic Modal Logic S5: New Results
A single-type logic for natural language
Probabilistic Logic and Induction
Proceedings of the XX Encontro Brasileiro de Lógica
Reliable Methods of Judgement Aggregation
Classical logic with Mendler induction
Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND
The Monotonous Elimination of Predicate Variables
On White's Expansion of Lukasiewicz Logic
A logic of sights
On constructive models of theories with linear Rudin-Keisler ordering
Information About a Given Entity: From Semantics Towards Automated Deduction
Book Review: "Elementary Logics: a Procedural Perspective" by Dov M. Gabbay
Infinitary logic and basically disconnected compact Hausdorff spaces
Operator algebras with hyperarithmetic theory
Bisimulation in model-changing modal logics: An algorithmic study
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
Some Results on Classical Preferential Models
Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming
On the Logical Formalization of Possibilistic Counterparts of States over n -valued Łukasiewicz Events
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Definable inapproximability: new challenges for duplicator
An intensional semantics for elementary program transformations
Linear Temporal Logic LTK K extended by Multi-Agent Logic K n with Interacting Agents
Accelerating LTL satisfiability checking by SAT solvers
Computational logic and the social
Changing the logic without changing the subject: the case of computability
What is a model for a semantically linear λ-calculus?
Underspecified Interpretations in a Curry-typed Representation Language
Expressible preferential logics
Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
Coalgebraic logic programming: from Semantics to Implementation
Preferential Logics are X-logics
Pedagogical lambda-cube: the λ 2 case
Testing the Reasoning for Question Answering Validation
Using the Universal Modality: Gains and Questions
Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation
Corner on directions in nonclassical logic
Extracting Frame-Semantics Knowledge using Lattice Theory
An abstract view on syntax with sharing
Mechanizing Coinduction and Corecursion in Higher-Order Logic
Turing and enumeration jumps in the Ershov hierarchy
SHR Tableaux - A Framework for Automated Model Generation
Intuitionistic Dual-intuitionistic Nets
Labelled calculi for quantified modal logics with definite descriptions
The logic and philosophy of information corner: Presentation and call for papers
A Hypothetical Reasoning Algorithm for Linguistic Analysis
On probabilistic argumentation and subargument-completeness
A Verification Logic for Rewriting Logic
Infinity, in short
Relation Algebra with Binders
Pruning Simply Typed Lambda-Terms
Enumeration of the adjunctive hierarchy of hereditarily finite sets
Non-cuppable enumeration degrees via finite injury
Generalizing Def and Pos to Type Analysis
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems
Non-manipulable Social Welfare Functions when Preferences are Fuzzy
The cf2 argumentation semantics revisited
Characterizing logical consequence in many-valued logic
The handling of loops in argumentation networks
Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time
The Lattice of Lambda Theories
Wanted dead or alive: epistemic logic for impure simplicial complexes
A Constructive Presentation for the Modal Connective of Necessity (\Box)
A Notion of Coherence for Books on Conditional Events in Many-valued Logic
Unfriendly partitions when avoiding vertices of finite degree
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy
Special Issue on Computational Logic in Honour of Roy Dyckhoff
Similarity relations in concept lattices
Reasoning about Concurrent Interaction
Quasi-varieties and initial semantics for hybridized institutions
Tense logics based on posets
Abstract Interpretation, Logical Relations and Kan Extensions
Automated Mathematical Induction
Hypersequent Calculi for Gödel Logics - a Survey
Heuristic algorithms for credulous and sceptical reasoning problems in abstract argumentation
Modal structures in groups and vector spaces
To the logical foundations of random number generator construction
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking
Correction to: An Argumentation-Based Approach for Goal Reasoning and Explanations Generation
On the modeling and verification of the spread of fake news, algebraically
A semantic proof of strong cut-admissibility for first-order Gödel logic
A non-computable c.e. closed subset of [0,1]
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic
Axiomatic Systems, Deduction and Implication
Isolation, Infima and Diamond Embeddings
OntoDLV: An ASP-based System for Enterprise Ontologies
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
Finite RDP-algebras: duality, coproducts and logic
Subclasses of Binary NP
Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness
Functions definable by numerical set-expressions
Probabilistic /lambda-calculus and Quantitative Program Analysis
On modal μ-calculus over reflexive symmetric graphs
On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames
Dynamic epistemic logic in update logic
The complexity of handling minimal solutions in logic-based abduction
The Logic of Quasi-MV Algebras
Coercive Subtyping
Modelling epistemic actions in interrogative belief revision
Bipolar Argumentation Frameworks with a dual relation between defeat and defence
Interpolation for intermediate logics via injective nested sequents
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map
Exemplaric Expressivity of Modal Logics
Linear logic in a refutational setting
A Deductive System for Existential Least Fixpoint Logic
The Pure Logic of Necessitation
Temporal reasoning over deontic specifications
Multi-agent Only Knowing
Computability in Europe 2010
TCTL Model Checking of Time Petri Nets
Strongly involutive uninorm algebras
Detecting Loops During Proof Search in Propositional Affine Logic
Solution to a Problem of Goranko and Passy
Foundations of Cryptography: Basic Tools
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems
A study of continuous vector representations for theorem proving
Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems
Using synchronous tree adjoining grammar to model the typology of bound variable pronouns
Sahlqvist correspondence theory for second-order propositional modal logic
Fixed-point Logics with Nondeterministic Choice
A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic
A strongly complete axiomatization of intuitionistic temporal logic
Preface for the special issue of Proof, Structure, and Computation 2014
Towards a proof theory for Henkin quantifiers
Paracomplete truth theory with KFS-definable determinateness
Model-theoretic properties of the n-c.e. degrees
Explicit non-normal modal logic
An Axiomatic Characterization of Ensconcement-Based Contraction
Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2
One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property
A logical basis for constructive systems
Logical Approaches to Computational Barriers: CiE 2006
Inclusions and Subtypes II: Higher-Order Case
Algebraic Semantics for Paraconsistent Nelson's Logic
Logical foundations for bipolar and tripolar argumentation networks: preliminary results
Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities
Monotonic and Downward Closed Games
Logical Specification of Reactive and Real-Time Systems
Numeral completeness of weak theories of arithmetic
Hybrid Functional Interpretations of Linear and Intuitionistic Logic
A modal logic amalgam of classical and intuitionistic propositional logic
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
A Fixpoint Semantics for Ordered Logic
A new perspective on completeness and finitist consistency
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
Semantics and Stratification
Temporal logic for social networks
Natural Language and Knowledge Representation
Semi-stable semantics
General Models and Completeness of First-Order Modal µ-calculus
☐ and ◇ in eight-valued non-deterministic semantics for modal logics
Object-Process Analysis: Maintaining the Balance Between System Structure and Behaviour
Care-theoretic semantics
How to leverage intelligent agents and complex event processing to improve patient monitoring
Quantale Modules and their Operators, with Applications
Analog reducibility
A logic for biassed information diffusion by paranoid agents in social networks
On Sahlqvist theory for hybrid logics
Fair decomposition of group obligations
Conditional interchangeability of Nash equilibria
Smullyan's truth and provability
A policy-aware epistemic framework for social networks
Feedback hyperjump
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA
On uniform belief revision
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks
Persuasion in Practical Argument Using Value-based Argumentation Frameworks
Logic of defeasible permission and its dynamics
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
Special Issue on Ontology Dynamics
A Topological Construction of a Non-smooth Model of Cumulativity
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence
Completeness of neighbourhood logic
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Can We Make the Second Incompleteness Theorem Coordinate Free?
Axioms for Branching Time
On the behaviour of coalgebras with side effects and algebras with effectful iteration
A Finite-state Approach to Events in Natural Language Semantics
Expressing Default Logic Variants in Default Logic
Effective properties of Marker's extensions
On the connections between wttwttwttwttwtt- and QQ[Math Processing Error]Q-reducibilities
Declarative PTIME Queries for Relational Databases using Quantifier Elimination
Compile-Time Garbage Collection for Higher-Order Functional Languages
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
Playwright Gerhard Gentzen
Verification of Temporal Properties
Spoiled for choice?
Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions
Access-based intuitionistic knowledge
Paraconsistent set theory by predicating on consistency
Editorial: Logic and Law Corner
First-order universality for real programs
Modal operators and toric ideals
Similarity and Fuzzy Tolerance Spaces
Multi-type display calculus for dynamic epistemic logic
Multi-engine ASP solving with policy adaptation
Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten
Logic and Computation in the Real World: CiE 2007
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
First-order swap structures semantics for some logics of formal inconsistency
New Solutions to Novikov's Problem for Intuitionistic Connectives
Algebraic semantics for a modal logic close to S1
Towards a Logic for Pragmatics. Assertions and Conjectures
Constructive Z
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
A logic of interactive proofs
Syllogistic Logics with Verbs
A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
A Principle-based Account of Self-attacking Arguments in Gradual Semantics
Nomic truthlikeness in the light of a probabilistic representation of propositions