Sciweavers

2308 search results - page 301 / 462
» Representing Symbolic Reasoning
Sort
View
AAAI
2008
15 years 8 months ago
Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
Anbu Yue, Weiru Liu
FLAIRS
2008
15 years 8 months ago
On the Compilation of Possibilistic Default Theories
Handling exceptions represents one of the most important problems in Artificial Intelligence. Several approaches have been proposed for reasoning on default theories. This paper f...
Salem Benferhat, Safa Yahi, Habiba Drias
CIA
2008
Springer
15 years 8 months ago
A Formal Approach to Aggregated Belief Formation
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
Annerieke Heuvelink, Michel C. A. Klein, Jan Treur
ASIAN
2005
Springer
102views Algorithms» more  ASIAN 2005»
15 years 8 months ago
General Consistency Management Within the Development of Ontology-Driven Web Information System
This paper proposes a general consistency management methodology within ontology-driven WIS development. The contributions of this paper are follows: 1) introduces the concept stru...
Baojun Qiu, Hongyan Li, Zijing Hu, Dongqing Yang, ...
ATAL
2006
Springer
15 years 8 months ago
Camera-based observation of football games for analyzing multi-agent activities
This paper describes a camera-based observation system for football games that is used for the automatic analysis of football games and reasoning about multi-agent activity. The o...
Michael Beetz, Nico von Hoyningen-Huene, Jan Bando...