Sciweavers

1059 search results - page 167 / 212
» Unification-Based Semantic Interpretation
Sort
View
JANCL
2002
113views more  JANCL 2002»
15 years 4 months ago
Canonicity and Completeness Results for Many-Valued Modal Logics
We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a H...
Costas D. Koutras, Christos Nomikos, Pavlos Peppas
SIGMOD
2002
ACM
114views Database» more  SIGMOD 2002»
15 years 4 months ago
An Active Functionality Service for E-Business Applications
Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects event...
Mariano Cilia, Alejandro P. Buchmann
RIA
2008
73views more  RIA 2008»
15 years 4 months ago
Representing and Manipulating Situation Hierarchies using Situation Lattices
Situations, the semantic interpretations of context, provide a better basis for selecting adaptive behaviours than context itself. The definition of situations typically rests on t...
Juan Ye, Lorcan Coyle, Simon A. Dobson, Paddy Nixo...
JOLLI
2010
107views more  JOLLI 2010»
15 years 2 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta
SYNTHESE
2011
239views more  SYNTHESE 2011»
14 years 11 months ago
Carnap on theoretical terms: structuralism without metaphysics
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...
Michael Friedman