yusuke1997/dblp-id-title huggingface dataset:
Consistency Checking of Concurrent Models for Scenario-Based Specifications
Enhanced Use Case Map Traversal Semantics
TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets
Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP
Energy-Aware System Design with SDL
LanguageLab - A Meta-modelling Environment
Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems
Locally Linear Embedding for High-Frequency Trading Marker Discovery
Patent Text Mining on Technology Evolution Path in 5G Communication Field
Optimization of GenoCAD Design Based on AMMAS
Inferring Communities and Key Genes of Triple Negative Breast Cancer Based on Robust Principal Component Analysis and Network Analysis
DSNPCMF: Predicting MiRNA-Disease Associations with Collaborative Matrix Factorization Based on Double Sparse and Nearest Profile
Association of PvuII and XbaI Polymorphisms in Estrogen Receptor Alpha (ESR1) Gene with the Chronic Hepatitis B Virus Infection
An Integrated Robust Graph Regularized Non-negative Matrix Factorization for Multi-dimensional Genomic Data Analysis
A Flexible and Comprehensive Platform for Analyzing Gene Expression Data
Hyper-graph Robust Non-negative Matrix Factorization Method for Cancer Sample Clustering and Feature Selection
Automatic Segmentation of Mitochondria from EM Images via Hierarchical Context Forest
Classification of Liver Cancer Images Based on Deep Learning
Node Isolated Strategy Based on Network Performance Gain Function: Security Defense Trade-Off Strategy Between Information Transmission and Information Security
Recent Advances in Data Science - Third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22-24, 2019, Revised Selected Papers
DNA Self-assembly Computing Model for the Course Timetabling Problem
Exploring Blockchain in Speech Recognition
A Study on the Effect of Flexible Human Resource Practice on Group Citizenship Behavior
A High-Performance Basketball Game Forecast Using Magic Feature Extraction
Generating the n-tuples of Natural Numbers by Enzymatic Numerical P System
A Novel Multiple Sequence Alignment Algorithm Based on Artificial Bee Colony and Particle Swarm Optimization
Implied Volatility Pricing with Selective Learning
Research on Advertising Click-Through Rate Prediction Model Based on Ensemble Learning
Meta-Reasoning in Executable Temporal Logic
An Abstract Argumentation Framework with Varied-Strength Attacks
On Dynamics in Structured Argumentation Formalisms
Structure Learning for Relational Logistic Regression: An Ensemble Approach
A Uniform Language to Explain Decision Trees
Qualitative Choice Logic
Modelling the Polysemy of Spatial Prepositions in Referring Expressions
Set-Oriented Logical Connectives: Syntax and Semantics
Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report
Independence in qualitative uncertainty frameworks
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework
Making Decision in a Qualitative Setting: from Decision under Uncertaintly to Case-based Decision
Axiomatization of Approximate Exclusion
Refinement Search as a Unifying Framework for Analyzing Planning Algorithms
Probabilistic Strength of Arguments with Structure
A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases
Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract)
Automated Verification of Epistemic Properties for General Game Playing
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010
Blending Grounding and Compilation for Efficient ASP Solving
Computing Loops with at Most One External Support Rule
Physical Objects, Identity and Vagueness
Preferences, Planning and Control
Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties)
Query Rewriting with Disjunctive Existential Rules and Mappings
Missionaries and Cannibals in the Causal Calculator
µ-toksia: An Efficient Abstract Argumentation Reasoner
Solving QBF by SMV
A First Experimental Demonstration of Massive Knowledge Infusion
Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004
Order of Magnitude Reasoning using Logarithms
Symbolic Solutions for Symbolic Constraint Satisfaction Problems
Modularity and Web Ontologies
Disjective Defaults
Generalizing Prioritization
How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs
Necessary Parts and Wholes in Bio-Ontologies
Reasoning with Minimal Models: Efficient Algorithms and Applications
Lecture in Remembrance of John McCarthy
Planning with Epistemic Preferences
Stable Models in Generalized Possibilistic Logic
Universal Attachment: An Integration Method for Logic Hybrids
Automatically Identifying Drug Conflicts in Clinical Practice Guidelines
Multiple Perspective Reasoning
Two Problems with Reasoning and Acting in Time
Gradual Semantics for Weighted Graphs: An Unifying Approach
Ontology Stratification Methods: A Comparative Study
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics
Representing Defaults as Sentences with Reduced Priority
Concurrent Actions and Interacting Effects
Explaining Decisions in ML Models: A Parameterized Complexity Analysis
Logic Programs with Intensional Functions
Succinctness and Complexity of ALC with Counting Perceptrons
Partial Orders of Sorts and Inheritances (or Placing Inheritance in Context)
The Window Validity Problem in Rule-Based Stream Reasoning
ASPEN: ASP-Based System for Collective Entity Resolution
Rough Set Semantics for Identity on the Web
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
Synthesis with Mandatory Stop Actions
A Theory of Granularity and its Application to Problems of Polysemy and Underspecification of Meaning
Desires and Defaults: A Framework for Planning with Inferred Goals
Symmetry-Breaking Predicates for Search Problems
Equivalence and Tractability Results for SAS+ Planning
What Stands-in for a Missing Tool?: A Prototypical Grounded Knowledge-based Approach to Tool Substitution
Combining Global and Local Merges in Logic-based Entity Resolution
Multi-Agent Only-Knowing Revisited
Modeling Belief Change using Counterfactuals
Fixed-Parameter Algorithms for Finding Minimal Models
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
On Belief Promotion
The Complexity of Explaining Negative Query Answers in DL-Lite
Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
Public and Private Affairs in Strategic Reasoning
Deciding K using inverse-K
A Generic Querying Algorithm for Greedy Sets of Existential Rules
Forgetting in Logic Programs under Strong Equivalence
Everything You AlwaysWanted to Know About Urban Water Networks ButWere Afraid to Ask
Towards a Practical Approach to Belief Revision: Reason-Based Change
Probabilistic Reasoning in Terminological Logics
Omission-Based Abstraction for Answer Set Programs
What Robots Can Do
Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers
An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework
Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi
Explaining Reasoning Results for OWL Ontologies with Evee
Parallel Transitive Reasoning in Mixed Relational Hierarchies
Combining Logic and Differential Equations for Describing Real-World Systems
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021
Sequential Equilibrium in Games of Imperfect Recall
Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper)
Approximations and Refinements of Certain Answers via Many-Valued Logics
A General Framework for Modelling Conditional Reasoning - Preliminary Report
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications
On Referring Expressions in Query Answering over First Order Knowledge Bases
ViWaT: A Lightweight Ontology of the Vietnamese Wastewater Treatment Management with Biological Methodologies
Focusing on Independent Diagnosis Problems
Walking the Decidability Line for Rules with Existential Variables
Uniform semantic treatment of default and autoepistemic logic
Argumentative Approaches to Reasoning with Maximal Consistency
Revising Weighted Knowledge Bases Using FH-Conditioning
On OBDDs for CNFs of Bounded Treewidth
Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk)
Default Logic Revisited
Pushing the Limits of Reasoning over Ontologies with Hidden Content
A Nonmonotonic Assumption-Based TMS Using Stable Bases
Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation
A Model-Based Approach to Visual Reasoning on CNLVR Dataset
Symmetries and Expressive Requirements for Learning General Policies
Building Large Composition Tables via Axiomatic Theories
Representing and Aggregating Conflicting Beliefs
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering
Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences
Logical Foundations of Well-Founded Semantics
Actions with Indirect Effects (Preliminary Report)
Stable Semantics for Epistemic Abstract Argumentation Framework
Answer Set Programming via Mixed Integer Programming
Complex Epistemic Modalities in the Situation Calculus
Verification and Realizability in Finite-Horizon Multiagent Systems
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
On Tractable Representations of Binary Neural Networks
Boolean Hedonic Games
Finding Explanations of Inconsistency in Multi-Context Systems
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing
Only Knowing in the Situation Calculus
A Causal Logic of Logic Programming
Using Answer Set Programming for Solving Boolean Games
Updating Contexts
Propositional Belief Merging with OWA Operators
Transmutations of Knowledge Systems
Controllability characterization and checking in Contingent Temporal Constraint Networks
Belief Revision in the Propositional Closure of a Qualitative Algebra
Ordering explanations and the structural rules for abduction
Decidability of a Description Logic over Infinite-Valued Product Logic
Counterfactual Explanations and Model Multiplicity: a Relational Verification View
A Metalinguistic Treatment of Epistemic Contexts
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation
How to Interweave Knowledge about Object Structure and Concepts
Satisfiability for Propositional Contexts
Enhancing the Power of a Decidable First-Order Reasoner
Representing Sensing Actions: The Middle Ground Revisited
Compiling Away Soft Trajectory Constraints in Planning
A Model-Based Diagnosis Framework for Distributed Embedded Systems
Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification
Near-Optimal Plans, Tractability, and Reactivity
AdaBoost Based Multimodal Learning
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024
Symbolic Verification of Golog Programs with First-Order BDDs
Finite Query Answering in Expressive Description Logics with Transitive Roles
Reasoning with Uncertain Inputs in Possibilistic Networks
DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation
Robust Equivalence Models for Semantic Updates of Answer-Set Programs
Default Reasoning, Minimality and Coherence
A Complete First-Order Logic of Knowledge and Time
Knowledge Graph Embedding by Flexible Translation
Description Logic Framework for Information Integration
Complexity Results for First-Order Theories of Temporal Constraints
Parametrised Difference Revision
Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds
Many-Sorted Preference Relations
Finitely Materialisable Datalog Programs with Metric Temporal Operators
Reasoning about Agent Deliberation
Lifted Inference with Tree Axioms
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation
Majority Logic
Computational Properties of Epistemic Logic Programs
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022
Paraconsistent Hybrid Theories
Beyond Ignorance-Based Systems (Abstract)
Multi-head Guarded Existential Rules Over Fixed Signatures
Assertion Absorption in Object Queries over Knowledge Bases
The Augmented Interval and Rectangle Networks
Cartesian Situations and Knowledge Decomposition in the Situation Calculus
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021
A Theory of Inferred Causation
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming
Revising Boolean Logical Models of Biological Regulatory Networks
First-Order Default Logic Revisited
Computing Default Extensions by Reductions on OR
On the Connection between Non-monotonic Inference Systems and Conditional Logics
From Causal Models To Counterfactual Structures
Beyond Negation as Failure
Modeling Rational Agents within a BDI-Architecture
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism
Conflict-Driven Disjunctive Answer Set Solving
Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
Knowledgebase Compilation for Efficient Logical Argumentation
On Loop Formulas with Variables
Stepwise-Decomposable Influence Diagrams
Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics
A Decidable Class of Groundable Formulas in the General Theory of Stable Models
Modelling Time and Reliability in Structured Argumentation Frameworks
"Statistical" First Order Conditionals
Weighted Rules under the Stable Model Semantics
What to Ask to a Peer: Ontolgoy-based Query Reformulation
Infinite Paths in the Situation Calculus: Axiomatization and Properties
Scientific Benchmarking with Temporal Logic Decision Procedures
Independence and Functional Dependence Relations on Secrets
How to Manage a Budget with ATL+
Knowledge Compilation and More with SharpSAT-TD
The Features-and-Fluents Semantics for the Fluent Calculus
Representing Uncertainty in Simple Planners
Forecasting Argumentation Frameworks
Concerning Measures in a First-order Logic with Actions and Meta-beliefs
Forgetting Revisited
New Inference Relations from Maximal Consistent Subsets
Weighted Merging Operators: Product, Utility-based Operators and Egalitarianism
An Approach to Planning with Incomplete Information
Leveraging Large Language Models to Generate Answer Set Programs
Grounding LTLf Specifications in Image Sequences
A Transition Function Based Characterization of Actions with Delayed and Continuous Effects
Representative Solutions for Multi-Objective Constraint Optimization Problems
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic
Default Logic as a Query Language
First-Order Loop Formulas for Normal Logic Programs
Means-End Plan Recognition - Towards a Theory of Reactive Recognition
On Abstracting over the Irrelevant in Answer Set Programming
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning
Embedding Defaults into Terminological Knowledge Representation Formalisms
Reasoning with Axioms: Theory and Practice
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms
Action Theory Erasure and Minimal Change
A Principled Framework for Modular Web Rule Bases and Its Semantics
Reflections about Reflection
Abduction in EL via Translation to FOL
Probabilistic Deduction with Conditional Constraints over Basic Events
Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux
Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement
Reasoning about Context in Ambient Intelligence Environments: A Report from the Field
Value Minimization in Circumscription
Complexity of the Description Logic ALCM
Intransitivity and Vagueness
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract
Discovering User-Interpretable Capabilities of Black-Box Planning Agents
Comparing Consequence Relations
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
Status QIO: Conjunctive Query Entailment Is Decidable
Inference with System W Satisfies Syntax Splitting
Changing Beliefs about Domain Dynamics in the Situation Calculus
Complex Preferences for Answer Set Optimization
A Model for Reasoning about Bidemsional Temporal Relations
On the Expressivity of Recurrent Neural Cascades with Identity
Reduction rules and universal variables for first order tableaux and DPLL
ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP
Building Epistemic Logic from Observations and Public Announcements
Knowledge-intensive Processes: An Overview of Contemporary Approaches
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation
Reasoning about Measures of Unmeasurable Sets
Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models
David Poole's Specificity Revised
A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover
A Logic-Based Approach to Business Process Customization
Reasoning about Explanations for Non-validation in SHACL
Dealing with Conceptual Indeterminacy: A Framework Based on Supervaluation Semantics
Linear Programs for Measuring Inconsistency in Probabilistic Logics
Towards a Logic of Feature-Based Semantic Science Theories
An Ontology for Engineering Mathematics
From Wine to Water: Optimizing Description Logic Reasoning for Nominals
Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation
LLASP: Fine-tuning Large Language Models for Answer Set Programming
Verification of General Games with Imperfect Information Using Strategy Logic
Encoding Planning Constraints into Partial Order Planners
Learning Useful Horn Approximations
Reasoning About Indefinite Actions
Credulous vs. Sceptical Semantics for Ordered Logic Programs
ExactLearner: A Tool for Exact Learning of EL Ontologies
Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations
High-level Programming via Generalized Planning and LTL Synthesis
Judgements about spatio-temporal relations
On the Decidability of Description Logics with Modal Operators
Using Metric Temporal Logic to Specify Scheduling Problems
Preferential Semantics for Plausible Subsumption in Possibility Theory
Skeptical Reasoning and Disjunctive Programs
Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals
Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules
SAT-Based ATL Satisfiability Checking
Causes for Changing Profiles (Preliminary Report)
Asking About Possibilities - Revision and Update Semantics for Subjunctive Queries
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas
Making DL-Lite Planning Practical
Iteration of Iterated Belief Revision
A Hybrid Approach to Optimization in Answer Set Programming
Seq2KG: An End-to-End Neural Model for Domain Agnostic Knowledge Graph (not Text Graph) Construction from Text
Learning Generalized Policies without Supervision Using GNNs
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
An Order-Sorted Logic with Sort Literals and Disjointness Constraints
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond
Justification Masking in Ontologies
Metric Temporal Extensions of DL-Lite and Interval-Rigid Names
Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic
The Ontology and Representation of Situations
Navigating and Querying Answer Sets: How Hard Is It Really and Why?
Cognitive Affordance Representations in Uncertain Logic
Collective Satisfaction Semantics for Opinion Based Argumentation
Inferential Complexity Control for Model-Based Abduction
Subsumption in KL-ONE is Undecidable
Super Logic Programs
Terminological Knowledge Representation Systems Supporting N-ary Terms
Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures
Admissibility in Probabilistic Argumentation
Generalizing Atoms in Constraint Logic
Inheriting Well-formed Formulae in a Formula-Agumented Semantic Network
Model Based Horn Contraction
An Algorithm for Belief Revision
Reasoning about Truthfulness of Agents Using Answer Set Programming
Reasoning about Discontinuities in the Event Calculus
A Framework for Dynamic Representation of Knowledge: A Minimum Principle in Organizing Knowledge Representation
Making Situation Calculus Indexical
Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision
On Epistemic Spaces for Iterated Belief Revision
Chasing Streams with Existential Rules
Plausible World Assumption
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog
As Time Goes by: Automatic Complexity Analysis of Simplified Rules
Toward a Metatheory of Action
Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report)
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms
Reasoning in Logic about Continuous Systems
Deontic Reasoning Based on Inconsistency Measures
Run-Based Semantics for RPQs
Approximate Reasoning in First-Order Logic Theories
Weak Admissibility for ABA via Abstract Set-Attacks
Justified Beliefs by Justified Arguments
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
Generalized Ontology-Based Production Systems
Weight Learning in a Probabilistic Extension of Answer Set Programs
Equivalence of Semantics in Argumentation
Probabilistic Semantics for Nonmonotonic Reasoning: A Survey
SHACL Validation under the Well-founded Semantics
A Framework for Part-of Hierarchies in Terminological Logics
On the Approximability of Weighted Model Integration on DNF Structures
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP
Planning with Qualitative Temporal Preferences
Ontological Assumptions in Knowledge Representation
Unified Foundations of Team Semantics via Semirings
Induction as Nonmonotonic Inference
Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable
A New Algorithm for Generative Planning
Revising Typical Beliefs: One Revision to Rule Them All
Extending Description Logics with Generic Concepts - the Tale of Two Semantics
An Analysis of the Equational Properties of the Well-Founded Fixed Point
Inductive Situation Calculus
On the Progression of Situation Calculus Universal Theories with Constants
Horn Clause Belief Change: Contraction Functions
Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches
Toward a Logic for Qualitative Decision Theory
Systems vs. Theory vs. ... : KR&R Research Methodologies (Abstract)
Behavior Composition in the Presence of Failure
On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper)