Book One
All Content
Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions
PDFBayesian 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
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
PDFFinite LTL Synthesis with Environment Assumptions and Quality Measures
PDFKnowledge-Based Transfer Learning Explanation
PDFSynthesis under Assumptions
PDFSpecifying Plausibility Levels for Iterated Belief Change in the Situation Calculus
PDFComplexity of Projection with Stochastic Actions in a Probabilistic Description Logic
PDFSMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs
PDFAxiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change
PDFIntroducing Temporal Stable Models for Linear Dynamic Logic
PDFQuantified Markov Logic Networks
PDFTowards Explainable Inference about Object Motion using Qualitative Reasoning
PDFPropositional Belief Merging with OWA Operators
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
PDFStructure Learning for Relational Logistic Regression:An Ensemble Approach
PDFExtension Enforcement under Grounded Semantics in Abstract Argumentation
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
PDFTwo AGM-Style Characterizations of Model Repair
PDFiCon: A Diagrammatic Theorem Prover for Ontologies
PDFSOGrounder: Modelling and Solving Second-Order Logic
PDFOn Belief Promotion
PDFA Novel Automata-Theoretic Approach to Timeline-Based Planning
PDFProbabilistic Abstract Argumentation Based on SCC Decomposability
PDFArgumentation for Reasoning with Conflicting Clinical Guidelines and Preferences
PDFA Hybrid Approach to Optimization in Answer Set Programming
PDFTowards Lazy Grounding with Lazy Normalization in Answer-Set Programming — Extended Abstract
PDFConstructive Logic Covers Argumentation and Logic Programming
PDFNew Inference Relations from Maximal Consistent Subsets
PDFQuery Expressibility and Verification in Ontology-Based Data Access
PDFLoop Restricted Existential Rules and First-Order Rewritability for Query Answering
PDFExactLearner: A Tool for Exact Learning of EL Ontologies
PDFChanging Observations in Epistemic Temporal Logic
PDFOn Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators
PDFA Generator of Hard 2QBF Formulas and ASP Programs
PDFPreference Relations by Approximation
PDFVariable Elimination for DLP-Functions
PDFCombining the Causal Judgments of Experts with Possibly Different Focus Areas
PDFProbabilistic Coalition Structure Generation
PDFA General Approach to Reasoning with Probabilities — Extended Abstract
PDFDefault Reasoning via Topology and Mathematical Analysis: A Preliminary Report
PDFOn Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA
PDFApproximating Perfect Recall When Model Checking Strategic Abilities
PDFCompiling Away Soft Trajectory Constraints in Planning
PDFApproximating Certainty in Querying Data and Metadata
PDFFrom Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules
PDFQualitative Representation and Reasoning over Direction Relations across Different Frames of Reference
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
PDFProbabilistic Strength of Arguments with Structure
PDF