Search Sciweavers | Sciweavers

1087 search results - page 17 / 218

» Exploiting Description Logic Reasoners in Inductive Logic

118

click to vote

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

15 years 10 months ago

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

134

click to vote

DLOG
2008

139views Automated Reasoning» more DLOG 2008»

Next Steps for Description Logics of Minimal Knowledge and Negation as Failure

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Peihong Ke, Ulrike Sattler

claim paper

Read More »

136

click to vote

DLOG
2008

123views Automated Reasoning» more DLOG 2008»

Description Logics-Based Modelling for Precise Information Retrieval

15 years 8 months ago

Download ftp.informatik.rwth-aachen.de

Saïd Radhouani, Gilles Falquet

claim paper

Read More »

click to vote

DLOG
2008

92views Automated Reasoning» more DLOG 2008»

LTL over Description Logic Axioms

15 years 8 months ago

Download www.informatik.uni-bremen.de

Franz Baader, Silvio Ghilardi, Carsten Lutz

claim paper

Read More »

151

click to vote

DLOG
2008

102views Automated Reasoning» more DLOG 2008»

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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers