7167 search results - page 800 / 1434 » Answer Set Programming |
150
click to vote
COCOON
2007
Springer
16 years 22 days ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
184
click to vote
GEOS
2007
Springer
16 years 21 days ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
186
click to vote
OTM
2007
Springer
16 years 20 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
202
click to vote
CIKM
2005
Springer
16 years 2 days ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
156
click to vote
DIGRA
2005
Springer
16 years 2 days ago
2005
Springer
Like many massively-multiplayer role-playing games, Final Fantasy XI is a persistent world with a heroic fantasy setting. This paper discusses fictive player identities, and descr...