The following pages link to Daniel G. Schwartz (Q192652):
Displaying 17 items.
- Axioms for a theory of semantic equivalence (Q580325) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- The case for an interval-based representation of linguistic truth (Q1077402) (← links)
- Fuzzy inference in a formal theory of semantic equivalence (Q1119563) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- A resolution-based system for symbolic approximate reasoning (Q1809351) (← links)
- A Logic for Qualified Syllogisms (Q2940787) (← links)
- (Q3198890) (← links)
- Dynamic agent-oriented reasoning about belief and trust (Q3542784) (← links)
- On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic (Q3754615) (← links)
- Semantic Completeness of Free-Variable Theories (Q3754616) (← links)
- A Free-Variable Theory of Primitive Recursive Arithmetic (Q3762310) (← links)
- ISOMORPHISMS OF SPENCER-BROWN'S LAWS OF FORM AND VARELA'S CALCULUS FOR SELF-REFERENCE† (Q3916438) (← links)
- Algorithms for Maintaining a Consistent Knowledge Base in Distributed Multiagent Environments (Q4930212) (← links)
- Formal Specifications for a Document Management Assistant (Q4930213) (← links)
- Dynamic Reasoning Systems (Q5277897) (← links)
- Layman's probability theory: A calculus for reasoning with linguistic likelihood (Q5938830) (← links)