1097 search results - page 141 / 220 » Revision Programming = Logic Programming Integrity Constra... |
118
click to vote
POPL
1994
ACM
15 years 7 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
119
Voted
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
WSC
2008
15 years 5 months ago
2008
In this paper, an automation concept is proposed to facilitate the simulation model building for port design problem. Currently, this process, which includes drawing the terminal ...
121
Voted
ENDM
2000
15 years 3 months ago
2000
Planning and scheduling attracts an unceasing attention of computer science community. Several research areas like Artificial Intelligence, Operations Research and Constraint Prog...
125
click to vote
CONSTRAINTS
1998
15 years 3 months ago
1998
This paper describes an architecture that begins with enough general knowledge to play any board game as a novice, and then shifts its decision-making emphasis to learned, game-sp...