Show simple item record Ridoux, O. Ferre, Sebastien 2006-04-25T15:09:24Z 2006-04-25T15:09:24Z 2004
dc.identifier.citation Ridoux , O & Ferre , S 2004 , ' Introduction to logical information systems ' Information Processing & Management , vol 40 , no. 3 , pp. 383-419 . , 10.1016/S0306-4573(03)00018-9 en
dc.identifier.other PURE: 68260
dc.identifier.other dspace: 2160/142
dc.identifier.uri 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 theircontents, to query it, to navigate through it, to analyze it, and to maintain it.They can be given an abstract specification that does not depend on the choiceof a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a LIS the role of aschema in data-bases. We present the principles of logical information systems, theconstraints they impose on the expression of logics, and hints for their effective 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.contributor.institution Aberystwyth University en
dc.contributor.institution Bioinformatics and Computational Biology Group en
dc.description.status Peer reviewed en

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search Cadair

Advanced Search