Sciweavers

15754 search results - page 607 / 3151
» Programs are Knowledge Bases
Sort
View
ECSQARU
1997
Springer
15 years 11 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
KES
2000
Springer
15 years 10 months ago
On AIE-ASM: a software to simulate artificial stock markets with genetic programming
Agent-based computational economic modeling requires demanding work on computer programming. Usually, the publications as outcomes of running these programs do not provide readers ...
Shu-Heng Chen, Chung-Chih Liao, Chia-Hsuan Yeh
IASTEDSEA
2004
15 years 8 months ago
Tube: Interactive model-integrated object-oriented programming
Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and ...
Axel Rauschmayer, Patrick Renner
IJCAI
2003
15 years 8 months ago
Scenario-based Stochastic Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we extend the stochastic constraint programming framework proposed in [Walsh, 2002] along a number ...
Suresh Manandhar, Armagan Tarim, Toby Walsh
JMLR
2012
13 years 9 months ago
Message-Passing Algorithms for MAP Estimation Using DC Programming
We address the problem of finding the most likely assignment or MAP estimation in a Markov random field. We analyze the linear programming formulation of MAP through the lens of...
Akshat Kumar, Shlomo Zilberstein, Marc Toussaint