Sciweavers

15840 search results - page 145 / 3168

» The Control of Synchronous Systems

29

FROCOS
2009
Springer

110views Control Systems» more FROCOS 2009»

Axiomatization and Completeness of Lexicographic Products of Modal Logics

14 years 5 months ago

Axiomatization and Completeness of Lexicographic Products of Modal Logics

Download disi.unitn.it

Philippe Balbiani

claim paper

Read More »

33

FROCOS
2009
Springer

124views Control Systems» more FROCOS 2009»

Combining Description Logics, Description Graphs, and Rules

14 years 5 months ago

Combining Description Logics, Description Graphs, and Rules

Download disi.unitn.it

Boris Motik

claim paper

Read More »

30

FROCOS
2009
Springer

123views Control Systems» more FROCOS 2009»

Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas

14 years 5 months ago

Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas

Download disi.unitn.it

Luca Pulina, Armando Tacchella

claim paper

Read More »

39

RP
2009
Springer

122views Control Systems» more RP 2009»

Algorithmic Information Theory and Foundations of Probability

14 years 5 months ago

Algorithmic Information Theory and Foundations of Probability

Download www.lif.univ-mrs.fr

Alexander Shen

claim paper

Read More »

28

RP
2009
Springer

102views Control Systems» more RP 2009»

Counting Multiplicity over Infinite Alphabets

14 years 5 months ago

Counting Multiplicity over Infinite Alphabets

Download www.cmi.ac.in

Amaldev Manuel, Ramaswamy Ramanujam

claim paper

Read More »

« Prev « First page 145 / 3168 Last » Next »