| dc.contributor.author |
Ridoux, O. |
|
| dc.contributor.author |
Ferre, Sebastien |
|
| dc.date.accessioned |
2006-04-25T15:09:24Z |
|
| dc.date.available |
2006-04-25T15:09:24Z |
|
| dc.date.issued |
2004 |
|
| dc.identifier.citation |
Ridoux , O & Ferre , S 2004 , ' Introduction to logical information systems ' Information Processing & Management , vol 40 , no. 3 , pp. 383-419 . |
en |
| dc.identifier.other |
PURE: 68260 |
|
| dc.identifier.other |
dspace: 2160/142 |
|
| dc.identifier.uri |
http://hdl.handle.net/2160/142 |
|
| dc.identifier.uri |
http://www.irisa.fr/lande/ferre/papers/ipm2004.pdf |
en |
| dc.description |
Ridoux, O. and Ferré, S. (2004) Introduction to logical information systems. Information Processing & Management, 40 (3), 383-419. Elsevier |
en |
| dc.description.abstract |
Logical Information Systems (LIS) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to maintain it. They can be given an abstract speci¯cation that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this speci¯cation with a particular logic. In fact, a logic plays in a LIS the role of a schema in data-bases. We present the principles of logical information systems, the constraints they impose on the expression of logics, and hints for their e®ective implementation. |
en |
| dc.format.extent |
37 |
en |
| dc.language.iso |
eng |
|
| dc.relation.ispartof |
Information Processing & Management |
en |
| dc.subject |
deduction and theorem proving |
en |
| dc.subject |
information search and retrieval |
en |
| dc.subject |
query formulation |
en |
| dc.subject |
information systems |
en |
| dc.subject |
representation languages |
en |
| dc.title |
Introduction to logical information systems |
en |
| dc.type |
Text |
en |
| dc.type.publicationtype |
Article (Journal) |
en |
| dc.identifier.doi |
http://dx.doi.org/10.1016/S0306-4573(03)00018-9 |
|
| dc.contributor.institution |
Aberystwyth University |
en |
| dc.contributor.institution |
Computational Biology and Bioinformatics |
en |
| dc.description.status |
Peer reviewed |
en |