http:^^karna.cs.umd.edu:3264^people^minker.html

This data set contains WWW-pages collected from computer science departments of various universities

<name=MiRu:OEDLP:93>
<!WA68><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA69><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a> and
<!WA70><a href=http://karna.cs.umd.edu:3264/people/carolina.html>Carolina Ruiz</a>,
On Extended Disjunctive Logic Programs,
Proceedings of the Seventh International Symposium on Methodologies
for Intelligent Systems.
<em>(Invited Paper)</em>,
Edited by J. Komorowski and Z.W. Ras,
Lecture Notes in Artifical Intelligence,
Springer-Verlag,
pages 1-18,
June 1993.
<p>
<li>
<!WA71><a href=http://karna.cs.umd.edu:3264/papers/GHLM93:update/GHLM93:update.html><name=GrHoLoMi:VUISDDJARV:93><!WA72><img src=http://karna.cs.umd.edu:3264/gif/exist.xbm></a>
J. Grant, J. Horty, J. Lobo, <!WA73><a href=http://karna.cs.umd.edu:3264/people/minker.html>J. Minker</a>. View  Updates  in  Stratified  Disjunctive  Databases Journal Automated Reasoning, Vol. 11, March 1993, pp. 249-267., 1993

<p>
<li>
<!WA74><a href=http://karna.cs.umd.edu:3264/papers/FM93:bottomup/FM:ILPS91.html>
<name=FeMi:BCOPMFDT:93>
<!WA75><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA76><a href=http://karna.cs.umd.edu:3264/people/jose.html>Jose Alberto Fernandez</a> and
<!WA77><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,
Bottom-Up Computation of Perfect Models for Disjunctive Theories,
Journal of Logic Programming, 1993.
<em>Submitted.</em><br>
Preliminary version presented at the
Workshop on Disjunctive Logic Programs,
International Logic Programming Symposium 1991,
San Diego, California,
1993.
<p>
<li>
<!WA78><a href=http://karna.cs.umd.edu:3264/papers/FLMS93:stable/FM:Stable.html>
<name=FeLoMiSu:DLICSMS:93>
<!WA79><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA80><a href=http://karna.cs.umd.edu:3264/people/jose.html>Jose Alberto Fernandez</a>,
Jorge Lobo,
<!WA81><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>, and
<!WA82><a href=http://www.cs.umd.edu/users/vs>V.S. Subrahmanian</a>,
Disjunctive LP + Integrity Constraints = Stable Model Semantics,
Annals of Mathematics and Artificial Intelligence,
8(3-4):449-474, 1993. 
<p>
<li>
<!WA83><a href=http://karna.cs.umd.edu:3264/papers/YFM93:ordered/FM:Ordered.html>
<name=YaFeMi:OMTANFFDDD:93>
<!WA84><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
Adnan Yahya,
<!WA85><a href=http://karna.cs.umd.edu:3264/people/jose.html>Jose Alberto Fernandez</a>, and
<!WA86><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,
Ordered Model Trees:
A normal Form for Disjunctive Deductive Databases,
Technical Report UMIACS-TR-93-63 and CS-TR3103,
University of Maryland Institute for Advance Computer Studies,
College Park, MD 20742, July 1993.
<em>Submitted to the Journal of Automated Reasoning.</em>
<p>
<li>
<!WA87><a href=http://karna.cs.umd.edu:3264/papers/GGLLM93:control/CM93.html>
<name=GaGiLiLiMi:UICTCSIKBS:93>
<!WA88><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA89><a href=http://karna.cs.umd.edu:3264/people/terry.html>Terry Gaasterland</a>,
Mark Giuliano,
Anne Litcher,
<!WA90><a href=http://karna.cs.umd.edu:3264/people/yuan.html>Yuan Liu</a>, and
<!WA91><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,
Using Integrity Constraints to Control Search in Knowledge Base Systems,
International Journal of Expert Systems,
pp. 447-487, Volume 6, Number 4, 1993.
<p>
<li>
<!WA92><a href=http://karna.cs.umd.edu:3264/papers/PMS93:combining/PMS93:combining.html>
<name=PrMiSu:CDWPI:93>
<!WA93><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA94><a href=http://karna.cs.umd.edu:3264/people/pradhan.html>Shekhar Pradhan</a>,
<!WA95><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>, and
<!WA96><a href=http://www.cs.umd.edu/users/vs>V.S. Subrahmanian</a>,
Combining Databases with Prioritized Information,
Computer Science Technical Report Series,
University of Maryland at <!WA97><a href=http://karna.cs.umd.edu:3264/gif/dc.gif>College Park</a>,
CS-TR-3116 and UMIACS-TR-93-75,
August 1993.
<p>
<li>
<!WA98><a href=http://karna.cs.umd.edu:3264/papers/GGMN92:lpar/GGMN92:lpar.html>
<name=GaGoMiNo:ACAS:92>
<!WA99><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA100><a href=http://karna.cs.umd.edu:3264/people/terry.html>Terry Gaasterland</a>,
<!WA101><a href=http://karna.cs.umd.edu:3264/people/godfrey/page.html>Parke Godfrey</a>,
<!WA102><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>, and
<!WA103><a href=http://karna.cs.umd.edu:3264/people/lev.html>Lev Novik</a>,
A Cooperative Answering System,
Proceedings of the Logic Programming and Automated Reasoning Conference,
edited by Andrei Voronkov,
Lecture Notes in Artificial Intelligence 624,
Springer-Verlag,
St. Petersburg, Russia,
pages 478-480.
July 1992.
<p>
<li>
<!WA104><a href=http://karna.cs.umd.edu:3264/papers/FM92:dddbs/FM:LPAR92.html>
<name=FeMi:DDD:92>
<!WA105><img src=http://karna.cs.umd.edu:3264/gif/exist.xbm></a>
<!WA106><a href=http://karna.cs.umd.edu:3264/people/jose.html>Jose Alberto Fernandez</a> and
<!WA107><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,
Disjunctive Deductive Databases,
Proceedings of the Logic Programming and Automated Reasoning Conference,
1992.
<p>
<li>
<!WA108><a href=http://karna.cs.umd.edu:3264/papers/GGMN92:space/paper.html>
<!WA109><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA110><a href=http://karna.cs.umd.edu:3264/people/terry.html>Terry Gaasterland</a>,
<!WA111><a href=http://karna.cs.umd.edu:3264/people/godfrey/page.html>Parke Godfrey</a>,
<!WA112><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>, and
<!WA113><a href=http://karna.cs.umd.edu:3264/people/lev.html>Lev Novik</a>,
Cooperative Answers in Database Systems,
Proceedings of the Space Operations, Applications, and Research Conference,
Houston, Texas, August 1992.
<p>
<li>
<!WA114><a href=http://karna.cs.umd.edu:3264/papers/FM92:sematics/FM:ICDT92.html>
<name=FeMi:SODD:92>
<!WA115><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA116><a href=http://karna.cs.umd.edu:3264/people/jose.html>Jose Alberto Fernandez</a> and
<!WA117><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>.
Semantics of Disjunctive Databases,
International Conference on Data Technologies,
1992.
<p>
<li>
<!WA118><a href=http://karna.cs.umd.edu:3264/papers/GGM92:relax/relaxation.html>
<name=GaGoMi:RAAPFCA:92>
<!WA119><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA120><a href=http://karna.cs.umd.edu:3264/people/terry.html>Terry Gaasterland</a>, 
<!WA121><a href=http://karna.cs.umd.edu:3264/people/godfrey/page.html>Parke Godfrey</a>, and
<!WA122><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,
Relaxation as a platform for cooperative answering,
Journal of Intelligent Information Systems,
1:293-321, 1992.
<p>
<li>
<!WA123><a href=http://karna.cs.umd.edu:3264/papers/GGM92:survey/GGM92:survey.html>
<name=GaGoMi:AOOCA:92>
<!WA124><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA125><a href=http://karna.cs.umd.edu:3264/people/terry.html>Terry Gaasterland</a>,
<!WA126><a href=http://karna.cs.umd.edu:3264/people/godfrey/page.html>Parke Godfrey</a> and
<!WA127><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,
An Overview of Cooperative Answering,
Journal of Intelligent Information Systems,
Kluwer Academic Publishers,
vol. 1, no. 2, pp. 123-157, 1992.
(Invited paper.)
<p>
<em>Also appears as:</em><br>
<!WA128><a href=http://karna.cs.umd.edu:3264/people/terry.html>Terry Gaasterland</a>,
<!WA129><a href=http://karna.cs.umd.edu:3264/people/godfrey/page.html>Parke Godfrey</a> and
<!WA130><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,
An Overview of Cooperative Answering,
Nonstandard Queries and Nonstandard Answers,
edited by Robert Demolombe and Tomasz Imielinski,
in series Studies in Logic and Computation 3,
Clarendon Press, Oxford, pp. 1-40, 1994.
<p>
<li>
<!WA131><a href=http://karna.cs.umd.edu:3264/papers/KFM92:tractable/KFM92:tractable.html>
<name=FeKhMi:ATCODDDWODDI1:92>
<!WA132><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
Zahidul Khandaker,
<!WA133><a href=http://karna.cs.umd.edu:3264/people/jose.html>Jose Alberto Fernandez</a>, and
<!WA134><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,
A Tractable Class of Disjunctive Deductive Databases,
Workshop on Deductive Databases,
International Conference on Logic Programming,
1992.
<p>
<li>
<!WA135><a href=http://karna.cs.umd.edu:3264/papers/banquet89/banquet89.html>
<name=Mi:TAFODLP:89>
<!WA136><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA137><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,
Toward a Foundation of Disjunctive Logic Programming,
Proceedings of the National Conference on Logic Programming,
<em>invited paper</em>,
1989.
<p>
<li>
<!WA138><a href=http://karna.cs.umd.edu:3264/papers/perlis/completecirc.html>
<name=PeMi:CRFC:86>
<!WA139><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA140><a href=http://www.cs.umd.edu/users/perlis>Donald Perlis</a> and
<!WA141><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,
Completeness Results for Circumscription,
Journal of Artificial Intelligence, 1986.
<p>
<li>
<!WA142><a href=http://karna.cs.umd.edu:3264/papers/perlis/comprotcirc.html>
<name=MiPe:CPC:85>
<!WA143><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>
<!WA144><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a> and
<!WA145><a href=http://www.cs.umd.edu/users/perlis>Donald Perlis</a>,
Computing Protected Circumscription,
Journal of Logic Programming,
1985.
<p>
</ul>

</body>

<hr>
<!WA146><a href="http://karna.cs.umd.edu:3264/BACK/people/minker.html">
<!WA147><img src="http://karna.cs.umd.edu:3264/gif/petite_arbre.gif">
<em>Back-links<em></a>

<hr><em>Last modified: Fri Aug 16 15:52:42 1996
</em>