Search Sciweavers | Sciweavers

2694 search results - page 90 / 539

» A Description Logic of Change

click to vote

ISSE
2010

125views Security Privacy» more ISSE 2010»

Lightweight analysis of access control models with description logic

13 years 7 months ago

Download www.artist-embedded.org

Christiano Braga, Edward Hermann Haeusler

claim paper

Read More »

click to vote

KI
2010
Springer

142views Artificial Intelligence» more KI 2010»

Small is Again Beautiful in Description Logics

13 years 7 months ago

Download lat.inf.tu-dresden.de

Franz Baader, Carsten Lutz, Anni-Yasmin Turhan

claim paper

Read More »

click to vote

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

13 years 7 months ago

Download lat.inf.tu-dresden.de

Franz Baader, Marcel Lippmann, Hongkai Liu

claim paper

Read More »

click to vote

RR
2010
Springer

265views Automated Reasoning» more RR 2010»

Inconsistency-Tolerant Semantics for Description Logics

13 years 7 months ago

Download acsi-project.haifa.il.ibm.com

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosat...

claim paper

Read More »

click to vote

DLOG
2010

115views Automated Reasoning» more DLOG 2010»

A Compatible Approach to Temporal Description Logics

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers