Sciweavers

220 search results - page 4 / 44
» Tools for Representing Problems and the Knowledge Required t...
Sort
View
AAAI
2000
13 years 10 months ago
Using Prior Knowledge: Problems and Solutions
Encoding knowledge is time consuming and expensive. A possible solution to reduce the cost of developing a new knowledge base (KB) is to reuse existing knowledge. Previous work ad...
Vinay K. Chaudhri, Mark E. Stickel, Jér&oci...
AIEDAM
1999
79views more  AIEDAM 1999»
13 years 8 months ago
An algorithmic approach to knowledge evolution
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
Alessio Lomuscio, Mark Ryan
AI
2009
Springer
14 years 3 months ago
-: A Semantic Web Based Knowledge Representation and Context-Driven Morphing Framework
A knowledge-intensive problem is often not solved by an individual knowledge artifact; rather the solution needs to draw upon multiple, and even heterogeneous, knowledge artifacts....
Sajjad Hussain
SODA
2010
ACM
185views Algorithms» more  SODA 2010»
13 years 7 months ago
Solving MAX-r-SAT Above a Tight Lower Bound
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Sze...
WSC
2004
13 years 10 months ago
Knowledge Representation for Conceptual Simulation Modeling
Simulation is a powerful tool that helps decision makers in business and industry to solve difficult and complex problems, reduce cost, improve quality and productivity, and short...
Ming Zhou, Young Jun Son, Zhimin Chen