Search Sciweavers | Sciweavers

1498 search results - page 77 / 300

» Description logic for coalitions

123

click to vote

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

On the Approximation of Instance Level Update and Erasure in Description Logics

15 years 8 months ago

Download www.aaai.org

Giuseppe De Giacomo, Maurizio Lenzerini, Antonella...

claim paper

Read More »

148

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 8 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

108

click to vote

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

15 years 8 months ago

Download dl.kr.org

Jean-David Roubach, Pascal Yim, Joaquin Rodriguez

claim paper

Read More »

131

click to vote

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

15 years 8 months ago

Download www.dis.uniroma1.it

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

claim paper

Read More »

136

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers