Sciweavers

2088 search results - page 291 / 418
» The SPARK Agent Framework
Sort
View
AAAI
2010
15 years 8 months ago
How Incomplete Is Your Semantic Web Reasoner?
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...
AAAI
2010
15 years 8 months ago
Soundness Preserving Approximation for TBox Reasoning
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
AAAI
2010
15 years 8 months ago
Materializing Inferred and Uncertain Knowledge in RDF Datasets
There is a growing need for efficient and scalable semantic web queries that handle inference. There is also a growing interest in representing uncertainty in semantic web knowled...
James P. McGlothlin, Latifur R. Khan
AGI
2008
15 years 8 months ago
Comirit: Commonsense Reasoning by Integrating Simulation and Logic
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
Benjamin Johnston, Mary-Anne Williams
AAAI
2010
15 years 8 months ago
Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models
The current methods used to mine and analyze temporal social network data make two assumptions: all edges have the same strength, and all parameters are time-homogeneous. We show ...
Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes