Sciweavers

4573 search results - page 82 / 915

» Automated Reasoning

183

ECSQARU
2011
Springer

235views Automated Reasoning» more ECSQARU 2011»

Constructing Dynamic Frames of Discernment in Cases of Large Number of Classes

14 years 6 months ago

Constructing Dynamic Frames of Discernment in Cases of Large Number of Classes

Download www-labsticc.univ-ubs.fr

Yousri Kessentini, Thomas Burger, Thierry Paquet

claim paper

Read More »

122

LICS
2012
IEEE

203views Automated Reasoning» more LICS 2012»

Better Abstractions for Timed Automata

13 years 5 months ago

Better Abstractions for Timed Automata

Download www.labri.fr

Frédéric Herbreteau, B. Srivathsan, ...

claim paper

Read More »

105

ECSQARU
2005
Springer

84views Automated Reasoning» more ECSQARU 2005»

Unifying Logical and Probabilistic Reasoning

15 years 8 months ago

Unifying Logical and Probabilistic Reasoning

Download www.iam.unibe.ch

Rolf Haenni

claim paper

Read More »

91

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 9 months ago

Model-Checking First-Order Logic: Automata and Locality

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

69

CSL
2007
Springer

87views Automated Reasoning» more CSL 2007»

Omega-Regular Half-Positional Winning Conditions

15 years 9 months ago

Omega-Regular Half-Positional Winning Conditions

Download www.mimuw.edu.pl

Eryk Kopczynski

claim paper

Read More »

« Prev « First page 82 / 915 Last » Next »