884 search results - page 156 / 177 » Using Nested Logic Programs for Answer Set Programming |
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
SAC
2000
ACM
14 years 1 days ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
ICDM
2003
IEEE
14 years 29 days ago
2003
IEEE
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have compl...
CIA
2006
Springer
13 years 11 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...