2482 search results - page 15 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
100
click to vote
TCS
2008
14 years 11 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
APIN
1999
14 years 11 months ago
1999
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
JUCS
2010
14 years 10 months ago
2010
: This article presents a rule–based agent mechanism as the kernel of a ubiquitous end–user, UI–independent programming system. The underlying goal of our work is to allow en...
132
click to vote
EUSFLAT
2009
14 years 9 months ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
96
Voted
DALT
2006
Springer
15 years 3 months ago
2006
Springer
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...