Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 12 (1994), S. 157-208 
    ISSN: 1573-0670
    Keywords: Belief revision ; update ; algorithms
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Numerous belief revision and update semantics have been proposed in the literature in the past few years, but until recently, no work in the belief revision literature has focussed on the problem of implementing these semantics, and little attention has been paid to algorithmic questions. In this paper, we present and analyze our update algorithms built in Immortal, a model-based belief revision system. These algorithms can work for a variety of model-based belief revision semantics proposed to date. We also extend previously proposed semantics to handle updates involving the equality predicate and function symbols and incorporate these extensions in our algorithms. As an example, we discuss the use of belief revision semantics to model the action-augmented envisioning problem in qualitative simulation, and we show the experimental results of running an example simulation in Immortal.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    The journal of supercomputing 10 (1996), S. 191-211 
    ISSN: 1573-0484
    Keywords: Parallel I/O ; collective I/O ; parallel file systems ; multidimensional arrays ; application program interfaces
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Large multidimensional arrays are a common data type in high-performance scientific applications. Without special techniques for handling input and output, I/O can easily become a large fraction of execution time for applications using these arrays, especially on parallel platforms. Our research seeks to provide scientific programmers with simpler and more abstract interfaces for accessing persistent multidimensional arrays, and to produce advanced I/O libraries supporting more efficient layout alternatives for these arrays on disk and in main memory. We have created the Panda (Persistence AND Arrays) I/O library as a result of developing interfaces and libraries for applications in computational fluid dynamics in the areas of checkpoint, restart, and time-step output data. In the applications we have studied, we find that a simple, abstract interface can be used to insulate programmers from physical storage implementation details, while providing improved I/O performance at the same time.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent information systems 5 (1995), S. 79-79 
    ISSN: 1573-7675
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Annals of mathematics and artificial intelligence 3 (1991), S. 429-450 
    ISSN: 1573-7470
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract Circumscription has been proposed by researchers in artificial intelligence as a means of formalizing common-sense conclusions about the state of the world, by assuming that unlikely or abnormal states do not occur unless there is evidence to the contrary. Circumscription produces this effect by placing a partial order on the models of a theory, and accepting as true those statements that are true in all models of the theory that are minimal with respect to the partial order. This allows one to conclude, for example, that a car will start when the key is turned in its ignition, and that the neighbors' unseen dog has four legs and a tail. Here we describe a different use for circumscription, that of specification of semantics for updating knowledge bases expressed in first-order logic.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Title: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data; Vol. 23
    Contributer: Snodgrass, Richard T. , Winslett, Marianne , ACM / SIGMOD , ACM / SIGMOD
    Publisher: New York, NY :ACM,
    Year of publication: 1994
    Pages: 525 S.
    Series Statement: SIGMOD Record Vol. 23
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...