Sciweavers

3768 search results - page 573 / 754
» Knowledge and Information in Probabilistic Systems
Sort
View
CHI
1995
ACM
15 years 10 months ago
Belvedere: stimulating students' critical discussion
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
Massimo Paolucci, Daniel D. Suthers, Arlene Weiner
DLOG
2007
15 years 8 months ago
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
APCCM
2008
15 years 7 months ago
Making Workflows Context-aware: A Way to Support Knowledge-intensive Tasks
In business processes, knowledge-intensive tasks are ones in which the people performing such tasks are involved in a fair degree of uncertainty. These people are required to appl...
Mitra Heravizadeh, David Edmond
CLIMA
2007
15 years 7 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite
CLIMA
2004
15 years 7 months ago
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
Martin Homola