2308 search results - page 270 / 462 » Representing Symbolic Reasoning |
177
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
A spatiotemporal network is a spatial network (e.g., road network) along with the corresponding time-dependent weight (e.g., travel time) for each edge of the network. The design ...
138
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
189
click to vote
AMAI
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
159
click to vote
ILP
2000
Springer
15 years 10 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
162
click to vote
ICCBR
1995
Springer
15 years 10 months ago
1995
Springer
The particular strength of CBR is normally considered to be its use in weak theory domains where solution quality is compiled into cases and is reusable. In this paper we explore a...