yusuke1997/dblp-id-title huggingface dataset:
On the Frontier between Arbitration and Majority
Combining the Causal Judgments of Experts with Possibly Different Focus Areas
Generalized Multi-Context Systems
Relational Preference Rules for Control
A Temporal Logic of Strategic Knowledge
Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods
GAI Networks for Utility Elicitation
A Framework for Representing and Characterizing Semantics of Logic Programs
On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events
Representing and Reasoning with Event Models for Epistemic Planning
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
ABA+: Assumption-Based Argumentation with Preferences
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020
Revision and Conditional Inference for Abstract Dialectical Frameworks
Variable-Strength Conditional Preferences for Matchmaking in Description Logics
Complexity of Abduction in the EL Family of Lightweight Description Logics
An ExpTime Upper Bound for ALC with Integers
On Partial Information and Contradictions in Probabilistic Abstract Argumentation
Tracking Beliefs and Intentions in the Werewolf Game
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On
Two AGM-Style Characterizations of Model Repair
How Far Can We 'C'? Defining a 'Doughnut' Using Connection Alone
Concept Contraction in the Description Logic EL
Teaching Knowledge Representation: Challenges and Proposals
Choices and their Consequences - Explaining Acceptable Sets in Abstract Argumentation Frameworks
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016
A Lexicographic Inference for Partially Preordered Belief Bases
Unsupervised Grounding of Textual Descriptions of Object Features and Actions in Video
Equilibrium Description Logics: Results on Complexity and Relations to Circumscription
From Here to Human-Level AI
Probabilistic Abduction without Priors
A Higher-Order Semantics for Metaquerying in OWL 2 QL
Scenario Update Applied to Causal Reasoning
Aggregative Deontic Detachment for Normative Reasoning
Measuring Similarity between Logical Arguments
An Argumentation-theoretic Approach to Reasoning with Specificity
Concurrency Control for Knowledge Bases
Towards a Framework for Visual Intelligence in Service Robotics: Epistemic Requirements and Gap Analysis
Verification of Semantic Key Point Detection for Aircraft Pose Estimation
Navigability with Bounded Recall
PATCHCOMM: Using Commonsense Knowledge to Guide Syntactic Parsers
Continuous Motion in Discrete Space
WOLED: A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under Uncertainty
On the Complexity of Conditional Logics
A Representation Theorem for Preferential Logics
On Simple Expectations and Observations of Intelligent Agents: A Complexity Study
Exact Learning of Lightweight Description Logic Ontologies
On Merging Strategy-Proofness
On the complexity of reasoning about repeating events
Approximation in Concept Description Languages
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018
How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic
Succinctness of Languages for Judgment Aggregation
Stable Model Semantics for Guarded Existential Rules and Description Logics
Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment
Synthesizing Information-Tracking Automata from Environment Descriptions
Belief Revision of Logic Programs under Answer Set Semantics
The Combined Approach to Query Answering in Horn-ALCHOIQ
Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey Test
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs
Modal Nonmonotonic Logics: Ranges, Characterization, Computation
Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming
Characterizing Strong Equivalence for Argumentation Frameworks
How to Approximate Ontology-Mediated Queries
A Logical Framework to Represent and Reason about Graded Preferences and Intentions
Measuring Inconsistency through Minimal Inconsistent Sets
A Knowledge Level Analysis of Belief Revision
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Making Decisions through Preference-Based Argumentation
Shapley Inconsistency Values
Complexity-Sensitive Decision Procedures for Abstract Argumentation
Argumentative Causal Discovery
Dynamic Awareness
Updating Description Logic ABoxes
Guiding Planning Engines by Transition-Based Domain Control Knowledge
Reasoning About Infinite Random Structures with Relational Bayesian Networks
Existential Abstraction on Argumentation Frameworks via Clustering
Interpolants and Explicit Definitions in Extensions of the Description Logic EL
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework
Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs
iCon: A Diagrammatic Theorem Prover for Ontologies
Nondeterministic Strategies and their Refinement in Strategy Logic
Belief Extrapolation (or how to Reason About Observations and Unpredicted Change)
Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments
Actual Possibilities
Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning
Computing Knowledge Base Updates
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics
Reasoning about Actions and Planning in LTL Action Theories
Linking Iterated Belief Change Operations to Nonmonotonic Reasoning
A Bipolar Framework for Combining Beliefs about Vague Propositions
A Computational Account for a Description Logic of Time and Action
Distinguishability in Abstract Argumentation
Conditional Objects as Nonmonotonic Consequence Relations: Main Results
Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions
Extension Enforcement under Grounded Semantics in Abstract Argumentation
Axiomatizing Qualitative Process Theory
Qualitative Representation and Reasoning over Direction Relations across Different Frames of Reference
Semi-Stable Semantics for Abstract Dialectical Frameworks
Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences
Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure
Condensed Representations for Inductive Logic Programming
Disjunctive Ordered Logic: Semantics and Expressiveness
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming
On the Progression of Belief
Area Chairs and Program Committee
Open Relation Extraction with Non-existent and Multi-span Relationships
Combining Logic and Natural Language Processing to Support Investment Management
Infinite Loops in Finite Time: Some Observations
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules
Evidence and Belief
On Finite Entailment of Non-Local Queries in Description Logics
Plan-Based Terminological Reasoning
Belief Revision and Default Reasoning: Syntax-Based Approaches
Finite Controllability for Ontology-Mediated Query Answering of CRPQ
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning
Loop Restricted Existential Rules and First-Order Rewritability for Query Answering
Property Directed Reachability for Planning Revisited
Qualitative Simulation with Multivariate Constraints
Qualitative Probabilistic Matching with Hierarchical Descriptions
Compound Conditionals as Random Quantities and Boolean Algebras
Propositional and Predicate Logics of Incomplete Information
Abstract Dialectical Frameworks
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
Belief Revision within Fragments of Propositional Logic
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic
On Measuring Plan Quality (A Preliminary Report)
A First-Order Logic of Limited Belief Based on Possible Worlds
A Polynomial-Time Algorithm for Constructing k-Maintainable Policies
Approximate Objects and Approximate Theories
Modeling Affordances and Functioning for Personalized Robotic Assistance
A Minimality Maintenance System
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation
The Role of Higher Order Similarity in Induction and Concept Formation
Probabilistic Coalition Structure Generation
Revision by Conditionals: From Hook to Arrow
Diagnosis for Post Concept Drift Decision Trees Repair
Ontology Evolution Under Semantic Constraints
Characterization of Semantics for Argument Systems
Dense Time and Temporal Constraints with !=
Logical Separability of Incomplete Data under Ontologies
Skolemization for Weighted First-Order Model Counting
An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States
An AI Approach to Large-Scale Medical Appointment (Re)Scheduling Using ASP
Plausible Reasoning about EL-Ontologies using Concept Interpolation
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates
Characterizing Updates in Dynamic Epistemic Logic
Learning General Policies with Policy Gradient Methods
A Class of df-Consistencies for Qualitative Constraint Networks
A Dynamic Logic Framework for Abstract Argumentation
Extending Consequence-Based Reasoning to SRIQ
Dynamic Logic on Games with Structured Strategies
DL+log: Tight Integration of Description Logics and Disjunctive Datalog
Analogy as a Constrained Partial Correspondence Over Conceptual Graphs
Semantical Foundations of Spatial Logics
Ontology Generation through the Fusion of Partial Reuse and Relation Extraction
Understanding Ontological Levels
Characterizations and Classifications of Argumentative Entailments
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures
Complexity Results for Explanations in the Structural-Model Approach
Extending Unification in EL Towards General TBoxes
From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules
Quantifying Conflicts for Spatial and Temporal Information
Conversational Events and Discourse State Change: A Preliminary Report
Conditional Objects and Non-Monontonic Reasoning
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities
Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility
An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract)
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014
From Preference Logics to Preference Languages, and Back
A MIS Partition Based Framework for Measuring Inconsistency
Biconsequence Relations for Nonmonotonic Reasoning
Strong Equivalence of Qualitative Optimization Problems
Pragmatic Logics
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
Improvement Operators
A Theory of Vague Adjectives Grounded in Relevant Observables
Adapting Golog for Composition of Semantic Web Services
Efficient Dominance Testing for Unconditional Preferences
Token-based Execution Semantics for Multi-Agent Epistemic Planning
Mathematical Foundations for Joining Only Knowing and Common Knowledge
Assessments of Ramification Methods that Use Static Domain Constraints
A Structural Approach to Default Reasoning
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions
Monotone Rewritability and the Analysis of Queries, Views, and Rules
Kernel Contraction and the Order of Relevance
Separating Data Examples by Description Logic Concepts with Restricted Signatures
Decision-Theoretic GOLOG with Qualitative Preferences
Some Complexity Results on Inconsistency Measurement
The Semantics of Gringo and Infinitary Propositional Formulas
Learning Typed Rules over Knowledge Graphs
Combining Answer Set Programming with Description Logics for the Semantic Web
Online Grounding of Symbolic Planning Domains in Unknown Environments
Observation Expectation Reasoning in Agent Systems
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis
Representation Independence of Nonmonotonic Inference Relations
On the Epistemic Logic of Incomplete Argumentation Frameworks
Tractable Explaining of Multivariate Decision Trees
Appropriate Causal Models and Stability of Causation
Spatial Locations via Morpho-Mereology
Logic Based Modelling of Goal-Directed Behavior
Satisfiability planning with Causal Theories
Unique Characterisability and Learnability of Temporal Instance Queries
Honesty in Partial Logic
Query Expressibility and Verification in Ontology-Based Data Access
Situated Control Rules
Generalized Planning with Loops under Strong Fairness Constraints
Explanatory Diagnosis: Conjecturing Actions to Explain Observations
Computational Considerations in Reasoning about Action
The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits
OntoMorph: A Translation System for Symbolic Knowledge
Computing Approximate Diagnoses By Using Approximate Entailment
Hyperintensional Partial Meet Contractions
Knowledge-Preserving Certain Answers for SQL-like Queries
On Multiagent Autoepistemic Logic : An Extrospective View
Finite LTL Synthesis with Environment Assumptions and Quality Measures
Which tool to use? Grounded reasoning in everyday environments with assistant robots
Sequential, Temporal GOLOG
Geometric Foundations for Interval-Based Probabilities
Stream Reasoning with Cycles
State Defaults and Ramifications in the Unifying Action Calculus
Reasoning with Justifiable Exceptions in Contextual Hierarchies
Principles of Metareasoning
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information
Generation of Diagnostic Knowledge by Discrete-Event Model Compilation
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics
Knowledge Maps of Web Graphs
Representing and Reasoning about Time Travel Narratives: Foundational Concepts
A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning
Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version)
Practical Reasoning with Nominals in the EL Family of Description Logics
Combining Narratives
Active Disjunctive Constraint Acquisition
Strongly Analytic Calculi for KLM Logics with SMT-Based Prover
Constraint Tightness versus Global Consistency
Minimality Postulates for Ontology Revision
Analogical Reasoning, Defeasible Reasoning, and the Reference Class
Dataspaces: Co-existence with Heterogeneity
Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions
Easy OWL Drawing with the Graphol Visual Ontology Language
On Chronicles: Representation, On-line Recognition and Learning
From Acceptance to Rejection in Abstract Argumentation
Incentive Design for Rational Agents
On the Relation Between Default and Modal Consequence Relations
Universal and Uniform Action Reversibility
Solutions to a Paradox of Perception with Limited Acuity
Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators
Approximation and Difference in Description Logics
On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena
Belief Ascription and Mental-Level Modelling
The Semantic Web: KR's Worst Nightmare?
Execution Monitoring of High-Level Robot Programs
Constructive Logic Covers Argumentation and Logic Programming
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting
Parallel Solutions to Constraint Satisfaction Problems
Proceedings of the 11th Cognitive Robotics Workshop 2018, co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning, CogRob@KR 2018, Tempe, AZ, USA, October 27th, 2018
Moving a Robot: The KR&R Approach at Work
Consolidating Probabilistic Knowledge Bases via Belief Contraction
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning
Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998
Query Inseparability for Description Logic Knowledge Bases
Terminological Reasoning with Constraint Networks and an Application to Plan Recognition
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
What Does a Conditional Knowledge Base Entail?
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities
Transforming Situation Calculus Action Theories for Optimised Reasoning
CP-nets: Reasoning and Consistency Testing
Partial Implication Semantics for Desirable Propositions
Explaining Image Classifiers
What Is OWL (and Why Should I Care)?
A Canonical Model of the Region Connection Calculus
On the Semantics of Deliberation in IndiGolog: From Theory to Implementation
Shapley Value Computation in Ontology-Mediated Query Answering
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder
I Don't Want to Think About it Now: Decision Theory with Costly Computation
How (Not) To Minimize Events
Advanced Research with Autonomous Unmanned Aerial Vehicles
Impediments to Universal Preference-Based Default Theories
Faithful Approaches to Rule Learning
Filtering Clinical Guideline Interactions with Pre-Conditions: A Case Study on Diabetes Guideline
Temporal Composite Actions with Constraints
On the Identifiability of Hierarchical Decision Models
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof
Modelling Topological and Metrical Properties in Physical Processes
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs
Completable Representations of Constraint Satisfaction Problems
Neural-Probabilistic Answer Set Programming
Relational Logistic Regression
The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases
Streamlining Input/Output Logics with Sequent Calculi
On the Relation between Explicit and Implicit Belief
Unions of Conjunctive Queries in SHOQ
Signature-Based Abduction for Expressive Description Logics
Reasoning about Knowledge by Variable Forgetting
Variable Elimination for DLP-Functions
Proofs in Context
Computing Logic Programs with Ordered Disjunction Using asprin
The Nondeterministic Situation Calculus
BReLS: A System for the Integration of Knowledge Bases
Decomposing Description Logic Ontologies
On the Representation of Darwiche and Pearl's Epistemic States for Iterated Belief Revision
Lightweight Description Logics and Branching Time: A Troublesome Marriage
A Logic Programming Approach to Conflict Resolution in Policy Management
A Logical Understanding of Legal Interpretation
Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic Imaging
Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
Defaults and Probabilities; Extensions and Coherence
A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence
Query Answering under the Any-World Assumption for Normal Logic Programs
Containment of Simple Conjunctive Regular Path Queries
Neuro-Symbolic Probabilistic Argumentation Machines
Knowledge Equivalence in Combined Action Theories
Towards a Knowledge Level Analysis of Forgetting
Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 2-8, 2023
Eliminating Incoherence from Subjective Estimates of Chance
Probabilistic Abstract Argumentation Based on SCC Decomposability
ASP Chef: Draw and Expand
Complex Event Recognition with Allen Relations
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture
Definitorially Complete Description Logics
Some Results Concerning the Computational Complexity of Abduction
Tractable Decision-Analytic Control
A General Framework for Modal Deduction
The Utility of Consistency-Based Diagnostic Techniques
Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper)
Observations and the Probabilistic Situation Calculus
Axiomatizing Rationality
Generalized Consistent Query Answering under Existential Rules
On Conflict-free Labellings - Realizability, Construction and Patterns of Redundancy
A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation
Answer Set Programming with Functions
On the Use of an ATMS for Handling Conflicting Desires
Planning Domain Model Acquisition from State Traces without Action Parameters
Timed Trace Alignment with Metric Temporal Logic over Finite Traces
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
Significant Inferences : Preliminary Report
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
Evolving Ontologies in Distributed and Dynamic Settings
Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
Compiling Devices: A Structure-Based Approach
Automated Reasoning in Systems Biology: A Necessity for Precision Medicine
Abstracting Abstraction in Search with Applications to Planning
Argumentation for Explainable Reasoning with Conflicting Medical Recommendations
Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus
Forgetting Aspects in Assumption-Based Argumentation
A Many-valued Logic for Lexicographic Preference Representation
On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System
Module Checking of Pushdown Multi-agent Systems
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs
Abstract Argumentation for Case-Based Reasoning
Easy to be Hard: Difficult Problems for Greedy Algorithms
The Feasibility of Defeat in Defeasible Reasoning
On Tractable XAI Queries based on Compiled Representations
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
Preference and Priorities: A Study Based on Contrction
Approximating Perfect Recall When Model Checking Strategic Abilities
Embracing Occlusion in Specifying the Indirect Effects of Actions
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions
Deductive Planning with Inductive Loops
Business Processes Verification with Temporal Answer Set Programming
JASP: A Framework for Integrating Answer Set Programming with Java
Model Counting in the Wild
Weak Nonmonotonic Probabilistic Logics
Abstract Argumentation Applied to Fair Resources Allocation: A Preliminary Study
C&L Intention Revisited
A Non-Reified Temporal Logic
A Study in the Logic of Intention
Rational Defeasible Belief Change
Updates and Counterfactuals
A Question-Answering System for AP Chemistry: Assessing KR&R Technologies
A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic
Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions
Reasoning about Knowledge and Strategies under Hierarchical Information
Bridging Max Graph Neural Networks and Datalog with Negation
Nonmonotonic Inferences in Neural Networks
Reasoning about Probability via Continuous Functions