The following pages link to (Q4296747):
Displaying 50 items.
- Unification for infinite sets of equations between finite terms (Q287056) (← links)
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- Projection and scope-determined circumscription (Q429594) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- On the measure of conflicts: Shapley inconsistency values (Q622103) (← links)
- Solving conflicts in information merging by a flexible interpretation of atomic propositions (Q650523) (← links)
- Fuzzy \(rr\)DFCSP and planning (Q814480) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics (Q901077) (← links)
- What's right with a syntactic approach to theories and models? (Q907910) (← links)
- Reasoning with prioritized information by iterative aggregation of distance functions (Q959055) (← links)
- On the logic of causal explanation (Q1127347) (← links)
- Characterizing the principle of minimum cross-entropy within a conditional-logical framework (Q1128487) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- Reasoning about actions: steady versus stabilizing state constraints (Q1274697) (← links)
- A decision algorithm for distributive unification (Q1275018) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- Representing action: indeterminacy and ramifications (Q1389538) (← links)
- An abstract, argumentation-theoretic approach to default reasoning (Q1402718) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Decidability of bounded second order unification (Q1887168) (← links)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (Q1978240) (← links)
- Inducing inference relations from inconsistency measures (Q2146049) (← links)
- On the expressive power of TeamLTL and first-order team logic over hyperproperties (Q2148802) (← links)
- A quantitative approach to reasoning about incomplete knowledge (Q2195366) (← links)
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models (Q2238598) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- FTClogic: fuzzy temporal constraint logic (Q2328912) (← links)
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms (Q2353982) (← links)
- Extending uncertainty formalisms to linear constraints and other complex formalisms (Q2379316) (← links)
- A behavioural model for vague probability assessments (Q2386229) (← links)
- Plausible reasoning and plausibility monitoring in language comprehension (Q2411257) (← links)
- Uncertain lightweight ontologies in a product-based possibility theory framework (Q2411268) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- The unification type of the Pythagorean equation in varieties of nilpotent rings (Q2457315) (← links)
- Bayesian network modelling through qualitative patterns (Q2457682) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Essential unifiers (Q2494722) (← links)
- Source-tracking unification (Q2568436) (← links)
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification (Q2842591) (← links)
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G (Q3522050) (← links)
- (Q4692618) (← links)
- (Q5216313) (← links)
- Confluence without termination via parallel critical pairs (Q5878911) (← links)
- Systematic Refinement of Abstract State Machines with Higher-Order Logic (Q5881450) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
- On the difference of Horn theories (Q5929916) (← links)
