3441 search results - page 101 / 689 » Parallel Logic Programming Systems |
110
click to vote
ICWL
2007
Springer
15 years 8 months ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
121
Voted
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
136
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
123
Voted
ATAL
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
147
click to vote
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...