Sciweavers

23 search results - page 1 / 5

» amai 2006

8

AMAI
2006
Springer

63views Artificial Intelligence» more AMAI 2006»

Reasoning on temporal class diagrams: Undecidability results

13 years 4 months ago

Reasoning on temporal class diagrams: Undecidability results

Download www.inf.unibz.it

Alessandro Artale

claim paper

Read More »

10

AMAI
2006
Springer

74views Artificial Intelligence» more AMAI 2006»

Multi-modal nonmonotonic logics of minimal knowledge

13 years 4 months ago

Multi-modal nonmonotonic logics of minimal knowledge

Download www.dis.uniroma1.it

Riccardo Rosati

claim paper

Read More »

8

AMAI
2006
Springer

82views Artificial Intelligence» more AMAI 2006»

Message delay and DisCSP search algorithms

13 years 4 months ago

Message delay and DisCSP search algorithms

Download www.cs.bgu.ac.il

Roie Zivan, Amnon Meisels

claim paper

Read More »

8

AMAI
2006
Springer

86views Artificial Intelligence» more AMAI 2006»

Stochastic process semantics for dynamical grammars

13 years 4 months ago

Stochastic process semantics for dynamical grammars

Download computableplant.ics.uci.edu

Eric Mjolsness, Guy Yosiphon

claim paper

Read More »

11

AMAI
2006
Springer

83views Artificial Intelligence» more AMAI 2006»

Learning dynamic algorithm portfolios

13 years 4 months ago

Learning dynamic algorithm portfolios

Download www.idsia.ch

Matteo Gagliolo, Jürgen Schmidhuber

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »