Sciweavers

2696 search results - page 144 / 540
» Semantic Abstraction and Anaphora
Sort
View
CSL
2001
Springer
15 years 11 months ago
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...
EKAW
1999
Springer
15 years 10 months ago
Knowledge Acquisition from Multiple Experts Based on Semantics of Concepts
Abstract. This paper presents one approach to acquire knowledge from multiple experts. The experts are grouped into multilevel hierarchical structure, according to the type of know...
Seppo Puuronen, Vagan Y. Terziyan
JAVA
1999
Springer
15 years 10 months ago
A Programmer's Reduction Semantics for Classes and Mixins
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
Matthew Flatt, Shriram Krishnamurthi, Matthias Fel...
EWCBR
2004
Springer
15 years 10 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
FQAS
2006
Springer
136views Database» more  FQAS 2006»
15 years 10 months ago
Robust Query Processing for Personalized Information Access on the Semantic Web
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...
Peter Dolog, Heiner Stuckenschmidt, Holger Wache