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 #1 to #50.

A study on anomaly detection ensembles: Label: en
A formal account of Socratic-style argumentation: Label: en
Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions: Label: en
Similarity based approximate reasoning: Fuzzy control: Label: en
Axiomatizing geometric constructions: Label: en
Simulating Turing machines on Maurer machines: Label: en
A brief history of negation: Label: en
Possible primitive notions for geometry of spine spaces: Label: en
Smarandache BL-algebra: Label: en
Complexity of modal logics with Presburger constraints: Label: en
Borderlines and probabilities of borderlines: on the interconnection between vagueness and uncertainty: Label: en
Measuring inaccuracy of uncertain doxastic states in many-valued logical systems: Label: en
Updating a progic: Label: en
Transitivity in coherence-based probability logic: Label: en
An examination of the SEP candidate analogical inference rule within pure inductive logic: Label: en
Lakatos's criticism of Carnapian inductive logic was mistaken: Label: en
Special issue: Combining probability and logic: Label: en
Conflicting imperatives and dyadic deontic logic: Label: en
A logic for deontic dilemmas: Label: en
Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation: Label: en
On obligations and normative ability: Towards a logical analysis of the social contract: Label: en
Obligation, contracts, and negotiation: Outlining an approach: Label: en
Proceedings of the workshop on logic-based methods for information integration organized within the CoLogNET network of excellence in computational logic, Vienna, Austria, August 23, 2003: Label: en
Selected papers of the 3rd international workshop on computational models of scientific reasoning and applications (III CMSRA), Buenos Aires, Argentina, September 14--15, 2003: Label: en
Epistemology and artificial intelligence: Label: en
Semantic computations of truth based on associations already learned: Label: en
Measuring coherence using LP-models: Label: en
Reasoning through doing. Epistemic mediators in scientific discovery: Label: en
Abductive inference in defeasible reasoning: a model for research programmes: Label: en
Common-sense reasoning as proto-scientific agent activity: Label: en
Deduction chains for common knowledge: Label: en
A general tableau method for propositional interval temporal logics: theory and implementation: Label: en
Model checking hybrid logics (with an application to semistructured data): Label: en
On modal \(\mu\)-calculus with explicit interpolants: Label: en
Intuitionistic hybrid logic: Label: en
A general method for proving decidability of intuitionistic modal logics: Label: en
Efficient spatio-temporal data mining with GenSpace graphs: Label: en
Definability and decidability of binary predicates for time granularity: Label: en
A clausal resolution method for extended computation tree logic ECTL: Label: en
On the consistency problem for the \(\mathcal {INDU}\) calculus: Label: en
The monadic second-order logic of graphs. XV: On a conjecture by D. Seese: Label: en
Using temporal logics of knowledge for specification and verification -- a case study: Label: en
Model checking propositional dynamic logic with all extras: Label: en
Automatic knowledge learning and case adaptation with a hybrid committee approach: Label: en
Essential unifiers: Label: en
Cut-free common knowledge: Label: en
A polynomial time algorithm for Zero-Clairvoyant scheduling: Label: en
Error analysis of digital filters using HOL theorem proving: Label: en
Conditionals and consequences: Label: en
Nonmonotonic conditionals that behave like conditional probabilities above a threshold: Label: en