772 search results - page 106 / 155 » Ontology Based Information Integration Using Logic Programmi... |
121
Voted
SAC
2000
ACM
15 years 7 months 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...
131
click to vote
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
Recently, the publishing of structured, semantic information as linked data has gained quite some momentum. For ordinary users on the Internet, however, this information is not yet...
125
Voted
VMCAI
2010
Springer
15 years 12 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
140
Voted
SFM
2005
Springer
15 years 8 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
145
Voted
TPHOL
1997
IEEE
15 years 6 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...