Zooming In, Zooming Out

Patrick Blackburn; Maarten De Rijke

doi:10.1023/A:1008204403391

Zooming In, Zooming Out

Patrick Blackburn^*, Maarten De Rijke

^*Corresponding author

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Abstract

This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.

Originalsprog	Engelsk
Tidsskrift	Journal of Logic, Language and Information
Vol/bind	6
Udgave nummer	1
Sider (fra-til)	5-31
Antal sider	27
ISSN	0925-8531
DOI	https://doi.org/10.1023/A:1008204403391
Status	Udgivet - 1997
Udgivet eksternt	Ja

Emneord

Combinations of logics
Complex structures
Mathematics of modeling
Modal logic
Modularity
Representation languages
Transfer results

Link til dokument

10.1023/A:1008204403391

Citer dette

@article{c1d2d5b57a8e4950a1eceb6593a29477,

title = "Zooming In, Zooming Out",

abstract = "This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.",

keywords = "Combinations of logics, Complex structures, Mathematics of modeling, Modal logic, Modularity, Representation languages, Transfer results, Combinations of logics, Complex structures, Mathematics of modeling, Modal logic, Modularity, Representation languages, Transfer results",

author = "Patrick Blackburn and {De Rijke}, Maarten",

year = "1997",

doi = "10.1023/A:1008204403391",

language = "English",

volume = "6",

pages = "5--31",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Zooming In, Zooming Out

AU - Blackburn, Patrick

AU - De Rijke, Maarten

PY - 1997

Y1 - 1997

N2 - This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.

AB - This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.

KW - Combinations of logics

KW - Complex structures

KW - Mathematics of modeling

KW - Modal logic

KW - Modularity

KW - Representation languages

KW - Transfer results

KW - Combinations of logics

KW - Complex structures

KW - Mathematics of modeling

KW - Modal logic

KW - Modularity

KW - Representation languages

KW - Transfer results

U2 - 10.1023/A:1008204403391

DO - 10.1023/A:1008204403391

M3 - Journal article

AN - SCOPUS:0002380616

SN - 0925-8531

VL - 6

SP - 5

EP - 31

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

IS - 1

ER -