Sciweavers

7430 search results - page 308 / 1486
» Programming Applications in CIFF
Sort
View
LPNMR
2007
Springer
15 years 11 months ago
The First Answer Set Programming System Competition
This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonm...
Martin Gebser, Lengning Liu, Gayathri Namasivayam,...
146
Voted
DALT
2005
Springer
15 years 10 months ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
DCOSS
2005
Springer
15 years 10 months ago
Database-Centric Programming for Wide-Area Sensor Systems
A wide-area sensor system is a complex, dynamic, resource-rich cloud of Internet-connected sensing devices. In this paper, we propose X-Tree Programming, a novel database-centric ...
Shimin Chen, Phillip B. Gibbons, Suman Nath
128
Voted
HICSS
2002
IEEE
112views Biometrics» more  HICSS 2002»
15 years 9 months ago
Investigating Telemedicine Developments in Taiwan: Implications for Telemedicine Program Management
Telemedicine development in Taiwan has proliferated considerably since the 1990s, as manifested by its inclusion as a core application area in the National Infrastructure Initiati...
Paul Jen-Hwa Hu, Chih-Ping Wei, Tsang-Hsiang Cheng
ESOP
2001
Springer
15 years 9 months ago
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-G...