1253 search results - page 41 / 251 » order 2000 |
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
ECIS
2000
13 years 11 months ago
2000
This paper describes a plan to combine IT support for major tertiary hospitals through to independent GPs under a single application support provider. The objectives of the centre ...
EOR
2000
13 years 9 months ago
2000
A new algorithm called Enhanced Continuous Tabu Search (ECTS) is proposed for the global optimization of multiminima functions. It results from an adaptation of combinatorial Tabu...
ISMVL
2000
IEEE
14 years 2 months ago
2000
IEEE
A sequential realization of multiple-output logic functions is presented. A conventional sequential realization is based on SBDDs (Shared reduced ordered Binary Decision Diagrams)...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper presents a framework that enables autonomous agents to dynamically select the mechanism they employ in order to coordinate their inter-related activities. Adop...