BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Japan
2 × France
7 × USA
Collaborated with:
A.Rajasekar J.Lobo U.S.Chakravarthy J.A.Fernández D.Perlis D.Seipel C.Ruiz C.Baral D.Tran N.Eisinger S.Kasif
Talks about:
program (7) databas (6) disjunct (5) logic (5) deduct (3) general (2) semant (2) relat (2) queri (2) horn (2)

Person: Jack Minker

DBLP DBLP: Minker:Jack

Facilitated 1 volumes:

SIGIR 1971Ed

Contributed to:

ILPS 19971997
ICLP 19911991
CADE 19901990
KR 19891989
NACLP 19891989
CADE 19881988
ICLP/SPL 19881988
PODS 19871987
VLDB 19861986
CADE 19841984
CADE 19821982
ILPC 19821982
SIGMOD 19751975

Wrote 15 papers:

ILPS-1997-SeipelMR #database #modelling
A Characterization of the Partial Stable Models For Disjunctive Databases (DS, JM, CR), pp. 245–259.
ICLP-1991-FernandezM #bottom-up #database #deduction #evaluation
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases (JAF, JM), pp. 660–675.
CADE-1990-BaralLM #logic programming #semantics #source code
Generalized Well-founded Semantics for Logic Programs (CB, JL, JM), pp. 102–116.
KR-1989-RajasekarLM #reasoning #source code
Skeptical Reasoning and Disjunctive Programs (AR, JL, JM), pp. 349–356.
NACLP-1989-Minker #logic programming #towards
Toward A Foundation of Disjunctive Logic Programming (JM), pp. 1215–1235.
NACLP-1989-RajasekarM #semantics #source code
A Stratification Semantics for General Disjunctive Programs (AR, JM), pp. 573–586.
CADE-1988-MinkerR #logic programming #source code
Procedural Interpretation of Non-Horn Logic Programs (JM, AR), pp. 278–293.
JICSCP-1988-LoboMR88 #source code
Weak Completion Theory for Non-Horn Programs (JL, JM, AR), pp. 828–842.
PODS-1987-Minker #database #deduction
Perspectives in Deductive Databases (JM), p. 135.
VLDB-1986-ChakravarthyM #database #deduction #graph #multi #query #using
Multiple Query Processing in Deductive Databases using Query Graphs (USC, JM), pp. 384–391.
Applications of Protected Circumscription (JM, DP), pp. 414–425.
CADE-1982-Minker #database #on the
On Indefinite Databases and the Closed World Assumption (JM), pp. 292–308.
ILPC-1982-ChakravarthyMT82 #database #logic #relational
Interfacing Predicate Logic Languages and Relational Databases (USC, JM, DT), pp. 91–98.
ILPC-1982-EisingerKM82 #approach #logic programming #parallel
Logic Programming: A Parallel Approach (NE, SK, JM), pp. 71–77.
SIGMOD-1975-Minker #database
Performing Inferences over Relation Data Bases (JM), pp. 79–91.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.