Book One
All Content
Bayesian Model Selection in Statistical Construction of Justification
PDFA Parameterized Complexity View on Description Logic Reasoning
PDFCombining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation
PDFPropositional and Predicate Logics of Incomplete Information
PDFPreference Aggregation with Incomplete CP-Nets
PDFBetter Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination
PDFA Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework
PDFFinite LTL Synthesis with Environment Assumptions and Quality Measures
PDFParametrised Difference Revision
PDFOn the Progression of Situation Calculus Universal Theories with Constants
PDFSymbolic Verification of Golog Programs with First-Order BDDs
PDFThe Combined Approach to Query Answering in Horn-ALCHOIQ
PDFGradual Semantics Accounting for Similarity between Arguments
PDFKnowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions
PDFPropositional Belief Merging with OWA Operators
PDFTowards Explainable Inference about Object Motion using Qualitative Reasoning
PDFQuantified Markov Logic Networks
PDFIntroducing Temporal Stable Models for Linear Dynamic Logic
PDFAxiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change
PDFSMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs
PDFComplexity of Projection with Stochastic Actions in a Probabilistic Description Logic
PDFSpecifying Plausibility Levels for Iterated Belief Change in the Situation Calculus
PDFSynthesis under Assumptions
PDFKnowledge-Based Transfer Learning Explanation
PDFStructure Learning for Relational Logistic Regression:An Ensemble Approach
PDFMaking Repairs in Description Logics More Gentle
PDFWeight Learning in a Probabilistic Extension of Answer Set Programs
PDFA Model-Based Approach to Visual Reasoning on CNLVR Dataset
PDFComputing Logic Programs with Ordered Disjunction Using asprin
PDFTowards Belief Contraction without Compactness
PDFRelaxing and Restraining Queries for OBDA — Extended Abstract
PDFFinite Query Answering in Expressive Description Logics with Transitive Roles
PDFOmission-Based Abstraction for Answer Set Programs
PDFHunting for Tractable Languages for Judgment Aggregation
PDFTowards Lazy Grounding with Lazy Normalization in Answer-Set Programming — Extended Abstract
PDFA Hybrid Approach to Optimization in Answer Set Programming
PDFArgumentation for Reasoning with Conflicting Clinical Guidelines and Preferences
PDFProbabilistic Abstract Argumentation Based on SCC Decomposability
PDFA Novel Automata-Theoretic Approach to Timeline-Based Planning
PDFOn Belief Promotion
PDFSOGrounder: Modelling and Solving Second-Order Logic
PDFiCon: A Diagrammatic Theorem Prover for Ontologies
PDFSome Thoughts On Well-Foundedness in Weighted Abstract Argumentation
PDFThe Window Validity Problem in Rule-Based Stream Reasoning
PDFA Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics
PDFReasoning with Justifiable Exceptions in Contextual Hierarchies
PDFIncorporating Relevance in Epistemic States in Belief Revision
PDFMetric Temporal Extensions of DL-Lite and Interval-Rigid Names
PDFQuery Answering for Rough EL Ontologies
PDFCutting Diamonds: A Temporal Logic with Probabilistic Distributions
PDFExploiting Treewidth for Counting Projected Answer Sets
PDFHeuristic Search Planning With Multi-Objective Probabilistic LTL Constraints
PDFExtension Enforcement under Grounded Semantics in Abstract Argumentation
PDFTwo AGM-Style Characterizations of Model Repair
PDFVariable Elimination for DLP-Functions
PDFPreference Relations by Approximation
PDFA Generator of Hard 2QBF Formulas and ASP Programs
PDFOn Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators
PDFNew Inference Relations from Maximal Consistent Subsets
PDFChanging Observations in Epistemic Temporal Logic
PDFExactLearner: A Tool for Exact Learning of EL Ontologies
PDFLoop Restricted Existential Rules and First-Order Rewritability for Query Answering
PDFQuery Expressibility and Verification in Ontology-Based Data Access
PDFConstructive Logic Covers Argumentation and Logic Programming
PDFApproximating Perfect Recall When Model Checking Strategic Abilities
PDFCombining the Causal Judgments of Experts with Possibly Different Focus Areas
PDFQualitative Representation and Reasoning over Direction Relations across Different Frames of Reference
PDFFrom Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules
PDFApproximating Certainty in Querying Data and Metadata
PDFCompiling Away Soft Trajectory Constraints in Planning
PDFOn Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA
PDFDefault Reasoning via Topology and Mathematical Analysis: A Preliminary Report
PDFA General Approach to Reasoning with Probabilities — Extended Abstract
PDFProbabilistic Coalition Structure Generation
PDFProbabilistic Strength of Arguments with Structure
PDFIf Nothing Is Accepted — Repairing Argumentation Frameworks
PDFStudies in Credibility-Limited Base Revision
PDFAn Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases
PDFUpdating Belief in Arguments in Epistemic Graphs
PDFAbductive Diagnosis of Complex Active Systems with Compiled Knowledge
PDFContinuous Dynamical Systems for Weighted Bipolar Argumentation
PDFNavigability with Bounded Recall
PDFStrategic Coalitions in Systems with Catastrophic Failures
PDFPartial-State Progression for Stream Reasoning with Metric Temporal Logic
PDFKnowledge Compilation in the Multi-Agent Epistemic Logic Kn
PDFOn Laws and Counterfactuals in Causal Reasoning
PDFReachability Analysis for Neural Agent-Environment Systems
PDFBisimulations for Logics of Strategies: A Study in Expressiveness and Verification
PDFDecidability and Complexity of Timeline-Based Planning over Dense Temporal Domains
PDFReasoning about Knowledge and Strategies under Hierarchical Information
PDFA SAT-Based Approach For PSPACE Modal Logics
PDFGradual Semantics for Weighted Graphs: An Unifying Approach
PDFMeasuring Similarity between Logical Arguments
PDF