Search Sciweavers | Sciweavers

1087 search results - page 17 / 218

» Exploiting Description Logic Reasoners in Inductive Logic

click to vote

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

15 years 1 months ago

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

click to vote

DLOG
2008

139views Automated Reasoning» more DLOG 2008»

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

14 years 12 months ago

Download sunsite.informatik.rwth-aachen.de

Peihong Ke, Ulrike Sattler

claim paper

Read More »

click to vote

DLOG
2008

123views Automated Reasoning» more DLOG 2008»

Description Logics-Based Modelling for Precise Information Retrieval

14 years 12 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

14 years 12 months ago

Download www.informatik.uni-bremen.de

Franz Baader, Silvio Ghilardi, Carsten Lutz

claim paper

Read More »

click to vote

DLOG
2008

102views Automated Reasoning» more DLOG 2008»

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

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers