Sciweavers

3856 search results - page 27 / 772

» Models for Automated Earthmoving

26

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

14 years 4 months ago

Model Checking Branching Time Logics

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

28

ECSQARU
2007
Springer

182views Automated Reasoning» more ECSQARU 2007»

Causal Graphical Models with Latent Variables: Learning and Inference

14 years 4 months ago

Causal Graphical Models with Latent Variables: Learning and Inference

Download placid.insa-rouen.fr

Stijn Meganck, Philippe Leray, Bernard Manderick

claim paper

Read More »

24

LPAR
2007
Springer

117views Automated Reasoning» more LPAR 2007»

Algorithms for Propositional Model Counting

14 years 4 months ago

Algorithms for Propositional Model Counting

Download www.dur.ac.uk

Marko Samer, Stefan Szeider

claim paper

Read More »

18

TARK
2007
Springer

105views Automated Reasoning» more TARK 2007»

A canonical model for interactive unawareness

14 years 4 months ago

A canonical model for interactive unawareness

Download www.bgse.uni-bonn.de

Aviad Heifetz, Martin Meier, Burkhard C. Schipper

claim paper

Read More »

25

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

14 years 3 months ago

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

« Prev « First page 27 / 772 Last » Next »