1598 search results - page 83 / 320 » A Unified Computation Model for Functional and Logic Program... |
163
click to vote
IDT
2010
15 years 3 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
153
Voted
CLIMA
2010
15 years 6 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
127
Voted
ECRTS
1999
IEEE
15 years 9 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
118
Voted
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
114
click to vote
ARC
2009
Springer
15 years 11 months ago
2009
Springer
The parallel branching program machine (PBM128) consists of 128 branching program machines (BMs) and a programmable interconnection. To represent logic functions on BMs, we use qua...