229 search results - page 27 / 46 » Topological Duality in Semantics |
IWFM
1998
13 years 11 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
FM
1999
Springer
14 years 2 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— This video presents the Autonomous City Explorer (ACE) project. Its goal was to create a robot capable of navigating unknown urban environments without the use of GPS data or p...
IWFM
2000
13 years 11 months ago
2000
Several recent publications have exhibited relationships between the theories of logic programming and of neural networks. We consider a general approach to representing normal lo...
BMCBI
2010
13 years 10 months ago
2010
Background: Semantic similarity measures are useful to assess the physiological relevance of protein-protein interactions (PPIs). They quantify similarity between proteins based o...