Daniel H. Fishman

Learn More
The Jasmin database machine is being implemented as part of a research project in distributed processing and database management A primary goal of the work is to demonstrate the feasibility of a practical multiprocessor database machine suitable for large database, high transaction-rate applications Key features of Jasmin are its configurable performance,(More)
~L/~.~Research in Deductive Question-Answerins. DANIEL H. FISHMAN, University of Maryland -The research is directed towards the incorporation of mechanical theorem-proving techniques in question-answering systems of practical scale. The approach has been to develop an operational prototype questlon-answering system I which will permit a wide range of(More)
An approach f o r b r i ng i ng semantic, as w e l l as s y n t a c t i c , i n fo rma t ion to bear on the problem of theorem-proving search f o r Question-Answering <QA) Sys­ tems is descr i lsed. The approach is embodied in a search a l g o r i t h m , the 0* search a l g o r i t h m , developed to c o n t r o l deduct ive searches in an exper imental(More)
In this paper a system termed the Maryland refutation proof procedure system (MRPPS) is described. MRPPS is an interactive system which gives the user the ability to create and maintain a core-bound data base and to input queries either as well-formed formulas in the first-order predicate calculus or as clauses. MRPPS consists of three basic components: (1)(More)