Sciweavers

6794 search results - page 1069 / 1359
» Semantics of Visual Languages
Sort
View
LOGCOM
2010
128views more  LOGCOM 2010»
15 years 3 months ago
Answer Set Programming with Resources
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
Stefania Costantini, Andrea Formisano
COLT
2010
Springer
15 years 2 months ago
Strongly Non-U-Shaped Learning Results by General Techniques
In learning, a semantic or behavioral U-shape occurs when a learner rst learns, then unlearns, and, nally, relearns, some target concept (on the way to success). Within the framew...
John Case, Timo Kötzing
ACL
2009
15 years 2 months ago
Automatic Set Instance Extraction using the Web
An important and well-studied problem is the production of semantic lexicons from a large corpus. In this paper, we present a system named ASIA (Automatic Set Instance Acquirer), ...
Richard C. Wang, William W. Cohen
FUIN
2010
137views more  FUIN 2010»
15 years 2 months ago
Extending and Implementing RASP
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
Stefania Costantini, Andrea Formisano, Davide Pett...
143
Voted
SOSYM
2010
119views more  SOSYM 2010»
14 years 11 months ago
Formal specification of non-functional properties of component-based software systems
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
Steffen Zschaler
« Prev « First page 1069 / 1359 Last » Next »