Search Sciweavers | Sciweavers

1835 search results - page 78 / 367

» Classifying Description Logics

111

Voted

DLOG
2006

192views Automated Reasoning» more DLOG 2006»

Binary Absorption in Tableaux-Based Reasoning for Description Logics

15 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

Alexander K. Hudek, Grant E. Weddell

claim paper

Read More »

Voted

DLOG
2006

141views Automated Reasoning» more DLOG 2006»

Description logic reasoning using the PTTP approach

15 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...

Zsolt Nagy, Gergely Lukácsy, Péter S...

claim paper

Read More »

132

Voted

DLOG
2006

132views Automated Reasoning» more DLOG 2006»

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

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

Voted

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

15 years 5 months ago

Download www.mindswap.org

Christian Halaschek-Wiener, Bijan Parsia, Evren Si...

claim paper

Read More »