Query answering in circumscription

Authors:
Nicolas Helft;Katsumi Inoue;David Poole
Affiliations:
Artificial Intelligence Center, SRI International, Menlo Park, CA;ICOT Research Center, Minatoku, Tokyo, Japan;Department of Computer Science, University of British Columbia, Vancouver, B.C., Canada
Venue:
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Year:
1991

Citing 9
Cited 5

Applications of circumscription to formalizing common-sense knowledge

Artificial Intelligence
An assumption-based TMS

Artificial Intelligence
An algorithm to compute circumscription

Artificial Intelligence
On the relationship between circumscription and negation as failure

Artificial Intelligence
A circumscriptive theorem prover

Artificial Intelligence
Explanation and prediction: an architecture for default and abductive reasoning

Computational Intelligence
On theorem provers for circumscription

Proceedings of the eighth biennial conference of the Canadian Society for Computational Studies of Intelligence on CSCSI-90
Reasoning with Incomplete Information

Reasoning with Incomplete Information
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Disjunctive Explanations

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Automated Abduction

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Minimal Answer Computation and SOL

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Induction, Abduction, and Consequence-Finding

ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Transforming prioritized defaults and specificity into parallel defaults

UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper investigates the effects of parallelism on blackboard system scheduling. A parallel blackboard system is described that allows multiple knowledge source instantiations to execute in parallel using a shared-memory blackboard approach. New classes ...