To vladimir lifschitz on his 65th birthday | 0 | 0.34 | 2012 |
Forming a Computer Science Center at the University of Maryland | 1 | 0.37 | 2007 |
Developing a Computer Science Department at the University of Maryland | 2 | 0.44 | 2007 |
Disjunctive Logic Programming: A Survey and Assessment | 17 | 1.08 | 2002 |
A logic-based approach to data integration | 26 | 1.70 | 2001 |
The Workshop on Logic-Based Artificial Intelligence | 6 | 0.54 | 1999 |
Integrity constraints: semantics and applications | 45 | 3.12 | 1998 |
Logic knowledge bases with two default rules | 4 | 0.40 | 1998 |
Logic and Databases: Past, Present, and Future | 3 | 0.58 | 1997 |
Semantic Query Optimization for Object Databases | 36 | 13.80 | 1997 |
Model generation and state generation for disjunctive logic programs | 22 | 1.02 | 1997 |
A Characterization of the Partial Stable Models For Disjunctive Databases | 6 | 0.54 | 1997 |
Combining closed world assumptions with stable negation | 3 | 0.37 | 1997 |
Semantic query optimization for bottom-up evaluation | 9 | 0.91 | 1996 |
Model theoretic approach to view updates in deductive databases | 14 | 0.59 | 1996 |
Logic and databases: a 20 year retrospective | 49 | 1.72 | 1996 |
Using Priorities To Combine Knowledge Bases | 8 | 0.60 | 1996 |
Computing perfect and stable models using ordered model trees | 6 | 0.42 | 1995 |
Static Semantics for Normal and Disjunctive Logic Programs | 54 | 3.03 | 1995 |
Bottom-up computation of perfect models for disjunctive theories | 31 | 1.39 | 1995 |
Combining databases with prioritized information | 12 | 0.64 | 1995 |
An Architecture for a Cooperative Database System | 17 | 1.33 | 1994 |
Combining Datalog databases using priorities | 5 | 0.52 | 1994 |
Query evaluation in partitioned disjunctive deductive databases | 3 | 0.47 | 1994 |
Overview of Disjunctive Logic Programming | 13 | 1.12 | 1994 |
Ordered model trees: a normal form for disjunctive deductive databases | 11 | 0.94 | 1994 |
Combining Default Logic Databases | 5 | 0.53 | 1994 |
Semantics for disjunctive logic programs with explicit and default negation | 17 | 0.87 | 1994 |
Computing stable and partial stable models of extended disjunctive logic programs | 15 | 0.83 | 1994 |
View updates in stratified disjunctive databases | 22 | 0.80 | 1993 |
On Extended Disjunctive Logic Programs | 16 | 0.79 | 1993 |
Disjunctive LP + Integrity Constraints = Stable Model Semantics | 13 | 1.07 | 1993 |
Semantics of Disjunctive Deductive Databases | 78 | 99.93 | 1992 |
Combining Knowledge Bases Consisting of First-Order Analysis | 21 | 1.17 | 1992 |
The impact of logic programming on databases | 116 | 16.01 | 1992 |
A Tractable Class of Disjunctive Deductive Databases | 4 | 0.50 | 1992 |
A Cooperative Answering System | 13 | 2.04 | 1992 |
An overview of cooperative answering | 126 | 14.63 | 1992 |
Generalized Disjunctive Well-Founded Semantics for Logic Programs | 18 | 2.46 | 1992 |
Relaxation as a platform for cooperative answering | 70 | 15.21 | 1992 |
Disjunctive deductive databases | 10 | 0.80 | 1992 |
Theory of Disjunctive Logic Programs | 9 | 0.73 | 1991 |
Semantics of Horn and disjunctive logic programs | 4 | 0.43 | 1991 |
Circumscription and disjunctive logic programming | 2 | 0.35 | 1991 |
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs | 16 | 2.36 | 1991 |
Bottom-Up Evaluation Of Hierarchical Disjunctive Deductive Databases | 28 | 4.41 | 1991 |
COMBINING KNOWLEDGE BASES CONSISTING OF FIRST-ORDER THEORIES | 104 | 10.67 | 1991 |
On stratified disjunctive programs | 3 | 0.47 | 1990 |
Logic-based approach to semantic query optimization | 193 | 60.70 | 1990 |
A fixpoint semantics for disjunctive logic programs | 93 | 12.43 | 1990 |