Bibliothek

feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Digitale Medien
    Digitale Medien
    Springer
    Journal of automated reasoning 12 (1994), S. 157-208 
    ISSN: 1573-0670
    Schlagwort(e): Belief revision ; update ; algorithms
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: 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.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Digitale Medien
    Digitale Medien
    Springer
    The journal of supercomputing 10 (1996), S. 191-211 
    ISSN: 1573-0484
    Schlagwort(e): Parallel I/O ; collective I/O ; parallel file systems ; multidimensional arrays ; application program interfaces
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: 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.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Digitale Medien
    Digitale Medien
    Springer
    Journal of intelligent information systems 5 (1995), S. 79-79 
    ISSN: 1573-7675
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Digitale Medien
    Digitale Medien
    Springer
    Annals of mathematics and artificial intelligence 3 (1991), S. 429-450 
    ISSN: 1573-7470
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Mathematik
    Notizen: 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.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Titel: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data; Vol. 23
    Beteiligte Person(en): Snodgrass, Richard T. , Winslett, Marianne , ACM / SIGMOD , ACM / SIGMOD
    Verlag: New York, NY :ACM,
    Erscheinungsjahr: 1994
    Seiten: 525 S.
    Serie: SIGMOD Record Vol. 23
    Materialart: Buch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...