Efficient Reasoning Using the Local Closed-World Assumption-Reference-Cited by-同舟云学术

Efficient Reasoning Using the Local Closed-World Assumption

Published:2000 Issue: Volume: Page:49-58
ISSN:0302-9743
Container-title:Artificial Intelligence: Methodology, Systems, and Applications
language:
Short-container-title:

Author:

Doherty Patrick,Lukaszewicz Witold,Szalas Andrzej

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45331-8_5

Reference16 articles.

1. S. Abiteboul, R. Hull. V. Vianu. Foundations of Databases, Addison-Wesley Pub. Co., 1996.

2. W. Ackermann. Untersuchungen über das Eliminationsproblem der mathematischen Logik, Mathematische Annalen, 110, 390–413, 1935.

3. T. Babaian, J. G. Schmolze. PSIPLAN: Planning with ψ-forms over Partially Closed Worlds, Technical Report.

4. T. Babaian, J: G. Schmolze. PSIPLAN: Open World Planning with ψ-forms, Proceedings of the 5th Int’l Conference on Artificial Intelligence and Planning (AIPS 2000), 2000.

5. P. Doherty, W. Łukaszewicz, A. SzaFlas. A Reduction Result for Circumscribed SemiHorn Formulas, Fundamenta Informaticae, 28, 3–4, 261–271, 1996.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Owlready: Ontology-oriented programming in Python with automatic classification and high level constructs for biomedical ontologies;Artificial Intelligence in Medicine;2017-07

2. Living with Inconsistency and Taming Nonmonotonicity;Datalog Reloaded;2011

3. Representation of Partial Knowledge and Query Answering in Locally Complete Databases;Logic for Programming, Artificial Intelligence, and Reasoning;2006

4. Semantic Web Reasoning Using a Blackboard System;Principles and Practice of Semantic Web Reasoning;2006

5. On the Local Closed-World Assumption of Data-Sources;Logic Programming and Nonmonotonic Reasoning;2005