2343 search results - page 156 / 469 » Structure and Interpretation of Computer Programs |
167
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
165
Voted
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
165
click to vote
AAAI
2012
13 years 7 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
141
click to vote
CSO
2009
IEEE
15 years 11 months ago
2009
IEEE
In order to improve and convey the semantic information perfectly and vividly through synthesized speech, a special prosodic phrasing in broadcasting news programs, namely complex...
157
Voted
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...