Sciweavers

20 search results - page 1 / 4

» frocos 2009

36

FROCOS
2009
Springer

139views Control Systems» more FROCOS 2009»

Combinations of Theories for Decidable Fragments of First-Order Logic

14 years 5 months ago

Combinations of Theories for Decidable Fragments of First-Order Logic

Download disi.unitn.it

Pascal Fontaine

claim paper

Read More »

37

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

14 years 5 months ago

Building SMT-Based Software Model Checkers: An Experience Report

Download disi.unitn.it

Alessandro Armando

claim paper

Read More »

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 »

31

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 »

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