Sciweavers

23 search results - page 1 / 5

» amai 2006

61

AMAI
2006
Springer

63views Artificial Intelligence» more AMAI 2006»

Reasoning on temporal class diagrams: Undecidability results

14 years 11 months ago

Reasoning on temporal class diagrams: Undecidability results

Download www.inf.unibz.it

Alessandro Artale

claim paper

Read More »

70

Voted

AMAI
2006
Springer

74views Artificial Intelligence» more AMAI 2006»

Multi-modal nonmonotonic logics of minimal knowledge

14 years 11 months ago

Multi-modal nonmonotonic logics of minimal knowledge

Download www.dis.uniroma1.it

Riccardo Rosati

claim paper

Read More »

76

AMAI
2006
Springer

82views Artificial Intelligence» more AMAI 2006»

Message delay and DisCSP search algorithms

14 years 11 months ago

Message delay and DisCSP search algorithms

Download www.cs.bgu.ac.il

Roie Zivan, Amnon Meisels

claim paper

Read More »

81

Voted

AMAI
2006
Springer

86views Artificial Intelligence» more AMAI 2006»

Stochastic process semantics for dynamical grammars

14 years 11 months ago

Stochastic process semantics for dynamical grammars

Download computableplant.ics.uci.edu

Eric Mjolsness, Guy Yosiphon

claim paper

Read More »

84

Voted

AMAI
2006
Springer

83views Artificial Intelligence» more AMAI 2006»

Learning dynamic algorithm portfolios

14 years 11 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 »