yusuke1997/dblp-id-title huggingface dataset:
The Net-Clause Language - A Tool for Data-Driven Inference
Testing the Equivalence of Logic Programs under Stable Model Semantics
Computing Repairs for Inconsistent DL-programs over EL Ontologies
Knowledge Means 'All', Belief Means 'Most'
A Unifying Perspective on Knowledge Updates
A Conceptualization of Preferences in Non-Monotonic Proof Theory
Extending Carinto the Description Logics of the Family
Efficient Strategies for Automated Reasoning in Modal Logics
The Logical Compilation of Knowledge Bases
Complexity in Value-Based Argument Systems
Learning Ontologies with Epistemic Reasoning: The E\!L Case
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics
Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings
A Logic of Objective and Subjective Oughts
Exposure and Hiding: Approaching the Objective Probability and Hiding the Secret in Zero-Knowledge Proof
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem
Typed Meta-interpretive Learning of Logic Programs
A Unification of Ordering Refinements of Resolution in Classical Logic
Maximum Satisfiability Formulations for Nonlinear Integer Programming
Reasoning about Agent Programs Using ATL-Like Logics
Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs
InterProlog: Towards a Declarative Embedding of Logic Programming in Java
An Experiment with Anthem: Semantic Equivalence of Tiling Programs
Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals
Preserving Strong Equivalence while Forgetting
Relative Similarity Logics are Decidable: Reduction to FO 2 with Equality
Prompt Interval Temporal Logic
Epistemic Answer Set Programming
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
Similarity-Based Inconsistency-Tolerant Logics
Towards Automatic Autoepistemic Reasoning
Graph-Classes of Argumentation Frameworks with Collective Attacks
Dependent and Independent Variables in Propositional Satisfiability
Approximate Unification in the Description Logic FL _0
A Logic for Modeling Decision Making with Dynamic Preferences
Nonmonotonic Tools for Argumentation
Deterministic Weighted Automata Under Partial Observability
Qsmodels: ASP Planning in Interactive Gaming Environment
Decidable Fragments of Logic Programming with Value Invention
Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II
Topo-distance: Measuring the Difference between Spatial Patterns
Characterizations for Relativized Notions of Equivalence in Answer Set Programming
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
Formalizing Statistical Causality via Modal Logic
An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment
A Free Logic for Stable Models with Partial Intensional Functions
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract)
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics
Reasoning about Typicality in Preferential Description Logics
Optimal Planning with Expressive Action Languages as Constraint Optimization
Transforming Gringo Rules into Formulas in a Natural Way
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
tascpl: TAS Solver for Classical Propositional Logic
Analytic Tableau Calculi for KLM Rational Logic R
Practical Reasoning for Uncertain Agents
Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination
Towards a Logical Analysis of Biochemical Pathways
Logic Programs with Functions and Default Values
A Resolution Calculus for Dynamic Semantics
DIRT: a Literature-Based Benchmark Suite for Grounders
Polymorphic Constructs in Natural and Programming Languages
A Uniform Language for Safety, Robustness and Explainability
Two Theories of Dynamic Semantics
Partial Semantics for Truth Maintenance - a Compositional Approach
Testing in ASP: Revisited Language and Programming Environment
Analysis of Distributed-Search Contraction-Based Strategies
Query Answering over Description Logic Ontologies
GOAL Agents Instantiate Intention Logic
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
The Complexity of One-Agent Refinement Modal Logic
A Logical Basis for Object Oriented Programming
SLD-Resolution Reduction of Second-Order Horn Fragments
Algorithms on Atomic Representations of Herbrand Models
Nested Sequents for the Logic of Conditional Belief
Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results
Modelling Communicating Agents in Timed Reasoning Logics
DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas
LEG Networks for Ranking Functions
On Herbrand's Theorem for Intuitionistic Logic
Towards Systematic Treatment of Partial Functions in Knowledge Representation
A Dynamic-Programming Based ASP-Solver
Fault Tolerance in Belief Formation Networks
Plan Selection Framework for Policy-Aware Autonomous Agents
Answer Set Planning under Action Costs
Interpolation and Beth Definability in Default Logics
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model
Voting in Combinatorial Domains: What Logic and AI Have to Say
Model Representation over Finite and Infinite Signatures
Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning
Reasoning About Quantum Systems
Note on Effective Constructibility of Resolution Proof Systems
Standard Sequent Calculi for Lewis' Logics of Counterfactuals
A Principle-Based Analysis of Bipolar Argumentation Semantics
Labelled Proofs for Quantified Modal Logic
Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Unsupervised Automata Learning via Discrete Optimization
Answer Set Programming: A Declarative Approach to Solving Search Problems
Deciding Non-fregean Identities: A Dual Tableau Approach
Nested Sequent Calculi for Conditional Logics
Computing Minimal Projection Modules for ELH ^r -Terminologies
How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic
Logical Foundations of Possibilistic Keys
: Tableaux and Resolution for Finite Abduction
Qualitative Approximate Behavior Composition
Characterizing D-WFS: Confluence and Iterated GCWA
Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings
Writing Declarative Specifications for Clauses
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
Combining Decision Procedures for Sorted Theories
Information Flow Under Budget Constraints
Informational Logic for Automated Reasoning
A Constraint Logic Approach to Modal Deduction
A Compilation of Brewka and Eiter's Approach to Prioritization
A System with Template Answer Set Programs
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
A Fault-Tolerant Default Logic
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes
Multi-agent VSK Logic
Trust Is All You Need: From Belief Revision to Information Revision
Multi-agent Logics of Dynamic Belief and Knowledge
A Modal Theory of Arrows. Arrow Logics I
A Modal Logic for Network Topologies
OLEX - A Reasoning-Based Text Classifier
PTL: A Propositional Typicality Logic
Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving
Generative Datalog and Answer Set Programming - Extended Abstract
Extensional Higher-Order Logic Programming
Anaphora and the Logic of Change
Inclusion with Repetitions and Boolean Constants - Implication Problems Revisited
Minimal Answer Computation and SOL
Stable Models of Fuzzy Propositional Formulas
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
Finding Short Tree-Like Unit Refutations in UTVPI Constraint Systems
Autoepistemic Logic of Minimal Beliefs
From Carnap's Modal Logic to Autoepistemic Logic
A Logical Semantics for Description Logic Programs
Around a Powerful Property of Circumscriptions
A Modularity Approach for a Fragment of ALC
Measure Logics for Spatial Reasoning
Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment
Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report
Chain Answer Sets for Logic Programs with Generalized Atoms
Theoretical Circumscription in Partial Modal Logic
Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
SAT Modulo Graphs: Acyclicity
McCarthy's Idea
Logic Programming Infrastructure for Inferences on FrameNet
Forgetting in ASP: The Forgotten Properties
Efficient Program Transformers for Translating LCC to PDL
Correct Grounded Reasoning with Presumptive Arguments
Preference-Based Inconsistency Assessment in Multi-Context Systems
Tools for the Investigation of Substructural and Paraconsistent Logics
Non-standard Modalities in Paraconsistent Gödel Logic
Belief Dynamics, Abduction, and Database
Analyzing Unit Read-Once Refutations in Difference Constraint Systems
Formal Methods in Robotics
Deriving Inference Rules for Terminological Logics
Completing Structured Arguments in Assumption-Based Argumentation
Extending Bell Numbers for Parsimonious Chase Estimation
Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks
A Modal Action Logic Based Framework for Organization Specification and Analysis
An Abductive Framework for Negation in Disjunctive Logic Programming
Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings
Reasoning about Knowledge on Computation Trees
Why This and Not That? A Logic-Based Framework for Contrastive Explanations
Inductive Learning of Answer Set Programs
Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks
Monodic Epistemic Predicate Logic
Distance-Based Repairs of Databases
Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario
Default Theory for Well Founded Semantics with Explicit Negation
Considerations on Updates of Logic Programs
DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Constructive Models for Contraction with Intransitive Plausibility Indifference
Transition Systems and Dynamic Semantics
A Game-Theoretic Measure of Argument Strength for Abstract Argumentation
Explaining Subsumption by Optimal Interpolation
Parallel Encodings of Classical Planning as Satisfiability
A Tool for Answering Queries on Action Descriptions
LDL-M ine : Integrating Data Mining with Intelligent Query Answering
The MyYapDB Deductive Database System
Constructive Matching - A Methodology for Inductive Theorem Proving
Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic
On Heuer's Procedure for Verifying Strong Equivalence
A Mechanised Proof System for Relation Algebra using Display Logic
Hybrid Modal Operators for Definite Descriptions
Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change
A Slicing Tool for Lazy Functional Logic Programs
On the Sensitivity of Extension Semantics to Similarity
Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback
Interpolation Theorems for Nonmonotonic Reasoning Systems
Sets of Boolean Connectives That Make Argumentation Easier
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings
Contrastive Explanations for Answer-Set Programs
On Decidability of a Logic of Gossips
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
Short Boolean Formulas as Explanations in Practice
A Query Answering Algorithm for Lukaszewicz' General Open Default Theory
Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information
Temporal Theories of Reasoning
Algorithm Selection for Paracoherent Answer Set Computation
ALC ALC : A Context Description Logic
Boosting Definability Bipartition Computation Using SAT Witnesses
A Selective Semantics for Logic Programs with Preferences
How to Use Modalities and Sorts in Prolog
Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
A Logic Programming Language for Multi-agent Systems
The Dynamic Logic of Policies and Contingent Planning
A Decidable Constructive Description Logic
Lower Bound Founded Logic of Here-and-There
Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings
Reasoning about Actions in Prioritized Default Theory
A Minimal Model Semantics for Nonmonotonic Reasoning
Infinitary Default Logic for Specification of Nonmonotonic Reasoning
Disjunctive Logic Programming, Constructivity and Strong Negation
A First Order Logic of Truth, Knowledge and Belief
Lazy Atom Discovery in Compilation-Based ASP Solving
Introducing Attempt in a Modal Logic of Intentional Action
Taking Defeasible Entailment Beyond Rational Closure
The Modal Logic Programming System MProlog
Verifying Brahms Human-Robot Teamwork Models
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic
Refined Notions of QBF Equivalences
About Deductive Generalization
A Logic for Closed-World Interaction
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
Acceptance Without Minimality
Knowledge-Theoretic Properties of Strategic Voting
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects
Three-Valued Logics for Inconsistency Handling
Incomplete Knowledge in Hybrid Probabilistic Logic Programs
The Logic of Objective Knowledge and Rational Belief
The Computational Value of Joint Consistency
Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
ACUOS 2 : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
Action Theories over Generalized Databases with Equality Constraints
Computational Complexity of Core Fragments of Modal Logics T, K4, and S4
Decidability of Interval Temporal Logics over Split-Frames via Granularity
Computing Defeasible Meta-logic
Rational Closure for Defeasible Description Logics
Memory-Saving Evaluation Plans for Datalog
Improved Second-Order Quantifier Elimination in Modal Logic
Kinetic Consistency and Relevance in Belief Revision
Encoding Action Reversibility In Planning Using Quantified ASP and Bule
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance
Literal Projection for First-Order Logic
SATMC: A SAT-Based Model Checker for Security Protocols
Extending ALC with the Power-Set Construct
Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers
A Framework for Computing Upper Bounds in Passive Learning Settings
Computing Answers for Disjunctive Logic Programs
A System for Computing Constrained Default Logic Extensions
Semantic Interpretation as Higher-Order Deduction
Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments
Extending Defeasibility for Propositional Standpoint Logics
Discovering Anomalies in Evidential Knowledge by Logic Programming
On the Expressiveness of Temporal Equilibrium Logic
Non-Monotonic Reasoning by Monotonic Means
Verdi: An Automated Tool for Web Sites Verification
Conflict-Tolerant Semantics for Argumentation Frameworks
The DLV K Planning System: Progress Report
On a Second-Order Version of Russellian Theory of Definite Descriptions
Design and Implementation of Diagnostic Strategies Using Modal Logic
A Deduction Method Complete for Refutation and Finite Satisfiability
Multi-valued GRAPPA
Declarative Formalization of Strategies for Action Selection: Applications to Planning
Strongly Equivalent Temporal Logic Programs
Introducing a Tool for Concurrent Argumentation
Facets of Distribution Identities in Probabilistic Team Semantics
Generalized DEL-Sequents
Answer Set Solver Backdoors
Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP
Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment
Revision Specifications by Means of Programs
Extending Resolution for Model Construction
Similarity Orders from Causal Equations
A Logic with Conditional Probabilities
Coala: A Compiler from Action Languages to ASP
Consistency Preservation and Crazy Formulas in BMS
Declarative Reasoning on Explanations Using Constraint Logic Programming
Building an Epistemic Logic for Argumentation
Privacy-Preserving Ontology Publishing for EL Instance Stores
A Conditional Logic for Belief Revision
GenB: A General Solver for AGM Revision
Answer Set Programming by Ant Colony Optimization
A General Approach to Multi-agent Minimal Knowledge
Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
A Two-Phase Dialogue Game for Skeptical Preferred Semantics
Refinement of Intentions
A Uniform Tableaux Method for Nonmonotonic Modal Logics
Towards Service Description Logics
Rational Closure Extension in SPO-Representable Inductive Inference Operators
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming
Action Logic and Pure Induction
An Argumentation Framework for Merging Conflicting Knowledge Bases
Well-Foundedness in Weighted Argumentation Frameworks
The DALI Logic Programming Agent-Oriented Language
An Event-Condition-Action Logic Programming Language
Temporal Reasoning over Linear Discrete Time
Translating First-Order Causal Theories into Answer Set Programming
A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics
Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$
Towards Inference and Computation Mobility: The Jinni Experiment
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
Belief Base Change Operations for Answer Set Programming
Relevant Minimal Change in Belief Update
Stable Normative Explanations: From Argumentation to Deontic Logic
Using Satisfiability for Non-optimal Temporal Planning
On the Expressive Power of Assumption-Based Argumentation
Logic Foundations of the OCL Modelling Language
On the Logic and Computation of Partial Equilibrium Models
Reasoning About Actions Using Description Logics with General TBoxes
A Matrix Characterization for MELL
On Generative Capacity of the Lambek Calculus
Automated Reasoning About Metric and Topology
Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques
\mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language
Uniform Interpolation by Resolution in Modal Logic
Implicates and Reduction Techniques for Temporal Logics
Preprocessing Argumentation Frameworks via Replacement Patterns
A Library of Anti-unification Algorithms
On Satisfiability in ATL with Strategy Contexts
GL-Based Calculi for PCL and Its Deontic Cousin
Complexity of Multi-agent Systems Behavior
Formal Explanations of Black-Box Ranking Functions
Building Proofs or Counterexamples by Analogy in a Resoluton Framework
Anti-prenexing and Prenexing for Modal Logics
Abstraction for Non-ground Answer Set Programs
Accommodative Belief Revision
Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes
Deductive Inference Operations
A Logic-Based Tool for Semantic Information Extraction
AGM Meets Abstract Argumentation: Contraction for Dung Frameworks
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver
Revising Possibilistic Knowledge Bases via Compatibility Degrees
Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract)
Semi-qualitative Reasoning about Distances: A Preliminary Report
A Dynamic View of Active Integrity Constraints
Reinforcement Learning Meets Logic Programming: Towards Explainable AI
Representation and Complexity in Boolean Games
The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs
A DPLL-Based Calculus for Ground Satisfiability Modulo Theories
Belief Reconfiguration
tabeql: A Tableau Based Suite for Equilibrium Logic
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases
Extensions for Open Default Theories via the Domain Closure Assumption
Persistence and Minimality in Epistemic Logic
The Weak Completion Semantics Can Model Inferences of Individual Human Reasoners
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings
Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference
Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
Paraconsistent Logic Programs
Opposition Frameworks
The KeY Approach: Integrating Object Oriented Design and Formal Verification
deon- B : A Language for Well-Founded Deontic Planning
Confluence Operators
Argumentative Aggregation of Individual Opinions
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus
Interpolating Parametric Array Theories
On Fibring Semantics for BDI Logics
Representing the Process Semantics in the Event Calculus
Measuring Inconsistency in Answer Set Programs
A Modal Formulation of McCain and Turner's Theory of Causal Reasoning
Weak Implication: Theory and Applications
Natural Deduction Calculus for Linear-Time Temporal Logic
Exact Approaches for the Diverse Satisfiability Problem
Explaining Actual Causation via Reasoning About Actions and Change
Expanding Logic Programs
Logics for Approximating Implication Problems of Saturated Conditional Independence
The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events
IndLog - Induction in Logic
Declarative Semantics for Inconsistent Database Programs
On Lockean Beliefs that are Deductively Closed and Minimal Change
Sorted Multi-adjoint Logic Programs: Termination Results and Applications
Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases
Representing Causal Information About a Probabilistic Process
Explanations of Unsatisfiability Beyond Minimal Subsets
Logic Programming with Integrity Constraints
Alternating-Time Temporal Logic with Default Actions
Systems for Knowledge and Beliefs
Awareness, Negation and Logical Omniscience
Cheap Boolean Role Constructors for Description Logics
Exploiting Unfounded Sets for HEX-Program Evaluation
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies
The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning
A Complete Logic for Autoepistemic Membership
Explaining Actual Causation in Terms of Possible Causal Processes
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations
Adding Priorities and Specificity to Default Logic
Games for Cognitive Agents