Show simple item record O. en_US Sebastien en_US 2006-04-25T15:09:24Z 2006-04-25T15:09:24Z 2004 en_US
dc.identifier en_US
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_US
dc.identifier.other PURE: 68260 en_US
dc.identifier.other dspace: 2160/142 en_US
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_US
dc.format.extent 37 en_US
dc.relation.ispartof Information Processing & Management en_US
dc.subject deduction and theorem proving en_US
dc.subject information search and retrieval en_US
dc.subject query formulation en_US
dc.subject information systems en_US
dc.subject representation languages en_US
dc.title Introduction to logical information systems en_US
dc.contributor.pbl Aberystwyth University en_US
dc.contributor.pbl Bioinformatics and Computational Biology Group en_US

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