Search Sciweavers | Sciweavers

485 search results - page 6 / 97

» Knowledge Compilation for Description Logics

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
2006

102views Automated Reasoning» more DLOG 2006»

Epistemic First-order Queries over Description Logic Knowledge Bases

14 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...

claim paper

Read More »

click to vote

DLOG
2006

132views Automated Reasoning» more DLOG 2006»

Static Knowledge Representation of Multi-Agent System's Specification by Description Logic

14 years 11 months ago

Download ftp.informatik.rwth-aachen.de

Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...

Haiyan Che, Jigui Sun

claim paper

Read More »

click to vote

AAAI
2000

129views Intelligent Agents» more AAAI 2000»

Answering Queries Using Views over Description Logics Knowledge Bases

14 years 11 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

click to vote

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers