in J Logic Computation during October 2009 -- updated monthly
Most-read rankings are recalculated at the beginning of the month and are based on full-text and pdf views.
| 11. | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati | ||
 |
|
On Instance-level Update and Erasure in Description Logic Ontologies | |
|---|---|---|---|
|
 |
Oct 01, 2009; 19: 745-770.
(In "Original Articles") |
|
|
|
||
| 12. | Joe Geldart, William Song | ||
|
|
Category-based Equational Reasoning: An Approach to Ontology Integration | |
|
|
Oct 01, 2009; 19: 791-806.
(In "Original Articles") |
|
|
|
||
| 13. | Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez | ||
|
|
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice | |
|
|
Oct 07, 2009; doi: 10.1093/logcom/exp062.
(In "Original Papers") |
|
|
|
||
| 14. | R Turner | ||
|
|
Sets, types and type-checking | |
|
|
Dec 01, 1999; 9: 959-975.
(In "Articles") |
|
|
|
||
| 15. | Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin | ||
|
|
Reasoning Support for Mapping Revision | |
|
|
Oct 01, 2009; 19: 807-829.
(In "Original Articles") |
|
|
|
||
| [Previous 5 Articles] [Next 5 Articles] | |||
= from the current issue
Last Updated: 11/14/2009 00:11:36