artificial intelligence

Speci cationformalismsinwhichcausalityandindependenceofactionscanbeexplicitlyexpressedarebene cialfromadesignpointofview.Theexplicitpresence(orabsence)ofacausaldependencybetweenact...

Joost-Pieter Katoen

claim paper

Read More »

25

click to vote

APN
1995
Springer

128views Artificial Intelligence» more APN 1995»

Modular State Space Analysis of Coloured Petri Nets

13 years 11 months ago

Download www.daimi.au.dk

State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...

Søren Christensen, Laure Petrucci

claim paper

Read More »

34

click to vote

APN
1995
Springer

155views Artificial Intelligence» more APN 1995»

An Algebraic Semantics for Hierarchical P/T Nets

13 years 11 months ago

Download www.ics.ele.tue.nl

The ﬁrst part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...

Twan Basten, Marc Voorhoeve

claim paper

Read More »

27

click to vote

SARA
2000
Springer

81views Artificial Intelligence» more SARA 2000»

Recent Progress in the Design and Analysis of Admissible Heuristic Functions

13 years 11 months ago

Download rakaposhi.eas.asu.edu

In the past several years, significant progress has been made in finding optimal solutions to combinatorial problems. In particular, random instances of both Rubik's Cube, wi...

Richard E. Korf

claim paper

Read More »

23

click to vote

SARA
2000
Springer

95views Artificial Intelligence» more SARA 2000»

On Reformulating Planning as Dynamic Constraint Satisfaction

13 years 11 months ago

Download ti.arc.nasa.gov

Jeremy Frank, Ari K. Jónsson, Paul H. Morri...

claim paper