Sciweavers

108 search results - page 1 / 22

» Finite Model Reasoning in DL-Lite

94

Voted

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 2 months ago

Towards Implementing Finite Model Reasoning in Description Logics

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

76

Voted

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

15 years 2 months ago

Finite Model Reasoning in Description Logics

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

87

Voted

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

15 years 4 months ago

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

Download www.mathstat.dal.ca

Peter Selinger

claim paper

Read More »

76

CADE
2002
Springer

114views Logical Reasoning» more CADE 2002»

Reasoning by Symmetry and Function Ordering in Finite Model Generation

16 years 1 months ago

Reasoning by Symmetry and Function Ordering in Finite Model Generation

Download www.cril.univ-artois.fr

Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...

Gilles Audemard, Belaid Benhamou

claim paper

Read More »

80

AIIA
2007
Springer

89views Artificial Intelligence» more AIIA 2007»

Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

15 years 7 months ago

Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

Download www.dis.uniroma1.it

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...

claim paper

Read More »

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