The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...
This paper presents an ontology-based semantic portal, SEMPort, which aims to support both content providers and the users of the portal during providing information, browsing and...
Melike Sah, Wendy Hall, Nicholas Gibbins, David De...
The ASKNet project uses a combination of NLP tools and spreading activation to transform natural language text into semantic knowledge networks. Network fragments are generated fr...
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...
PowerMagpie is a tool that brings semantic interpretation to classical web pages by dynamically--i.e. during browsing--selecting and making use of a wide range of online available ...
Laurian Gridinoc, Marta Sabou, Mathieu d'Aquin, Ma...