Sciweavers

1087 search results - page 71 / 218
» The DecideIT Decision Tool
Sort
View
ECRA
2006
164views more  ECRA 2006»
13 years 7 months ago
Comparison of product bundling strategies on different online shopping behaviors
Bundling is a very popular sales-promotion tool, in which a critical issue is to decide what products should be sold together in order to improve sales. Traditionally, this decisi...
Tzyy-Ching Yang, Hsiangchu Lai
ICAIL
2009
ACM
14 years 2 months ago
Plausibility schemas: templates for legal factfinding
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...
Vern R. Walker
TIME
2007
IEEE
14 years 1 months ago
Automated Natural Deduction for Propositional Linear-Time Temporal Logic
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
ESWS
2008
Springer
13 years 9 months ago
Cicero: Tracking Design Rationale in Collaborative Ontology Engineering
Abstract. Creating and designing an ontology is a complex task requiring discussions between domain and ontology engineering experts as well as the users of an ontology. We present...
Klaas Dellschaft, Hendrik Engelbrecht, José...
ECHT
1992
13 years 11 months ago
Two Years before the Mist: Experiences with Aquanet
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...
Catherine C. Marshall, Russell A. Rogers