15754 search results - page 663 / 3151 » Programs are Knowledge Bases |
235
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Online Convex Programming (OCP) is a recently developed model of sequential decision-making in the presence of time-varying uncertainty. In this framework, a decisionmaker selects ...
195
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
265
click to vote
ARGMAS
2009
Springer
16 years 2 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
192
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Scheduling and dispatching are two ways of solving production planning problems. In this work, based on preceding works, it is explained how these two approaches can be combined...
156
click to vote
VMCAI
2005
Springer
16 years 26 days ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...