yusuke1997/dblp-id-title huggingface dataset:
Injecting the How into the What: Investigating a Finite Classical Logic
Explainable Clustering with CREAM
Monotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation
Fine-Grained Complexity of Temporal Problems
Strategic Abilities of Forgetful Agents in Stochastic Environments
SYSTEM JZ - How to Build a Canonical Ranking Model of a Default Knowledge Base
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994
Nominal Schemas in Description Logics: Complexities Clarified
Supporting automated deduction in first-order modal logics
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security
On Planning with Programs that Sense
Sticky Existential Rules and Disjunction are Incompatible
The PMA Revisited
A Pointless Theory of Space Based on Strong Connection and Congruence
Localizing Temporal Constraint Propagation
Determining Ramifications in the Situation Calculus
Evaluating a Modular Abox Algorithm
Implementing Modal and Relevance Logics in a Logical Framework
Randomized Problem-Relaxation Solving for Over-Constrained Schedules
Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors
A Temporal Probability Logic for Representing Actions
Correcting Hierarchical Plans by Action Deletion
A Logic for Non-Terminating Golog Programs
Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning Systems
Definitions and (Uniform) Interpolants in First-Order Modal Logic
A Logic for Specifying Metric Temporal Constraints for Golog Programs
Defeasible Reasoning with Structured Information
A Formal Theory of Spatial Reasoning
Commonsense Causal Reasoning between Short Texts
Maps Between Nonmonotonic and Conditional Logic
Proceedings of 1st Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering, co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 3-4, 2023
On Logics and Semantics of Indeterminate Causation
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases
Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract)
Formalizing Psychological Knowledge in Answer Set Programming
Automating Reasoning with Standpoint Logic via Nested Sequents
Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory
Social Roles and their Descriptions
Is There a Logic of Provability for Nonmonotonic Reasoning?
Probabilistic Description Logics for Subjective Uncertainty
Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, USA, October 29th, 2018
Reasoning with Inconsistent Knowledge using the Epistemic Approach to Probabilistic Argumentation
Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation
Contestable AI Needs Computational Argumentation
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning
Studies in Credibility-Limited Base Revision
Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks (Extended Abstract)
Complexity Results for Paraconsistent Inference Relations
On the Limits of Planning over Belief States under Strict Uncertainty
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989
Terminological Cycles and the Propositional µ-Calculus
Conservative Extensions for Existential Rules
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus
Relational Representations that Facilitate Learning
First-Order Strong Progression for Local-Effect Basic Action Theories
Axioms .2 and .4 as Interaction Axioms
Semantics for Knowledge and Communication
Foundations for Projecting Away the Irrelevant in ASP Programs
Towards Runtime Support for Norm-Governed Multi-Agent Systems
A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks
Regulative and Constitutive Norms in Normative Multiagent Systems
Knowledge Interchange Format
An Abstraction Technique for the Verification of Artifact-Centric Systems
GlossOnt: A Concept-focused Ontology Building Tool
On the Progression Semantics and Boundedness of Answer Set Programs
Spatio-temporal representation and reasoning based on RCC-8
Critical Issues in Nonmonotonic Reasoning
Cutting Diamonds: A Temporal Logic with Probabilistic Distributions
Undecidability of Plane Polygonal Mereotopology
Preferential Entailments for Circumscriptions
Contracted Temporal Equilibrium Logic
Encoding Plans in Propositional Logic
Search through Systematic Set Enumeration
Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic K n
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments
Unsupervised Novelty Characterization in Physical Environments Using Qualitative Spatial Relations
A Contraction Operator For Classical Propositional Logic
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic
Quantified Markov Logic Networks
Weighted Attacks in Argumentation Frameworks
Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation
Maximally Paraconsistent Three-Valued Logics
Equilibria in Social Belief Removal
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change
Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering
Specifying Transactions for Extended Abduction
Jokes and Belief Revision
ASP Encodings of Acyclicity Properties
ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus
The Ultimate Guide to Forgetting in Answer Set Programming
Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language
Query and Predicate Emptiness in Description Logics
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions
The Yoneda Reduction of Polymorphic Types (Abstract)
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update
Concept Dissimilarity with Triangle Inequality
Redoing the Foundations of Decision Theory
Foundations of Spatioterminological Reasoning with Description Logics
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases
Repairing Assumption-Based Argumentation Frameworks
The Temporal Logic of Token Causes
Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation
Computing All Facts Entailed By An LTL Specification
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference
On Computing Relevant Features for Explaining NBCs
Revision of an Argumentation System
Merging of Abstract Argumentation Frameworks
Formal Theories of Belief Revision
Ambiguous Language and Differences in Beliefs
Non-Monotonic Ontology-based Abstractions of Data Services
Constructive Negation in Extensional Higher-Order Logic Programming
Expressive Description Logic with Instantiation Metamodelling
An Initial Exploration of How Argumentative Information Impacts Automatic Generation of Counter-Narratives Against Hate Speech
Automatic Detection of Business Process Interference
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
Preference Aggregation with Incomplete CP-Nets
Credible Models of Belief Update
Adding Epistemic Operators to Concept Languages
A Compositional Structured Query Approach to Automated Inference
A Semantic Perspective on Omission Abstraction in ASP
An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002
A Principle-based Analysis of Abstract Agent Argumentation Semantics
Semantically-Governed Data-Aware Processes
Hunting for Tractable Languages for Judgment Aggregation
On the Logic of d-separation
Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification
Belief Revision with Sensing and Fallible Actions
Revisiting Semiring Provenance for Datalog
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996
Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation
Social Contraction and Belief Negotiation
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance
The Modular Structure of an Ontology: An Empirical Study
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge
Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
More Evaluation of Decision Procedures for Modal Logics
Integrated Data and Process Management: Finally?
Probably Approximately Optimal Derivation Strategies
Tractable Deduction in Knowledge Representation Systems
Prompt Alternating-Time Epistemic Logics
Expressive Power of Definite Descriptions in Modal Logics
Contractions Based on Optimal Repairs
Group Responsibility for Exceeding Risk Threshold
How to Tailor Representations to Different Requirements
Can You Tell the Difference Between DL-Lite Ontologies?
Intelligent Backtracking Techniques for Job Shop Scheduling
Answering Instance Queries Relaxed by Concept Similarity
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023
Reaching Agreement Through Argumentation: A Possibilistic Approach
Belief Change and Semiorders
Qualifying Number Restrictions in Concept Languages
Situation Calculus Based Programs for Representing and Reasoning about Game Structures
Between Circumscription and Autoepistemic Logic
Partial-State Progression for Stream Reasoning with Metric Temporal Logic
Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation
A Multi-Aspect Evaluation Framework for Comments on the Social Web
Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem
Default Theory of Defeasible Entailment
A Temporal Revision Model for Reasoning about World Change
Inconsistency Management Policies
Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents
Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth Kernel
Representing the Knowledge of a Robot
On the Small-Scope Hypothesis for Testing Answer-Set Programs
Formalising Temporal Constraints on Part-Whole Relations
The Complexity of Concept Languages
On Strongest Necessary and Weakest Sufficient Conditions
An Alternative Combination of Bayesian Networks and Description Logics
Action Model Learning with Guarantees
On the Difference between Updating a Knowledge Base and Revising It
Formulating diagnostic problem solving using an action language with narratives and sensing
Exchanging Description Logic Knowledge Bases
Changing Observations in Epistemic Temporal Logic
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs
Knowledge Sharing: A Feasible Dream
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules
Learning to Ground Existentially Quantified Goals
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning
Revising General Knowledge Bases in Description Logics
Making Repairs in Description Logics More Gentle
A Logic of Arbitrary and Indefinite Objects
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle
A Layered Graph Representation for Complex Regions
Reasoning with Logical Proportions
Description Logics with Circumscription
Projection in Decomposed Situation Calculus
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
Signature-Based ABox Abduction in ALC is Hard
A Gödel Calculus for Linear Temporal Logic
Bounding Introspection in Nonmonotonic Logic
Borda, Cancellation and Belief Merging
Defining Defense and Defeat in Abstract Argumentation From Scratch - A Generalizing Approach
The Four Dimensions of Artifacts
KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000
Logic-based Composition of Business Process Models
Belief, Metaphorically Speaking
Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and Usable
Declarative Solver Development: Case Studies
Formal Theory Building Using Automated Reasoning Tools
Counterfactual Reasoning via Grounded Distance
Finding Admissible and Preferred Arguments Can be Very Hard
On Eliminating Disjunctions in Stable Logic Programming
An Experimental Analysis of Possibilistic Default Reasoning
Tractable Subclasses of the Point-Interval Algebra: A Complete Classification
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation
EGuaranteeNash for Boolean Games Is NEXP-Hard
S4 as the Conditional Logic of Nonmonotonicity
Implemented Knowledge Representation and Reasoning Systems: An Endangered Species?
Exploiting Treewidth for Counting Projected Answer Sets
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming
Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL
Ontologies: What Are They, and Where's The Research?
Revision: an application in the framework of GIS
Using Default and Causal Reasoning in Diagnosis
Conflict-Based Merging Operators
Inheritance in Automated Planning
Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics
Lost in the Crowd: k-unmatchability in Anonymized Knowledge Graphs
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs
Naming and Identity in a Multi-Agent Epistemic Logic
On the Relationship between Shy and Warded Datalog+/-
A Simple Solution to the Yale Shooting Problem
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination
Modelling Combinatorial Auctions in Linear Logic
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
Complexity Results for Independence and Definability in Propositional Logic
Accessible Algorithms for Applied Argumentation
The Topology of Surprise
A General Approach to Specificity in Default Reasoning
Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs
Declarative Knowledge Representation in Planning and Scheduling
Normalisations of Existential Rules: Not so Innocuous!
Towards Belief Contraction without Compactness
An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning
Efficient Argumentation for Medical Decision-Making
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, USA, October 25-29, 1992
DatalogMTL with Negation Under Stable Models Semantics
Axiomatizing the Cyclic Interval Calculus
Did Newton Solve the "Extended Prediction Problem"?
Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract)
Spatial Reasoning with Propositional Logics
Iterated Belief Change, Computationally
Resolving Inconsistencies by Variable Forgetting
A Minimal Deductive System for RDFS with Negative Statements
Argument Systems: A Uniform Basis for Nonmonotonic Reasoning
Semantic Preferential Subsumption
Specifying Role Interaction in Concept Languages
Certain Answers as Objects and Knowledge
On the Complexity of Planning Operator Subsumption
On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning
Worst-Case Optimal Reasoning with Forest Logic Programs
A Formal Basis for Analogical Reasoning
Propositional Logic and One-Stage Decision Making
Probabilistic Synthesis and Verification for LTL on Finite Traces
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
On the Reversibility of Actions in Planning
Compositional Belief Merging
What's in a Model? Epistemological Analysis of Logic Programming
Datalog+/-: Questions and Answers
Implementations and Research: Discussions at the Boundary
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo
Boolean Network Learning in Vector Spaces for Genome-wide Network Analysis
Relating Autoepistemic and Default Logics
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning
If Nothing Is Accepted - Repairing Argumentation Frameworks
Pointwise Circumscription Revisited
From Qualitative Choice Logic to Abstract Argumentation
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks
On Training Neurons with Bounded Compilations
An Environment for Merging and Testing Large Ontologies
A Logical Approach to Factoring Belief Networks
Preferred Answer Sets for Extended Logic Programs
A First-Order Theory of Communicating First-Order Formulas
New Advances in Sequential Diagnosis
Joint Revision of Beliefs and Intention
Knowledge Representation Requirements for Description-Based Communication
Regular Open APIs
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design
Reasoning with Analogical Representations
Reachability Analysis for Neural Agent-Environment Systems
Foundations for Knowledge-Based Programs using ES
High Performance Query Answering over DL-Lite Ontologies
Solving PP PP -Complete Problems Using Knowledge Compilation
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results
Inputs, Outputs, and Composition in the Logic of Information Flows
Online Situation-Determined Agents and their Supervision
Qualitative Decision Making with Bipolar Information
Causality and the Qualification Problem
Path-Based Identification Constraints in Description Logics
Valuation-ranked preferential model
Directional Resolution: The Davis-Putnam Procedure, Revisited
Abductive Visual Perception with Feature Clouds
Computing Cores for Existential Rules with the Standard Chase and ASP
Act for Your Duties but Maintain Your Rights
Distance Semantics for Relevance-Sensitive Belief Revision
On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc
On Laws and Counterfactuals in Causal Reasoning
Beyond Simple Images: Human Knowledge-Guided GANs for Clinical Data Generation
Making the Difference: A Subtraction Operation for Description Logics
Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription
The Combined Approach to Query Answering in DL-Lite
Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints
On Syntactic Forgetting with Strong Persistence
Ontology-Mediated Querying on Databases of Bounded Cliquewidth
Ranking Arguments With Compensation-Based Semantics
MTLearn: Extracting Temporal Rules Using Datalog Rule Learners
Towards a Logic of Meta-Analysis
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches
Action Representation for Interpreting Purpose Clauses in Natural Language Instructions
A Preference-Based Approach to Defeasible Deontic Inference
On Expressibility of Non-Monotone Operators in SPARQL
Diagnosis as Planning Revisited
A Fuzzy Approach to Flexible Case-based Querying: Methodology and Experimentation
Gradual Semantics Accounting for Similarity between Arguments
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
On the Difference between Merging Knowledge Bases and Combining them
Temporal Reasoning and Narrative Conventions
ORLA: Learning Explainable Argumentation Models
A New Formalisation of Subsumption in Frame-Based Representation Systems
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
The Parameterized Complexity of Reasoning Problems Beyond NP
A Discussion of Challenges in Benchmark Generation for Abstract Argumentation
A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper)
Meaning and Links: A Semantic Odyssey
Independence and D-separation in Abstract Argumentation
Learning Interpretable Heuristics for WalkSAT
Paracoherent Answer Set Programming
Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning
Exploiting Natural Language for Knowledge Representation and Reasoning (Abstract)
Imperfect Information in Reactive Modules Games
Constrained Argumentation Frameworks
dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning
Safe Learning of Lifted Action Models
A Unified Treatment for Knowledge Dynamics
Rational Verification for Probabilistic Systems
Scaling Up Goal Recognition
Explainable Representations for Relation Prediction in Knowledge Graphs
Logical representation of preferences for group decision making
Defaults and Normality in Causal Structures
Matching Concept Descriptions with Existential Restrictions
Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework
Reasoning with Contextual Knowledge and Influence Diagrams
A Parameterized Complexity View on Description Logic Reasoning
Knowledge-Based Transfer Learning Explanation
The Role of Reversible Grammars in Translating Between Representation Languages
Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation
Semantical Considerations for a Logic of Actions: An Imperative Manifesto
Non-Deterministic Semantics for First-Order Paraconsistent Logics
Unfolding Partiality and Disjunctions in Stable Model Semantics
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction
Qiana: A First-Order Formalism to Quantify over Contexts and Formulas
Situation Calculus and Causal Logic
Total Order vs. Partial Order Planning: Factors Influencing Performance
Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells
Managing Disjunction for Practical Temporal Reasoning
Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability
On the Computational Intelligibility of Boolean Classifiers
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics
Modular Representation of a Business Process Planner