Daniel G. Schwartz

Available identifiers

Publication	Date of Publication	Type
Dynamic Reasoning Systems	2017-07-12	Paper
A Logic for Qualified Syllogisms	2015-01-21	Paper
Algorithms for Maintaining a Consistent Knowledge Base in Distributed Multiagent Environments	2010-09-28	Paper
Formal Specifications for a Document Management Assistant	2010-09-28	Paper
Dynamic agent-oriented reasoning about belief and trust	2008-12-01	Paper
Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief	2006-02-07	Paper
Dynamic reasoning with qualified syllogisms	2003-08-28	Paper
Layman's probability theory: A calculus for reasoning with linguistic likelihood	2001-10-01	Paper
A resolution-based system for symbolic approximate reasoning	1999-12-20	Paper
Fuzzy inference in a formal theory of semantic equivalence	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3198890	1989-01-01	Paper
Axioms for a theory of semantic equivalence	1987-01-01	Paper
On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic	1987-01-01	Paper
A Free-Variable Theory of Primitive Recursive Arithmetic	1987-01-01	Paper
Semantic Completeness of Free-Variable Theories	1987-01-01	Paper
The case for an interval-based representation of linguistic truth	1985-01-01	Paper
ISOMORPHISMS OF SPENCER-BROWN'S LAWS OF FORM AND VARELA'S CALCULUS FOR SELF-REFERENCE†	1981-01-01	Paper

This page was built for person: Daniel G. Schwartz