Sciweavers

4192 search results - page 28 / 839
» Probabilistic Logic Programming
Sort
View
122
Voted
AAAI
2006
15 years 3 months ago
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
Several forms of reasoning in AI
Georg Gottlob, Reinhard Pichler, Fang Wei
126
Voted
SEW
2006
IEEE
15 years 8 months ago
Integrating Probability with Time and Shared-Variable Concurrency
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P....
118
Voted
VRST
1999
ACM
15 years 6 months ago
Visualising logic programs in virtual worlds
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
Themis Panayiotopoulos, Spyros Vosinakis, Sophia K...
108
Voted
AAAI
2007
15 years 4 months ago
A Modal Logic for Beliefs and Pro Attitudes
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
117
Voted
ECIR
1998
Springer
15 years 3 months ago
Modeling Information Retrieval with Probabilistic Argumentation Systems
Probabilistic Argumentation Systems (PAS) are a technique for representing uncertainty both symbolically and numerically. It is shown that this technique, which combines symbolic ...
Justin Picard, Rolf Haenni