Jack Minker - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 146

2014

Logic and Databases: A History of Deductive DatabasesJack Minker, Dietmar Seipel, Carlo Zaniolo. In Jörg H. Siekmann, editor, Computational Logic. Volume 9 of Handbook of the History of Logic, pages 571-627, Elsevier, 2014. [doi]

2012

To Vladimir Lifschitz on His 65th BirthdayJack Minker. BIRTHDAY 2012: 1-13 [doi]

2011

Opening: Homage to Michael Gelfond on His 65th BirthdayJack Minker. BIRTHDAY 2011: 1-11 [doi]

2007

Developing a Computer Science Department at the University of MarylandJack Minker. annals, 29(4):64-75, 2007. [doi]

Forming a Computer Science Center at the University of MarylandJack Minker. annals, 29(1):49-64, 2007. [doi]

2003

In Memoriam: Raymond ReiterJack Minker. ci, 19(1):1-8, 2003. [doi]

In Memoriam: Raymond ReiterJack Minker. aim, 24(1):13-18, 2003. [doi]

2002

A logic-based approach to data integrationJohn Grant, Jack Minker. tplp, 2(3):323-368, 2002. [doi]

Disjunctive Logic Programming: A Survey and AssessmentJack Minker, Dietmar Seipel. BIRTHDAY 2002: 472-511 [doi]

2001

Editorial (by the Editor in Chief)Jack Minker. tplp, 1(1):3-4, 2001. [doi]

2000

Logic-Based Query Optimization for Object DatabasesJohn Grant, Jarek Gryz, Jack Minker, Louiqa Raschid. tkde, 12(4):529-547, 2000. [doi]

1999

The Workshop on Logic-Based Artificial IntelligenceJack Minker. aim, 20(4):97-102, 1999.

1998

Integrity Constraints: Semantics and ApplicationsParke Godfrey, John Grant, Jarek Gryz, Jack Minker. In Logics for Databases and Information Systems. 1998: 265-306 [doi]

An Overview of Cooperative Answering in DatabasesJack Minker. fqas 1998: 282-285 [doi]

Logic Knowledge Bases With Two Default RulesCarolina Ruiz, Jack Minker. AMAI, 22(3-4):333-361, 1998.

1997

1996

Model Theoretic Approach to View Updates in Deductive DatabasesJosé Alberto Fernández, John Grant, Jack Minker. JAR, 17(2):171-197, 1996.

Semantic Query Optimization for Bottom-Up EvaluationParke Godfrey, Jarek Gryz, Jack Minker. ismis 1996: 561-571

Logic and Databases: A 20 Year RetrospectiveJack Minker. lid 1996: 3-57

Using Priorities to Combine Knowledge BasesShekhar Pradhan, Jack Minker. ijcis, 5(2&3):333, 1996.

1995

Bottom-Up Compuation of Perfect Models for Disjunctive TheoriesJosé Alberto Fernández, Jack Minker. jlp, 25(1):33-51, 1995.

Computing Perfect and Stable Model Using Ordered Model TreesJosé Alberto Fernández, Jack Minker, Adnan H. Yahya. ci, 11:89-112, 1995.

Combining Databases with Prioritized InformationShekhar Pradhan, Jack Minker, V. S. Subrahmanian. jiis, 4(3):231-260, 1995.

1994

1993

Disjunctive LP + Integrity Constraints = Stable Model SemanticsJosé Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian. AMAI, 8(3-4):449-474, 1993.

View Updates in Stratified Disjunctive DatabasesJohn Grant, John F. Horty, Jorge Lobo, Jack Minker. JAR, 11(2):249-267, 1993.

On Extended Disjunctive Logic ProgramsJack Minker, Carolina Ruiz. ismis 1993: 1-18

An Overview of Nonmonotonic Reasoning and Logic ProgrammingJack Minker. jlp, 17(2/3&4):95-126, 1993.

1992

Generalized Disjunctive Well-Founded Semantics for Logic ProgramsChitta Baral, Jorge Lobo, Jack Minker. AMAI, 5(2-4):89-131, 1992.

Combining Knowledge Bases Consisting of First-Order AnalysisChitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian. ci, 8:45-71, 1992.

Disjunctive Deductive DatabasesJosé Alberto Fernández, Jack Minker. lpar 1992: 332-356

Semantics of Disjunctive Deductive DatabasesJosé Alberto Fernández, Jack Minker. icdt 1992: 21-50 [doi]

A Cooperative Answering SystemTerry Gaasterland, Parke Godfrey, Jack Minker, Lev Novik. lpar 1992: 478-480

Relaxation as a Platform for Cooperative AnsweringTerry Gaasterland, Parke Godfrey, Jack Minker. jiis, 1(3/4):293-321, 1992.

An Overview of Cooperative AnsweringTerry Gaasterland, Parke Godfrey, Jack Minker. jiis, 1(2):123-157, 1992.

The Impact of Logic Programming on DatabasesJohn Grant, Jack Minker. CACM, 35(3):66-81, 1992.

A Tractable Class of Disjunctive Deductive DatabasesZahidul A. Khandaker, José Alberto Fernández, Jack Minker. deductive 1992: 11-20

A Distributed Load Balancing Scheme for Parallel Logic ProgrammingZheng Lin, Jack Minker. icpp 1992: 66-73

Foundations of disjunctive logic programmingJorge Lobo, Jack Minker, Arcot Rajasekar. Logic Programming, MIT Press, 1992.

1991

Combining Knowledge Bases Consisting of First Order TheoriesChitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian. ismis 1991: 92-101

WF³: A Semantics for Negation in Normal Disjunctive Logic ProgramsChitta Baral, Jorge Lobo, Jack Minker. ismis 1991: 459-468

Combining Multiple Knowledge BasesChitta Baral, Sarit Kraus, Jack Minker. tkde, 3(2):208-220, 1991. [doi]

Bottom-Up Evaluation of Hierarchical Disjunctive Deductive DatabasesJosé Alberto Fernández, Jack Minker. ICLP 1991: 660-675

Semantics of Horn and Disjunctive Logic ProgramsJorge Lobo, Arcot Rajasekar, Jack Minker. TCS, 86(1):93-106, 1991.

Theory of Disjunctive Logic ProgramsJack Minker, Arcot Rajasekar, Jorge Lobo. BIRTHDAY 1991: 613-639

Circumscription and Disjunctive Logic ProgrammingJack Minker, Jorge Lobo 0001, Arcot Rajasekar. BIRTHDAY 1991: 281-304 [doi]

1990

Generalized Well-founded Semantics for Logic Programs (Extended Abstract)Chitta Baral, Jorge Lobo, Jack Minker. cade 1990: 102-116

Logic-Based Approach to Semantic Query OptimizationUpen S. Chakravarthy, John Grant, Jack Minker. TODS, 15(2):162-207, 1990. [doi]

A Fixpoint Semantics for Disjunctive Logic ProgramsJack Minker, Arcot Rajasekar. jlp, 9(1):45-74, 1990.

On Stratified Disjunctive ProgramsArcot Rajasekar, Jack Minker. AMAI, 1:339-357, 1990.

1989

1988

1987

1986

1985

1984

1983

PRISM: A Parallel Inference System for Problem SolvingSimon Kasif, Madhur Kohli, Jack Minker. IJCAI 1983: 544-546

Intelligent Control Using Integrity ConstraintsMadhur Kohli, Jack Minker. AAAI 1983: 202-205

On recursive axioms in deductive databasesJack Minker, Jean-Marie Nicolas. is, 8(1):1-13, 1983.

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Jack Minker'

Viewing Publication 1 - 100 from 146

2014

2012

2011

2007

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1989

1988

1987

1986

1985

1984

1983

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Jack Minker'

Viewing Publication 1 - 100 from 146

2014

2012

2011

2007

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1989

1988

1987

1986

1985

1984

1983

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1