Hybrid Knowledge Bases
暂无分享,去创建一个
[1] Alan M. Frisch. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning , 1991, Artif. Intell..
[2] Neil V. Murray,et al. Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics , 1993, ISMIS.
[3] Sushil Jajodia,et al. Dealing with Granularity of Time in Temporal Databases , 1991, CAiSE.
[4] James J. Lu,et al. Computing Annotated Logic Programs , 1994, ICLP.
[5] Krzysztof R. Apt,et al. Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[6] Jungyun Seo,et al. Classifying schematic and data heterogeneity in multidatabase systems , 1991, Computer.
[7] Ravi Krishnamurthy,et al. Language features for interoperability of databases with schematic discrepancies , 1991, SIGMOD '91.
[8] Anil Nerode,et al. Implementing deductive databases by linear programming , 1992, PODS.
[9] Reiner Hähnle,et al. Uniform Notation of Tableau Rules for Multiple-Valued Logics , 1991, ISMVL.
[10] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.
[11] Gio Wiederhold,et al. Mediators in the architecture of future information systems , 1992, Computer.
[12] Gio Wiederhold,et al. Intelligent integration of information , 1993, SIGMOD Conference.
[13] Kenneth A. Ross,et al. Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.
[14] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[15] V. S. Subrahmanian,et al. Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing , 1993, J. Log. Program..
[16] Peter Bernus,et al. Querying Heterogeneous Databases: A Case Study , 1993, Australian Database Conference.
[17] Roland H. C. Yap,et al. The CLP( R ) language and system , 1992, TOPL.
[18] John Grant,et al. An algebra and calculus for relational multidatabase systems , 1991, [1991] Proceedings. First International Workshop on Interoperability in Multidatabase Systems.
[19] Sushil Jajodia,et al. Integrating Temporal Data in a Heterogeneous Environment , 1993, Temporal Databases.
[20] V. S. Subrahmanian,et al. Using hybrid knowledge bases for missile siting problems , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.
[21] V. S. Subrahmanian,et al. Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..
[22] Allen Van Gelder,et al. The Alternating Fixpoint of Logic Programs with Negation , 1993, J. Comput. Syst. Sci..
[23] V. S. Subrahmanian,et al. Probabilistic Logic Programming , 1992, Inf. Comput..
[24] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[25] V. S. Subrahmanian. Amalgamating knowledge bases , 1994, TODS.
[26] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.
[27] Saharon Shelah,et al. Reasoning with Time and Chance , 1982, Inf. Control..
[28] Anil Nerode,et al. Towards a theory of hybrid knowledge bases , 1993 .
[29] Reiner Hähnle,et al. Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics , 1990, CSL.
[30] Michael Kifer,et al. RI: a logic for reasoning with inconsistency , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[31] Sarit Kraus,et al. Decision procedures for time and chance , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).
[32] Hanan Samet,et al. The Design and Analysis of Spatial Data Structures , 1989 .