Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #151 to #200.

Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem: Label: en
Answer Set Solver Backdoors: Label: en
Constraint-Based Algorithm for Computing Temporal Invariants: Label: en
Logic Foundations of the OCL Modelling Language: Label: en
A Logic for Belief Contraction: Label: en
A Modal Logic of Knowledge, Belief, and Estimation: Label: en
Reasoning about Dynamic Normative Systems: Label: en
Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario: Label: en
Measuring Dissimilarity between Judgment Sets: Label: en
Argumentative Aggregation of Individual Opinions: Label: en
Probabilistic Abstract Dialectical Frameworks: Label: en
Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search: Label: en
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance: Label: en
The D-FLAT System for Dynamic Programming on Tree Decompositions: Label: en
A Library of Anti-unification Algorithms: Label: en
System aspmt2smt: Computing ASPMT Theories by SMT Solvers: Label: en
Verification of Context-Sensitive Knowledge and Action Bases: Label: en
Similarity Orders from Causal Equations: Label: en
A Dynamic View of Active Integrity Constraints: Label: en
Action Theories over Generalized Databases with Equality Constraints: Label: en
Modular Paracoherent Answer Sets: Label: en
A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases: Label: en
Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies: Label: en
Preserving Strong Equivalence while Forgetting: Label: en
A Translation-Based Approach for Revision of Argumentation Frameworks: Label: en
Revisiting Postulates for Inconsistency Measures: Label: en
Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination: Label: en
Constructive Models for Contraction with Intransitive Plausibility Indifference: Label: en
A Free Logic for Stable Models with Partial Intensional Functions: Label: en
Stable Models of Fuzzy Propositional Formulas: Label: en
Inductive Learning of Answer Set Programs: Label: en
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes: Label: en
Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report: Label: en
A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information: Label: en
Qualitative Approximate Behavior Composition: Label: en
Reasoning about Agent Programs Using ATL-Like Logics: Label: en
Beyond Maxi-Consistent Argumentation Operators: Label: en
Jumping to Conclusions: Label: en
On Satisfiability in ATL with Strategy Contexts: Label: en
A Unifying Perspective on Knowledge Updates: Label: en
Building an Epistemic Logic for Argumentation: Label: en
Minimal Proof Search for Modal Logic K Model Checking: Label: en
Relevant Minimal Change in Belief Update: Label: en
Sequent Systems for Lewis’ Conditional Logics: Label: en
A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts: Label: en
Belief Base Change Operations for Answer Set Programming: Label: en
Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference: Label: en
Fault Tolerance in Belief Formation Networks: Label: en
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility: Label: en
Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights: Label: en