Sciweavers

2214 search results - page 100 / 443
» Complexity of Reasoning
Sort
View
AIED
2007
Springer
15 years 9 months ago
VL-PATSy: Facilitating vicarious learning via intelligent resource provision
This paper describes an adaptive system called VL-PATSy, an extension to an existing system (PATSy) that adds a mechanism for serving vicarious learning (VL) resources. Vicarious l...
Richard Cox, Jianxiong Pang
114
Voted
DLOG
2007
15 years 5 months ago
Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
Vitaliy L. Khizder, David Toman, Grant E. Weddell
LPNMR
1995
Springer
15 years 6 months ago
Skeptical Rational Extensions
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
Artur Mikitiuk, Miroslaw Truszczynski
APIN
2004
97views more  APIN 2004»
15 years 3 months ago
FSfRT: Forecasting System for Red Tides
A hybrid neuro-symbolic problem-solving model is presented in which the aim is to forecast parameters of a complex and dynamic environment in an unsupervised way. In situations in ...
Florentino Fdez-Riverola, Juan M. Corchado
JASSS
1998
82views more  JASSS 1998»
15 years 2 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines