Sciweavers

839 search results - page 76 / 168
» Answer Set Programming with Resources
Sort
View
JUCS
2010
159views more  JUCS 2010»
13 years 2 months ago
Authoring of Probabilistic Sequencing in Adaptive Hypermedia with Bayesian Networks
Abstract: One of the difficulties that self-directed learners face on their learning process is choosing the right learning resources. One of the goals of adaptive educational syst...
Sergio Gutiérrez Santos, Jaime Mayor-Berzal...
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
14 years 4 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
AAAI
2004
13 years 9 months ago
Loop Formulas for Circumscription
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...
Joohyung Lee, Fangzhen Lin
JELIA
2010
Springer
13 years 6 months ago
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
The Multi-Context System Inconsistency Explainer allows for evaluation of semantics and explanation of inconsistencies in systems where heterogeneous knowledge bases are linked via...
Markus Bögl, Thomas Eiter, Michael Fink, Pete...
IJCAI
2007
13 years 9 months ago
Market Based Resource Allocation with Incomplete Information
Although there are some research efforts toward resource allocation in multi-agent systems (MAS), most of these work assume that each agent has complete information about other ag...
Bo An, Chunyan Miao, Zhiqi Shen