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 #51 to #100.

Some comments on history based structures: Label: en
An adaptive logic for relevant classical deduction: Label: en
Preferential theory revision: Label: en
An axiomatization of family resemblance: Label: en
Selected papers of the 4th international workshop on computational models of scientific reasoning and applications (IV CMSRA), Lisbon, Portugal, September 21--23, 2005: Label: en
Erratum to ``Confirmation as partial entailment: Label: en
A propositional linear time logic with time flow isomorphic to \(\omega^2\): Label: en
Capturing equilibrium models in modal logic: Label: en
The paradoxes of permission an action based solution: Label: en
A logical framework for privacy-preserving social network publication: Label: en
SLAP: specification logic of actions with probability: Label: en
A neural cognitive model of argumentation with application to legal inference and decision making: Label: en
On the a priori and a posteriori assessment of probabilities: Label: en
Abducted by Bayesians?: Label: en
An observation on Carnap's continuum and stochastic independencies: Label: en
Probabilities on sentences in an expressive logic: Label: en
The sure thing principle, dilations, and objective probabilities: Label: en
Confirmation as partial entailment: a representation theorem in inductive logic: Label: en
Combining probability and logic: papers from Progic 2011: Label: en
Multiple-valued logic mathematical approaches for multi-state system reliability analysis: Label: en
Preservation of Craig interpolation by the product of matrix logics: Label: en
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty: Label: en
A general first-order solution to the ramification problem with cycles: Label: en
The expressibility of fragments of hybrid graph logic on finite digraphs: Label: en
Ordered domain algebras: Label: en
Skew lattices and binary operations on functions: Label: en
A QBF-based formalization of abstract argumentation semantics: Label: en
Simulative belief logic: Label: en
Modal definability of first-order formulas with free variables and query answering: Label: en
Representation of interlaced trilattices: Label: en
A note on orthogonality of subspaces in Euclidean geometry: Label: en
Two adaptive logics of norm-propositions: Label: en
A sequent calculus for a logic of contingencies: Label: en
S7: Label: en
An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution: Label: en
Infinity and verifiability in Carnap's inductive logic: Label: en
From Bayesian epistemology to inductive logic: Label: en
Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis: Label: en
Fuzzy microaggregation for the transparency principle: Label: en
A reward-based approach for preference modeling: a case study: Label: en
Modeling group assessments by means of hesitant fuzzy linguistic term sets: Label: en
Characterization of unidimensional averaged similarities: Label: en
On the existence of free models in fuzzy universal Horn classes: Label: en
Logical methods in artificial intelligence applications: Label: en
What kind of independence do we need for multiple iterated belief change?: Label: en
Efficient incremental planning and learning with multi-valued decision diagrams: Label: en
Algebraic model counting: Label: en
Factored performance functions and decision making in continuous time Bayesian networks: Label: en
An ordered credibility contrast semantics for finite probability agreement: Label: en
Hierarchical beam search for solving most relevant explanation in Bayesian networks: Label: en