Show simple item record Ridoux, O. Ferré, Sebastien 2006-04-25T15:09:24Z 2006-04-25T15:09:24Z 2004
dc.identifier.citation Ridoux , O & Ferré , S 2004 , ' Introduction to logical information systems ' Information Processing and Management , vol 40 , no. 3 , pp. 383-419 . DOI: 10.1016/S0306-4573(03)00018-9 en
dc.identifier.issn 1873-5371
dc.identifier.other PURE: 68260
dc.identifier.other PURE UUID: 9dcb1c84-75ca-4e47-a13f-c3cfca26fbd9
dc.identifier.other dspace: 2160/142
dc.identifier.other DSpace_20121128.csv: row: 114
dc.identifier.other Scopus: 1842843691
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 and Management en
dc.rights 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 /dk/atira/pure/researchoutput/researchoutputtypes/contributiontojournal/article en
dc.contributor.institution Bioinformatics and Computational Biology Group en
dc.contributor.institution Department of Computer Science 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