Jack Minker (minker-j)

Contributions to Philosophie.ch

Bibliography

Baral, Chitta, Kraus, Sarit, Minker, Jack and Subramanian, V. S. 1992. “Combining Knowledge Bases Consisting of First Order Theories.” Computational Intelligence 8.
Baral, Chitta, Lobo, Jorge and Minker, Jack. 1990. “Generalized Disjunctive Well-Founded Semantics for Logic Programs: Declarative Semantics.” in Methodologies for Intelligent Systems: Proceedings of the Fifth International Symposium, edited by Zbigniew Raś, Maria Zemankova, and Mary L. Emrich. Amsterdam: North-Holland Publishing Co.
Chakravarthy, U. S., Grant, John and Minker, Jack. 1988. “Foundations of Semantic Query Optimization for Deductive Databases.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 243–273. San Francisco, California: Morgan Kaufmann Publishers.
Fishman, Daniel H. and Minker, Jack. 1975. “\(\Pi\)-Representation: A Clause Representation for Parallel Search.” Artificial Intelligence 6(2): 103–127.
Gaasterland, Terry, Minker, Jack and Rajasekar, Arcot. 1990. “Deductive Database Systems and Knowledge Base Systems.” umiacs–tr–90–:116. College Park, Maryland: Institute for Advanced Computer Studies, University of Maryland.
Gallaire, Hervé and Minker, Jack, eds. 1978. Logic and Data Bases. New York: Plenum Press.
Lobo, Jorge, Minker, Jack and Rajasekar, Arcot. 1992. Foundations of Disjunctive Logic Programming. Cambridge, Massachusetts: The MIT Press.
Lobo, Jorge, Minker, Jack and Rajasekar, Arcot. 1998. “Semantics for Disjunctive and Normal Disjunctive Logic Programs.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 325–355. Oxford: Oxford University Press.
Minker, Jack. 1982. “On Indefinite Databases and the Closed World Assumption.” in Proceedings of the 6th Conference on Automated Deduction, edited by Donald W. Loveland, pp. 292–308. Lecture Notes in Computer Science. Berlin: Springer. Reprinted in Ginsberg (1987, 326–333).
Minker, Jack, ed. 1988a. Foundations of Deductive Databases and Logic Programming. San Francisco, California: Morgan Kaufmann Publishers.
Minker, Jack. 1988b. “Introduction.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 1–16. San Francisco, California: Morgan Kaufmann Publishers.
Minker, Jack. 1997. “Logic and Databases: Past, Present and Future.” The AI Magazine 18(3): 21–47.
Minker, Jack, ed. 2000a. Logic-Based Artificial Intelligence. Dordrecht: Kluwer Academic Publishers.
Minker, Jack. 2000b. “Introduction to Logic-Based Artificial Intelligence.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 3–33. Dordrecht: Kluwer Academic Publishers.
Minker, Jack, Fishman, Daniel H. and McSkimin, James R. 1973. “The Q* Algorithm – A Search Strategy for a Deductive Question-Answering System.” Artificial Intelligence 4(3–4): 225–243.
Minker, Jack, Lobo, Jorge and Rajasekar, Arcot. 1991. “Circumscription and Disjunctive Logic Programming.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 281–304. New York: Academic Press.
Minker, Jack, Seipel, Dietmar and Zaniolo, Carlo. 2014. “Logic and Databases: A History of Deductive Databases.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 571–628. Amsterdam: Elsevier Science Publishers B.V.
Perlis, Donald and Minker, Jack. 1986. “Completeness Results for Circumscription.” Artificial Intelligence 28(1): 29–42.
Rajasekar, Arcot, Lobo, Jorge and Minker, Jack. 1989. “Skeptical Reasoning and Disjunctive Programs.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 349–356. San Francisco, California: Morgan Kaufmann Publishers.

Further References

Ginsberg, Matthew L., ed. 1987. Readings in Nonmonotonic Reasoning. San Francisco, California: Morgan Kaufmann Publishers.