2 papers
cs.LO2000
Transformation-Based Bottom-Up Computation of the Well-Founded Model
Stefan Brass, Juergen Dix, Burkhard Freitag +1
We present a framework for expressing bottom-up algorithms to compute the well-founded model of non-disjunctive logic programs. Our method is based on the notion of conditional fac…
cs.AI1999
Probabilistic Agent Programs
Juergen Dix, Mirco Nanni, VS Subrahmanian
Agents are small programs that autonomously take actions based on changes in their environment or ``state.'' Over the last few years, there have been an increasing number of effort…