Book One
All Content
Decidable Reasoning in a Logic of Limited Belief with Function Symbols
PDFGeneralized Consistent Query Answering under Existential Rules
PDFA Multi-Aspect Evaluation Framework for Comments on the Social Web
PDFKnowledge Graph Embedding by Flexible Translation
PDFOn Expressibility of Non-Monotone Operators in SPARQL
PDFPrompt Alternating-Time Epistemic Logics
PDFLimiting Logical Violations in Ontology Alignnment Through Negotiation
PDFReasoning about Truthfulness of Agents Using Answer Set Programming
PDFPreference and Priorities: A Study Based on Contrction
PDFBuilding Epistemic Logic from Observations and Public Announcements
PDFProbabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination
PDFQuery-Based Comparison of Mappings in Ontology-Based Data Access
PDFSolving PPPP-Complete Problems Using Knowledge Compilation
PDFUsing Metric Temporal Logic to Specify Scheduling Problems
PDFWeighted Rules under the Stable Model Semantics
PDFOpen-World Probabilistic Databases
PDFRegular Open APIs
PDFClosed Predicates in Description Logics: Results on Combined Complexity
PDFNegation Without Negation in Probabilistic Logic Programming
PDFEasy OWL Drawing with the Graphol Visual Ontology Language
PDFQuantifying Conflicts for Spatial and Temporal Information
PDFBayesian Deduction with Subjective Opinions
PDFBoolean Hedonic Games
PDFExpressive Description Logic with Instantiation Metamodelling
PDFOn First-Order μ-Calculus over Situation Calculus Action Theories
PDFMerging of Abstract Argumentation Frameworks
PDFRepresentative Solutions for Multi-Objective Constraint Optimization Problems
PDFDiscontinuity-Free Decision Support with Quantitative Argumentation Debates
PDFA General Modifier-Based Framework for Inconsistency-Tolerant Query Answering
PDFBisimulations on Data Graphs
PDFABA+: Assumption-Based Argumentation with Preferences
PDFAbstract Argumentation for Case-Based Reasoning
PDFAnti-Unification of Concepts in Description Logic EL
PDFFoundations for Generalized Planning in Unbounded Stochastic Domains
PDFExtending Consequence-Based Reasoning to SRIQ
PDFA Higher-Order Semantics for Metaquerying in OWL 2 QL
PDFSequential Equilibrium in Games of Imperfect Recall
PDFOn the Functional Completeness of Argumentation Semantics
PDFParameterized Complexity Results for Symbolic Model Checking of Temporal Logics
PDFOn the Justification of Statements in Argumentation-based Reasoning
PDFOnline Situation-Determined Agents and their Supervision
PDFCharacterizing Equivalence Notions for Labelling-Based Semantics
PDFAn Analysis of the Equational Properties of the Well-Founded Fixed Point
PDFInfinite Paths in the Situation Calculus: Axiomatization and Properties
PDFMinimality Postulates for Ontology Revision
PDFAn Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms
PDFCognitive Affordance Representations in Uncertain Logic
PDFEncoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions
PDFConsolidating Probabilistic Knowledge Bases via Belief Contraction
PDFjArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks
PDFA SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks
PDFImperfect Information in Reactive Modules Games
PDFKnowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language
PDFOn Referring Expressions in Query Answering over First Order Knowledge Bases
PDFAxiomatic Foundations of Acceptability Semantics
PDFA MIS Partition Based Framework for Measuring Inconsistency
PDFComplexity of the Description Logic ALCM
PDFContainment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
PDFUsing Defeasible Information to Obtain Coherence
PDFSuccinctness of Languages for Judgment Aggregation
PDFThe Ultimate Guide to Forgetting in Answer Set Programming
PDFUndecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics
PDFModel Checking Well-Behaved Fragments of HS: The (Almost) Final Picture
PDFGuiding Planning Engines by Transition-Based Domain Control Knowledge
PDFOn Logics and Semantics of Indeterminate Causation
PDFSome Complexity Results on Inconsistency Measurement
PDFImplicit Hitting Set Algorithms for Reasoning Beyond NP
PDFApproximations and Refinements of Certain Answers via Many-Valued Logics
PDFArgumentative Approaches to Reasoning with Maximal Consistency
PDFRanking Arguments With Compensation-Based Semantics
PDFCommonsense Causal Reasoning between Short Texts
PDFDeclarative Solver Development: Case Studies
PDFModel Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions
PDFUnsupervised Grounding of Textual Descriptions of Object Features and Actions in Video
PDFOn Partial Information and Contradictions in Probabilistic Abstract Argumentation
PDF