2776 search results - page 227 / 556 » System-Level Abstraction Semantics |
155
click to vote
WOA
2004
15 years 7 months ago
2004
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
146
click to vote
ACL
1997
15 years 7 months ago
1997
We describe a method for interpreting abstract fiat syntactic representations, LFG fstructures, as underspecified semantic representations, here Underspecified Discourse Represent...
166
click to vote
JFPLC
1998
15 years 7 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
150
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
162
Voted
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...