Sciweavers

122

Voted

PNPM
1987

78views Artificial Intelligence» more PNPM 1987»

Stochastic Petri Net Analysis of a Replicated File System

15 years 7 months ago

Stochastic Petri Net Analysis of a Replicated File System

Download www.cs.ucr.edu

We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to...

Joanne Bechta Dugan, Gianfranco Ciardo

claim paper

Read More »

139

Voted

PNPM
1987

86views Artificial Intelligence» more PNPM 1987»

Toward a Definition of Modeling Power for Stochastic Petri Net Models

15 years 7 months ago

Toward a Definition of Modeling Power for Stochastic Petri Net Models

Download www.cs.ucr.edu

Some insight on the meaning of "modeling power" for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or ...

Gianfranco Ciardo

claim paper

Read More »

22

Voted

OGAI
1987

54views Artificial Intelligence» more OGAI 1987»

Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse

15 years 7 months ago

Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse

Download www.dfki.de

Thomas Rist, Gerd Herzog, Elisabeth André

claim paper

Read More »

23

Voted

KI
1987
Springer

45views Artificial Intelligence» more KI 1987»

Many-Sorted Resolution

15 years 7 months ago

Many-Sorted Resolution

Download www.aaai.org

Christoph Walther

claim paper

Read More »

36

Voted

IEAAIE
1989
Springer

63views Artificial Intelligence» more IEAAIE 1989»

Hierarchical scheduling in an intelligent environmental control system

15 years 7 months ago

Hierarchical scheduling in an intelligent environmental control system

Download smslab.kaist.ac.kr

Tag Gon Kim, Bernard P. Zeigler

claim paper

Read More »

60

Voted

ISMIS
1987
Springer

84views Artificial Intelligence» more ISMIS 1987»

Knowledge and the Problem of Logical Omniscience

15 years 7 months ago

Knowledge and the Problem of Logical Omniscience

Download www.sci.brooklyn.cuny.edu

Rohit Parikh

claim paper

Read More »

60

Voted

ISMIS
1987
Springer

61views Artificial Intelligence» more ISMIS 1987»

Resolution for Intuitionistic Logic

15 years 7 months ago

Resolution for Intuitionistic Logic

Download comet.lehman.cuny.edu

Melvin Fitting

claim paper

Read More »

39

Voted

ICAIL
1987
ACM

55views Artificial Intelligence» more ICAIL 1987»

A Case-Based System for Trade Secrets Law

15 years 7 months ago

A Case-Based System for Trade Secrets Law

Download logic.stanford.edu

Edwina L. Rissland, Kevin D. Ashley

claim paper

Read More »

43

Voted

ICAIL
1987
ACM

46views Artificial Intelligence» more ICAIL 1987»

Conceptual Retrieval and Case Law

15 years 7 months ago

Conceptual Retrieval and Case Law

Download ftp.cs.toronto.edu

Judith P. Dick

claim paper

Read More »

112

Voted

JELIA
1994
Springer

102views Artificial Intelligence» more JELIA 1994»

Autoepistemic Logic of Minimal Beliefs

15 years 7 months ago

Autoepistemic Logic of Minimal Beliefs

Download www.aaai.org

Teodor C. Przymusinski

claim paper

Read More »