Sciweavers

713 search results - page 115 / 143
» Viewcharts: Syntax and Semantics
Sort
View
FUIN
2008
56views more  FUIN 2008»
13 years 8 months ago
Representing Uncertainty in RuleML
The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for...
Carlos Viegas Damásio, Jeff Z. Pan, Giorgos...
EXPERT
2006
66views more  EXPERT 2006»
13 years 8 months ago
Representation as a Fluent: An AI Challenge for the Next Half Century
We argue that artificial intelligence systems must be able to manipulate their own internal representations automatically in order to deal with an infinitely complex and ever chan...
Alan Bundy, Fiona McNeill
JCP
2008
121views more  JCP 2008»
13 years 8 months ago
Algorithms for Identifying the Multiple Syntactic Categories and Meanings of the Word Over
The word over, among others, is associated with a great variety of syntactic categories and meanings. Although over has received attention from scholars in different frameworks for...
Yukiko Sasaki Alam
JUCS
2008
138views more  JUCS 2008»
13 years 8 months ago
A Lightweight and Extensible AspectJ Implementation
Abstract: Extending AspectJ to experiment with new language features can be cumbersome, even with an extensible implementation. Often, a language designer only needs a rapid protot...
Rodolfo Toledo, Éric Tanter
JFP
2006
91views more  JFP 2006»
13 years 8 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary