Search Sciweavers | Sciweavers

2920 search results - page 15 / 584

» Finite information logic

122

Voted

ELP
1992

112views Logical Reasoning» more ELP 1992»

Embedding Finite Sets in a Logic Programming Language

15 years 9 months ago

Download users.dimi.uniud.it

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...

claim paper

Read More »

148

click to vote

DLOG
2008

102views Automated Reasoning» more DLOG 2008»

A UML-Based Method for Deciding Finite Satisfiability in Description Logics

15 years 7 months ago

Download www.cs.bgu.ac.il

Mira Balaban, Azzam Maraee

claim paper

Read More »

141

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

125

click to vote

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

15 years 6 months ago

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

click to vote

IJFCS
2008

59views more IJFCS 2008»

A Survey on Small Fragments of First-Order Logic over Finite Words

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers