yusuke1997/dblp-id-title huggingface dataset:
Quantifier Elimination in Second-Order Predicate Logic
Natural Actions, Concurrency and Continuous Time in the Situation Calculus
Open-World Probabilistic Databases
A Reactive Planner that Uses Explanation Closure
Vienna Summer of Logic
Approximating Certainty in Querying Data and Metadata
Actions as Special Cases
Properties of Module Notions and Atomic Decomposition
Spatial representation of spatial relationship knowledge
Characteristics of Multiple Viewpoints in Abstract Argumentation
A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom
The DARPA Knowledge Sharing Effort: A Progress Report
Belief Contraction in Non-classical logics as Hyperintensional Belief Change
A Tree Decomposition Algorithm for Conceptual Graph Projection
Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks
Panel: Achieving Large Scale Knowledge Sharing
Abstract Normative Systems: Semantics and Proof Theory
An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases
Experimental Results on Learning Soft Constraints
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation
RS Theory: A Really Skeptical Theory of Inheritance with Exceptions
A Strategy for Revising Default Theory Extensions
Belief Change on Rational Rankings
Strategic Advice for Hierarchical Planners
Representing Spatial Vagueness: A Mereological Approach
Lack of Finite Characterizations for the Distance-Based Revision
View-Based Query Answering over Description Logic Ontologies
Foundations for Generalized Planning in Unbounded Stochastic Domains
Metalogic for Knowledge Representation
Logics of Preference when There Is No Best
Distributed Nonmonotonic Multi-Context Systems
Building Models of Prediction Theories
Introducing Temporal Stable Models for Linear Dynamic Logic
Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions
A Logic-Based Formulation of Active Visual Perception
An Architecture for Integrating Reasoning Paradigms
Default Reasoning System DeReS
Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006
On the Progression of Knowledge in Multiagent Systems
Heuristic Guided Optimization for Propositional Planning
Using an Expressive Description Logic: FaCT or Fiction?
Cyclical and Granular Time Theories as Subsets of the Herbrand Universe
On Egalitarian Belief Merging
Description Logics with Abstraction and Refinement
Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited
A Model for Reasoning about Topologic Relations between cyclic intervals
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses
Search Strategy Simulation in Constraint Booleanization
On Unit-Refutation Complete Formulae with Existentially Quantified Variables
Rewriting Concepts Using Terminologies
Towards Explainable Inference about Object Motion using Qualitative Reasoning
Description Logics and their Applications
A Family of Decidable Bi-intuitionistic Modal Logics
Belief Revision: A Critique
Actions and Other Events in Situation Calculus
Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation
Adding Numbers to the SHIQ Description Logic: First Results
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
Limiting Logical Violations in Ontology Alignnment Through Negotiation
Qualitative Intercausal Relations, or Explaining "Explaining Away"
Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems
Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict
Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008
Utility Independence in a Qualitative Decision Theory
Minimal Change in AGM Revision for Non-Classical Logics
Credibility-Limited Revision Operators in Propositional Logic
DatalogMTL over the Integer Timeline
Forgetting in Action
Probabilistic Sentential Decision Diagrams
Peer-to-Peer Query Answering with Inconsistent Knowledge
UCPOP: A Sound, Complete, Partial Order Planner for ADL
Strategic Coalitions in Systems with Catastrophic Failures
Bayesian Deduction with Subjective Opinions
Logical Distillation of Graph Neural Networks
A Logical Account of Perception Incorporating Feedback and Expectation
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project
Eliminating Redundant Actions from Plans Using Classical Planning
Argumentative Reasoning in ASPIC+ under Incomplete Information
A Planning Algorithm not based on Directional Search
Iterated Belief Change in the Situation Calculus
Non-Rigid Designators in Modal and Temporal Free Description Logics
The Logic of Epistemic Inconsistency
A Compilation of Succinctness Results for Arithmetic Circuits
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
Hard Problems for Simple Default Logics
Planning as Temporal Reasoning
Ontology-guided Semantic Composition for Zero-shot Learning
Negation Without Negation in Probabilistic Logic Programming
A Logic of Motion
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice
Grounding and the Expression of Belief
Novel Semantical Approaches to Relational Probabilistic Conditionals
Syntactic Equality in Knowledge Representation and Reasoning
Preference Relations by Approximation
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism
Incorporating Relevance in Epistemic States in Belief Revision
Region-Based Merging of Open-Domain Terminological Knowledge
Integrating Efficient Model-Learning and Problem-Solving Algorithms in Permutation Environments
Queries With Exact Truth Values in Paraconsistent Description Logics
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination
Stable Models of Multi-Valued Formulas: Partial versus Total Functions
Simultaneous Learning and Prediction
Characterizing Equivalence Notions for Labelling-Based Semantics
A Logic Based Language for Parametric Inheritance
Logical Foundations of Negotiation: Strategies and Preferences
Rational Belief Revision
A Novel Automata-Theoretic Approach to Timeline-Based Planning
Psychological Constraints on Plausible Default Inheritance Reasoning
A SAT-Based Approach For PSPACE Modal Logics
A Qualitative Theory of Motion Based on Spatio-Temporal Primitives
Stable and Supported Semantics in Continuous Vector Spaces
Updating Belief in Arguments in Epistemic Graphs
Parallelisable Existential Rules: a Story of Pieces
Weak-Ensconcement for Shielded Base Contraction
Nonmonotonic Inferences Based on Expectations: A Preliminary Report
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
On Efficiently Explaining Graph-Based Classifiers
Reformulating Temporal Plans for Efficient Execution
Expressive Power and Succinctness of Propositional Languages for Preference Representation
Long-Term Maintanability of Deployed Knowledge Representation Systems
Taxonomic Syntax for First Order Inference
Towards a Theory of Access-Limited Logic for Knowledge Representation
Bayesian Model Selection in Statistical Construction of Justification
Improving the Forward Chaining Algorithm for Conceptual Graphs Rules
Continuous Dynamical Systems for Weighted Bipolar Argumentation
Connecting Abstract Description Systems
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic
ADP: An Argumentation-based Decision Process Framework Applied to the Modal Shift Problem
Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems
Reasoning over Attack-incomplete AAFs in the Presence of Correlations
Anti-Unification of Concepts in Description Logic EL
Preference Modeling by Weighted Goals with Max Aggregation
On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length
A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases
Practical Abstraction for Model Checking of Multi-Agent Systems
Reasoning about Knowledge of Unawareness
Approximate Inference for Neural Probabilistic Logic Programming
Risk-Sensitive Planning with Probabilistic Decision Graphs
On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA
Knowledge Representation Issues in Integrated Planning and Learning Systems (Abstract)
On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning
The Realizability of Revision and Contraction Operators in Epistemic Spaces
Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis
Containment of Conjunctive Regular Path Queries with Inverse
Tractable Closed World Reasoning with Updates
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions
Anything Can Happen: On Narratives and Hypothetical Reasoning
A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases
Modalities Over Actions, I. Model Theory
Efficiently Computable Datalog∃ Programs
Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions
Bipolar Abstract Argumentation with Dual Attacks and Supports
Fixpoints and Iterated Updates in Abstract Argumentation
Weighted Merging of Propositional Belief Bases
RIQ and SROIQ Are Harder than SHOIQ
Belief Change and Base Dependence
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL
A²CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles
A Generator of Hard 2QBF Formulas and ASP Programs
Fixed-Parameter Tractability of Dependency QBF with Structural Parameters
Standpoint Linear Temporal Logic
Quantifiers and Operations on Modalities and Contexts
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
Knowledge Representation and Incorporation in a Hybrid System with Feedback
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology
A Knowledge-based Approach to the Configuration of Business Process Model Abstractions
Argumentation as a Framework for Interactive Explanations for Recommendations
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
On Redundant Topological Constraints
Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming
Generalized Temporal Inference via Planning
Indoor Environment Classification and Perceptual Matching
Towards Fixed-Parameter Tractable Algorithms for Argumentation
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains
Gaussian Elimination Meets Maximum Satisfiability
On Combining Collective Entity Resolution and Repairing (Extended Abstract)
Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction
Multidimensional Mereotopology
Strategic Reasoning in Automated Mechanism Design
Temporal Logic Monitoring Rewards via Transducers
Finite Entailment of UCRPQs over ALC Ontologies
Ontologies for Dates and Duration
Polynomial Combined Rewritings for Existential Rules
The Complexity of Model Checking for Knowledge Update
Modeling an Agent's Incomplete Knowledge During Planning and During Execution
Bisimulations on Data Graphs
A Representation Theorem for Causal Decision Making
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
Flexible Robotic Assembly Based on Ontological Representation of Tasks, Skills, and Resources
Narratives as Programs
Lightweight Parallel Multi-Agent Epistemic Planning
Action Language mA* with Higher-Order Action Observability
Acyclicity Conditions and their Application to Query Answering in Description Logics
Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity
A Multi-Agent System for Addressing Cybersecurity Issues in Social Networks
One Hundred Prisoners and a Lightbulb - Logic and Computation
A Preference Semantics for Defaults in Terminological Logics
Advancing Interactive Explainable AI via Belief Change Theory
Temporal Constraint Networks
Decidable Reasoning in a Logic of Limited Belief with Function Symbols
Choosing What to Believe - New Results in Selective Revision
Only-Knowing Meets Nonmonotonic Modal Logic
Accessibility in Logics of Explicit Belief
Dynamic Deontic Logic for Permitted Announcements
Towards Parallel Nonmonotonic Reasoning with Billions of Facts
Abductive Reasoning in a Paraconsistent Framework
Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
On the Justification of Statements in Argumentation-based Reasoning
Knowledge Engineering by Large-Scale Knowledge Reuse - Experience from the Medical Domain
Generating Tests Using Abduction
Paradoxes of Multiple Elections: An Approximation Approach
Abducing Qualitative Spatio-Temporal Histories from Partial Observations
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
Balancing Expressiveness and Inexpressiveness in View Design
Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach
Immortal: A Model-Based Belief Revision System
An Optimization Approach to Robust Goal Obfuscation
Ontology-Based Monitoring of Dynamic Systems
Predicting Performance of OWL Reasoners: Locally or Globally?
Achieving Completeness in Bounded Model Checking of Action Theories in ASP
New Results on Local Inference Relations
From Preference Representation to Combinatorial Vote
Cardinalities and Well Orderings in a Common-Sense Set Theory
Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions
Query Answering for Rough EL Ontologies
Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems
Representing Structured Objects using Description Graphs
An Episodic Knowledge Representation for Narrative Texts
Preference-Based Abstract Argumentation for Case-Based Reasoning
Abstraction in Assumption-based Argumentation
Declarative & Procedural Goals in Intelligent Agent Systems
A Three-valued Approach to Strategic Abilities under Imperfect Information
Default Logic as a Species of Causal Reasoning
Proving Goal Achievability
Panel: Are Upper-Level Ontologies Worth the Effort?
Specification and Evaluation of Preferences Under Uncertainty
Assertional Default Theories: A Semantical View
Finite Model Reasoning in Horn Description Logics
Reasoning about Equilibria in Game-Like Concurrent Systems
The PMA and Relativizing Minimal Change for Action Update
CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation Frameworks
Dialectical Reconciliation via Structured Argumentative Dialogues
Ordinal Polymatrix Games with Incomplete Information
Discovering State Invariants
Explainable Planning Using Answer Set Programming
Knowledge Discovery by Reversing Inductive Knowledge Representation
Stable Models of Formulas with Intensional Functions
Synthesizing Best-effort Strategies under Multiple Environment Specifications
Ordered Epistemic Logic: Semantics, Complexity and Applications
In search of the right extension
Ontology Partitioning Using E-Connections Revisited (Extended Abstract)
From Hybrid Systems to Universal Plans Via Domain Compilation
Interval Methods for Judgment Aggregation in Argumentation
Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation
On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents
Mutual Belief Revision (Preliminary Report)
Representing Default Rules in Possibilistic Logic
Answer Sets in General Nonmonotonic Reasoning (Preliminary Report)
The Computational Value of Nonmonotonic Reasoning
Skeptical Reason Maintenance is Tractable
Clustering Temporal Intervals To Generate Reference Hierarchies
Learning First-Order Representations for Planning from Black Box States: New Results
Stream Reasoning with Answer Set Programming: Preliminary Report
Dynamic Causal Calculus
Implicit Constraints for Qualitative Spatial and Temporal Reasoning
LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers
Revisiting Inferential Benchmarks for Knowledge Graph Completion
Query-Based Comparison of Mappings in Ontology-Based Data Access
A Logic for Approximate Reasoning
Iterated Revision as Prioritized Merging
The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability
Decidability and Complexity of Some Finitely-valued Dynamic Logics
Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations
Somebody Knows
Operator-Based Semantics for Choice Programs: Is Choosing Losing?
Learning Generalized Policies in Planning Using Concept Languages
The Representation of Discrete Multi-resolution Spatial Knowledge
Semantics for Dynamic Syntactic Epistemic Logics
Boolean Role Inclusions in DL-Lite With and Without Time
Complexity Results for Default Reasoning from Conditional Knowledge Bases
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics
Rediscovering Argumentation Principles Utilizing Collective Attacks
Nested Regular Path Queries in Description Logics
Undecidability of Fuzzy Description Logics
Ranking Sets of Possibly Interacting Objects Using Shapley Extensions
On the Logic of Merging
A Logical Account of Institutions: From Acceptances to Norms via Legislators
Knowledge Representation for Cognition- and Learning-enabled Robot Manipulation
Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning
Strong Equivalence of Non-Monotonic Temporal Theories
On Positive Occurrences of Negation as Failure
Analyzing Differentiable Fuzzy Implications
A Generic Approach for Knowledge-Based Information-Site Selection
An Abductive Reasoning Approach to the Belief Bias Effect
Measuring Inconsistency over Sequences of Business Rule Cases
A Psychology-Inspired Approach to Automated Narrative Text Comprehension
State-Boundedness in Data-Aware Dynamic Systems
On First-Order μ-Calculus over Situation Calculus Action Theories
Automated Reformulation of Specifications by Safe Delay of Constraints
Do Computers Need Common Sense?
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
A Spatial Logic based on Regions and Connection
How to Progress Beliefs in Continuous Domains
Satisfiability Checking of Strategy Logic with Simple Goals
An Abstract Architecture for Rational Agents
Entity Type Recognition - Dealing with the Diversity of Knowledge
Modal Semantics for Knowledge Bases Dealing with Vague Concepts
Decidable Gödel Description Logics without the Finitely-Valued Model Property
The KR System dlv: Progress Report, Comparisons and Benchmarks
Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata
Partition-Based Logical Reasoning
Synthesis under Assumptions
Discontinuity-Free Decision Support with Quantitative Argumentation Debates
On Notions of Causality and Distributed Knowledge
A Comparative Study of Text Representations for French Real-Estate Classified Advertisements Information Extraction
Using Defeasible Information to Obtain Coherence
Distance Based Merging: A General Framework and some Complexity Results
Relational Graph Convolutional Networks Do Not Learn Sound Rules
REVISE: An Extended Logic Programming System for Revising Knowledge Bases
Relaxing and Restraining Queries for OBDA - Extended Abstract
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints
An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets
Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk)
Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning
Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices
A Unified Framework for Class-Based Representation Formalisms
Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination
golog++ : An Integrative System Design
Interactive Explanations by Conflict Resolution via Argumentative Exchanges
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge
On the Limitations of Ordinal Approaches to Decision-making
Interpreting Topological Logics over Euclidean Spaces
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases
On Mechanization of Thought Processes (Extended Abstract)
Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling
All You Ever Wanted to Know about Tweety (But Were Afraid to Ask)
Spatial Reasoning about String Loops and Holes in Temporal ASP
Model Checking Unbounded Artifact-Centric Systems
General Game Playing With State-Independent Communication
A General Semantic Model of Negation in Natural Language: Representation and Inference
Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report
Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration
Query Containment in Description Logics Reconsidered
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness
ArguCast: A System for Online Multi-Forecasting with Gradual Argumentation
Integrating Action Calculi and AgentSpeak: Closing the Gap
Situations, Si! Situation Terms, No!
Taxonomy of Improvement Operators and the Problem of Minimal Change
An Ontology of Meta-Level Categories
Answer Set Programming with Composed Predicate Names
Axiomatic Foundations of Acceptability Semantics
Satisfiability Algorithms and Finite Quantification
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Planning with Prioritized Goals
Conjunctive Query Answering with OWL 2 QL
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
How to Progress a Database (and Why) I. Logical Foundations
A SAT-based Decision Procedure for ALC
Enforcing Sets of Formulas in Structured Argumentation
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems
Causation and Causal Conditionals
Partial Programs
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems
Knowledge Base Embeddings: Semantics and Theoretical Properties
Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning
Syntax Splitting for Iterated Contractions
Procedural Reasoning in Constraint Satisfaction
Symbol Elimination and Applications to Parametric Entailment Problems (Abstract)
Explainable and Argumentation-based Decision Making with Qualitative Preferences for Diagnostics and Prognostics of Alzheimer's Disease
Planning with sensing, concurrency, and exogenous events: logical framework and implementation
From Justifications Towards Proofs for Ontology Engineering
Knowledge Compilation in the Multi-Agent Epistemic Logic Kn
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles
Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge
The Even More Irresistible SROIQ
Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough
Querying Circumscribed Description Logic Knowledge Bases
Representing Policies for Quantified Boolean Formulae