Searching for "Reasoning About Truth." – sorted by Relevance.
44 documents found, showing 1 through 10.
Next 10 →
-
Modal Types for Mobile Code
- … in the form of a type system derived from modal logic. Modal logic allows for reasoning about truth from…
- Add To MetaCart
-
Declarative versus Imperative Paradigms in Games AI 1
- … relationships and facts about the game. From these facts one can reason about truth in the game world. Scripts…
- Add To MetaCart
-
Probabilistic modal logic
- … present exact and approximate algorithms for reasoning about the truth value of queries that are encoded…
- Cited by 5 (0 self) – Add To MetaCart
-
The Logic of E-contracting Abstract The Logic of E-contracting
- … of the obligations; reasoning about the obligations; carrying out the negotiations; carrying out the act…
- Add To MetaCart
-
A Framework for Developing Mobile, Context-aware Applications
- … and the dependencies between a set of sensors, gives us the ability to efficiently reason about the truth of a…
- Add To MetaCart
-
A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion
- … truth-values given earlier, a four-valued reasoning in general can be seen as reasoning about truth…
- Cited by 4 (0 self) – Add To MetaCart
-
Non-monotonic Extensions of Logic Programming: Theory, Implementation and Applications
- …-values, a fourvalued reasoning in general can be seen as reasoning about truth and falsity of propositions…
- Add To MetaCart
-
Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness
- … as reasoning about truth and falsity of propositions, the only distinction from classical reasoning being…
- Cited by 5 (2 self) – Add To MetaCart
-
ON COUNTERFACTUAL METAPHORS AND PARADOX
- … of counterfactual reasoning. In the classical view, counterfactual reasoning is a case of reasoning about the truth…
- Add To MetaCart
-
A Two-Sorted Interpretation for Annotated Logic
- … an explicit (i.e. syntactic) representation of truth-values, it was useful to reason about truth valuations…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
