|
V. S. Subrahmanian:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Dana S. Nau:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Dana S. Nau cite V. S. SubrahmanianOrdered by citing publication[Change the order to 'ordered by cited']
-
V. S. Subrahmanian, Dana S. Nau, Carlo Vago
WFS + Branch and Bound = Stable Models. [Citation Graph (1, 16)][DBLP] IEEE Trans. Knowl. Data Eng., 1995, v:7, n:3, pp:362-377 [Journal] Cites:
-
Vadim Kagan, Anil Nerode, V. S. Subrahmanian
Computing Definite Logic Programs by Partial Instantiation. [Citation Graph (1, 0)][DBLP] Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:161-182 [Journal]
-
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases. [Citation Graph (5, 0)][DBLP] J. ACM, 1994, v:41, n:6, pp:1178-1215 [Journal]
-
Chitta Baral, V. S. Subrahmanian
Stable and Extension Class Theory for Logic Programs and Default Logics. [Citation Graph (4, 0)][DBLP] J. Autom. Reasoning, 1992, v:8, n:3, pp:345-366 [Journal]
-
Chitta Baral, V. S. Subrahmanian
Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. [Citation Graph (2, 0)][DBLP] J. Autom. Reasoning, 1993, v:10, n:3, pp:399-420 [Journal]
-
Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian
A Non-Ground Realization of the Stable and Well-Founded Semantics. [Citation Graph (3, 0)][DBLP] Theor. Comput. Sci., 1996, v:166, n:1&2, pp:221-262 [Journal]
-
Vadam Kagan, Anil Nerode, V. S. Subrahmanian
Computing Minimal Models by Partial Instantiation. [Citation Graph (2, 0)][DBLP] Theor. Comput. Sci., 1996, v:155, n:1, pp:157-177 [Journal]
-
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
Implementing Deductive Databases by Mixed Integer Programming. [Citation Graph (3, 30)][DBLP] ACM Trans. Database Syst., 1996, v:21, n:2, pp:238-269 [Journal]
|