Sciweavers

3179 search results - page 201 / 636
» Applications of PCF Theory
Sort
View
AAAI
2007
14 years 19 days ago
Model-lite Planning for the Web Age Masses: The Challenges of Planning with Incomplete and Evolving Domain Models
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...
Subbarao Kambhampati
EON
2008
13 years 11 months ago
Debugging OWL Ontologies - A Reality Check
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
Heiner Stuckenschmidt
AAAI
2006
13 years 11 months ago
Forgetting and Conflict Resolving in Disjunctive Logic Programming
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
Thomas Eiter, Kewen Wang
ICMLA
2004
13 years 11 months ago
Outlier detection and evaluation by network flow
Detecting outliers is an important topic in data mining. Sometimes the outliers are more interesting than the rest of the data. Outlier identification has lots of applications, su...
Ying Liu, Alan P. Sprague
ECIS
2003
13 years 11 months ago
Implications of constructivism for computer-based learning
Constructivism has gained popularity recently, but it is not a completely new learning paradigm. Much of the work within Information Systems Science (IS) and especially within ele...
Timo Lainema