Search Sciweavers | Sciweavers

The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...

Vincenzo Martena, Alessandro Orso, Mauro Pezz&egra...

claim paper

Read More »

130

click to vote

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

15 years 11 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

123

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 11 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inman P. de Guzmán, Emili...

claim paper

Read More »

156

click to vote

KR
2010
Springer

209views Automated Reasoning» more KR 2010»

Generalized Planning with Loops under Strong Fairness Constraints

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers