1239 search results - page 10 / 248 » Control Generation for Logic Programs |
97
Voted
LOPSTR
2009
Springer
15 years 6 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
89
Voted
CCS
2008
ACM
15 years 1 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
97
Voted
EAAI
2008
14 years 11 months ago
2008
This paper presents the design of an infinite horizon nonlinear optimal neurocontroller that replaces the conventional automatic voltage regulator and the turbine governor (CONVC)...
141
Voted
FROCOS
2009
Springer
15 years 6 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...