Automated deduction by theory resolution
Journal of Automated Reasoning
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
RI: A logic for reasoning with inconsistency
Proceedings of the Fourth Annual Symposium on Logic in computer science
The design and analysis of spatial data structures
The design and analysis of spatial data structures
Federated database systems for managing distributed, heterogeneous, and autonomous databases
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
Dealing with granularity of time in temporal databases
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
Handbook of theoretical computer science (vol. B)
Language features for interoperability of databases with schematic discrepancies
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
The substitutional framework for sorted deduction: fundamental results on hybrid reasoning
Artificial Intelligence - Special issue on knowledge representation
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing deductive databases by linear programming
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Probabilistic logic programming
Information and Computation
Amalgamating knowledge bases, II: algorithms, data structures, and query processing
Amalgamating knowledge bases, II: algorithms, data structures, and query processing
Intelligent integration of information
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A logic for reasoning with inconsistency
Journal of Automated Reasoning
ACM Transactions on Database Systems (TODS)
Computing annotated logic programs
Proceedings of the eleventh international conference on Logic programming
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
Logical Foundations of Object-Oriented and Frame-Based Languages
Logical Foundations of Object-Oriented and Frame-Based Languages
Efficient maintenance of materialized mediated views
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Query caching and optimization in distributed mediator systems
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Logic-based artificial intelligence
Foundations of distributed interaction systems
Annals of Mathematics and Artificial Intelligence
Composite Distributive Lattices as Annotation Domains for Mediators
Annals of Mathematics and Artificial Intelligence
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Combining Description Logics with Stratified Logic Programs in Knowledge Representation
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Inference for Annotated Logics over Distributive Lattices
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Stable Model Semantics of Weight Constraint Rules
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Foundation for Hybrid Knowledge Bases
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Network Visualization of Heterogeneous US Army War Reserve Readiness Data
MIS '98 Proceedings of the 4th International Workshop on Advances in Multimedia Information Systems
Composite Distributive Lattices as Annotation Domains for Mediators
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Introducing dynamic behavior in amalgamated knowledge bases
Theory and Practice of Logic Programming
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
The dream of a global knowledge network—A new approach
Journal on Computing and Cultural Heritage (JOCCH)
GAPs: Geospatial Abduction Problems
ACM Transactions on Intelligent Systems and Technology (TIST)
An ontology-based approach to heterogeneous verification of embedded control systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Privacy preservation using multi-context systems and default logic
Correct Reasoning
Hi-index | 0.00 |
Deductive databases that interact with, and are accessed by, reasoning agents in the real world (such as logic controllers in automated manufacturing, weapons guidance systems, aircraft landing systems, land-vehicle maneuvering systems, and air-traffic control systems) must have the ability to deal with multiple modes of reasoning. Specifically, the types of reasoning we are concerned with include, among others, reasoning about time, reasoning about quantitative relationships that may be expressed in the form of differential equations or optimization problems, and reasoning about numeric modes of uncertainty about the domain which the database seeks to describe. Such databases may need to handle diverse forms of data structures, and frequently they may require use of the assumption-based nonmonotonic representation of knowledge.A hybrid knowledge base is a theoretical framework capturing all the above modes of reasoning. The theory tightly unifies the Constraint Logic Programming Scheme of Jaffar and Lassez [12], the Generalized Annotated Logic Programming Theory of Kifer and Subrahmanian [17], and the Stable Model semantics of Gelfond and Lifschitz [7]. New techniques are introduced which extend both the work on Annotated Logic Programming and the Stable Model semantics. (Proofs are omitted from the paper to ensure readability. Complete details of all results may be found in [24].)