Searching for "Relationships with other Formalisms." – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Sceptical logic programming based default reasoning - Defeasible logic rehabilitated
- … not been studied sufficiently as a formal system, and because its relationship to other formalisms has…
- Cited by 1 (0 self) – Add To MetaCart
-
The Complexity of Model Checking for Propositional Default Logics
- …, algorithms, complexity, relationship with other formalisms, and so on. In this paper we focus on a specific…
- Cited by 5 (1 self) – Add To MetaCart
-
A Roadmap to Research on Bayesian Networks and other Decomposable Probabilistic Models
- … Counterfactuals [Bal95] 1.11 Important Relationships to Other formalisms To Hidden Markov models [SHJ96]. 2…
- Cited by 5 (0 self) – Add To MetaCart
-
Probabilistic Horn abduction and Bayesian networks
- … abduction, shows the strong relationships to other formalisms and argues that it is a good representation…
- Cited by 217 (29 self) – Add To MetaCart
-
A Separation Kernel Formal Security Policy
- …)))))) That is the entirety of the separation kernel security policy. 3 Relationship with other formalizations…
- Cited by 14 (2 self) – Add To MetaCart
-
A Separation Kernel Formal Security Policy
- … Relationship with other formalizations In this section we present several theorems that hold of any system…
- Add To MetaCart
-
Decidability of ¢¡¤£¦ ¥ with Complex Role Inclusion Axioms
- … with other formalisms Grammar logics are a class of propositional multi modal logics where the accessibility…
- Add To MetaCart
-
Associative and Formal Structures in AI
- … relationships to other abstract entities. Formal structures can furthermore represent hypothetical situations…
- Add To MetaCart
-
Guarded Horn Clauses
- … relationship to other formalisms including data ow languages, Communicating Sequential Processes…
- Cited by 108 (6 self) – Add To MetaCart
-
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
- … is a tuple with attribute father. Relationship with other formalisms It is easy to see that we obtain…
- Cited by 48 (21 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
