MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
by S. Colucci, T. Di Noia, E. Di Sciascio, F. M. Donini, M. Mongiello — 2004 — Contraction in ALN . In Proc. of DL-04 (2004), CEUR Workshop Proceedings
…A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN S. Colucci 1 , T. Di…
Cited by 6 (1 self) – Add To MetaCart

Also electronically available as CEUR Publication at
by Volker Haarslev, Ralf Möller, Volker Haarslev, Ralf Möller, Carlos Areces, Diego Calvanese, Enrico Franconi, Volker Haarslev, Ian Horrocks, Ralf Küsters, Carsten Lutz, Deborah L. Mcguinness, Ralf Möller, Peter Patel-schneider — 2004
… iiTheory 2 S. Colucci, T. Di Noia, E. Di Sciascio, F.M. Donini, M. Mongiello A Uniform Tableaux-Based…
Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB