Sciweavers

2308 search results - page 303 / 462
» Representing Symbolic Reasoning
Sort
View
APCCM
2010
15 years 8 months ago
A conceptually rich model of business process compliance
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
Guido Governatori, Antonino Rotolo
BNCOD
2007
137views Database» more  BNCOD 2007»
15 years 8 months ago
How to Determine Output Schemas of XQuery Queries
The XQuery language is the standard query language for XML. The result of XQuery queries are typically XML documents in other formats. We introduce the term output schemas of an X...
Sven Groppe, Jinghua Groppe, Volker Linnemann
ICMLA
2008
15 years 7 months ago
Data Integration for Recommendation Systems
The quality of large-scale recommendation systems has been insufficient in terms of the accuracy of prediction. One of the major reasons is caused by the sparsity of the samples, ...
Zhonghang Xia, Houduo Qi, Manghui Tu, Wenke Zhang
IJCAI
2007
15 years 7 months ago
Argumentation Based Contract Monitoring in Uncertain Domains
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
Nir Oren, Timothy J. Norman, Alun D. Preece
NIPS
2008
15 years 7 months ago
Multi-Agent Filtering with Infinitely Nested Beliefs
In partially observable worlds with many agents, nested beliefs are formed when agents simultaneously reason about the unknown state of the world and the beliefs of the other agen...
Luke S. Zettlemoyer, Brian Milch, Leslie Pack Kael...