✦ LIBER ✦

Equivalence of formal semantics definition methods

✍ Scribed by M. J. A. Caswell

Publisher: Springer
Year: 1997
Tongue: English
Weight: 544 KB
Volume: 9
Category: Article
ISSN: 0934-5043
DOI: 10.1007/bf01212525

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal equivalence of direct and indirec

Formal equivalence of direct and indirect boundary element methods

✍ C.A. Brebbia; R. Butterfield 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 216 KB

Syntax and semantics of formal languages

✍ A. A. Letichevskii 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 946 KB

On a formal definition of organization

✍ H. Atlan 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 602 KB

On the formal definition of categories

✍ Johann Sonner 📂 Article 📅 1962 🏛 Springer-Verlag 🌐 French ⚖ 770 KB

Semantic formalization of interactive re

Semantic formalization of interactive reasoning functionality

✍ Jan Treur 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 248 KB

In this article a semantic framework is developed that provides a logical description of the functionality of an interactive reasoning process. The concept of functionality description defines the functionality of a reasoning process abstracted from specific inference relations or knowledge bases. M

A query language for discovering semanti

A query language for discovering semantic associations, Part I: Approach and formal definition of query primitives

✍ Timo Niemi; Janne Jämsen 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 270 KB 👁 1 views

## Abstract In contemporary query languages, the user is responsible for navigation among semantically related data. Because of the huge amount of data and the complex structural relationships among data in modern applications, it is unrealistic to suppose that the user could know completely the co