Sciweavers

306 search results - page 20 / 62
» From Preference Logics to Preference Languages, and Back
Sort
View
IJCAI
1989
13 years 8 months ago
On the Semantics of Counterfactuals
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...
Peter Jackson
INLG
2004
Springer
14 years 28 days ago
Overgenerating Referring Expressions Involving Relations and Booleans
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
Sebastian Varges
AGP
2003
IEEE
14 years 26 days ago
An Ordered Choice Logic Programming Front-End for Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
Marina De Vos
EATCS
2000
108views more  EATCS 2000»
13 years 7 months ago
The Underlying Logic of Hoare Logic
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
Andreas Blass, Yuri Gurevich
KBS
2007
106views more  KBS 2007»
13 years 7 months ago
A cognitive approach for agent-based personalized recommendation
There is an increasing need for various e-service, e-commerce and e-business sites to provide personalized recommendations to on-line customers. This paper proposes a new type of ...
Chunyan Miao, Qiang Yang, Haijing Fang, Angela Goh