Sciweavers

108 search results - page 1 / 22

» Finite Model Reasoning in DL-Lite

18

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

13 years 6 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 »

15

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

13 years 6 months ago

Finite Model Reasoning in Description Logics

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

16

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

13 years 9 months ago

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

Download www.mathstat.dal.ca

Peter Selinger

claim paper

Read More »

12

CADE
2002
Springer

114views Logical Reasoning» more CADE 2002»

Reasoning by Symmetry and Function Ordering in Finite Model Generation

14 years 5 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 »

14

AIIA
2007
Springer

89views Artificial Intelligence» more AIIA 2007»

Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

13 years 11 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 »