`Travelled to:`

4 × USA

`Collaborated with:`

V.Pitchumani ∅ V.S.Subrahmanian

`Talks about:`

system (2) formal (2) order (2) inconsist (1) quantlog (1) argument (1) approxim (1) advantag (1) program (1) hardwar (1)

## Person: Zerksis D. Umrigar

### DBLP: Umrigar:Zerksis_D=

### Contributed to:

### Wrote 4 papers:

- NACLP-1990-Umrigar #order #prolog #unification
- Finding Advantageous Orders for Argument Unification for the Prolog WAM (ZDU), pp. 80–96.
- CADE-1988-SubrahmanianU #approximate #consistency #named #reasoning
- QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems (VSS, ZDU), pp. 746–747.
- SLP-1985-UmrigarP85 #empirical #first-order #logic #programming
- An Experiment in Programming with Full First-Order Logic (ZDU, VP), pp. 40–47.
- DAC-1983-UmrigarP #design #hardware #realtime #verification
- Formal verification of a real-time hardware design (ZDU, VP), pp. 221–227.