Sciweavers

12 search results - page 1 / 3
» ismis 2000
Sort
View
ISMIS
2000
Springer
13 years 8 months ago
A Simple and Tractable Extension of Situation Calculus to Epistemic Logic
Robert Demolombe, Maria del Pilar Pozos Parra
ISMIS
2000
Springer
13 years 8 months ago
Knowledge Representation in Planning: A PDDL to OCLh Translation
Ron M. Simpson, T. L. McCluskey, Donghong Liu, Dia...
ISMIS
2000
Springer
13 years 8 months ago
Top-Down Query Processing in First Order Deductive Databases under the DWFS
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
C. A. Johnson
ISMIS
2000
Springer
13 years 8 months ago
Extended Query Answering Using Integrity Rules
Abstract. The conventional use of databases is commonly restricted to the retrieval of factual data in the form of tuples or records. However most databases also contain metadata i...
Barry G. T. Lowden, Jerome Robinson