Sciweavers

306 search results - page 20 / 62
» From Preference Logics to Preference Languages, and Back
Sort
View
IJCAI
1989
15 years 2 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
15 years 6 months 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
15 years 6 months 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»
15 years 1 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»
15 years 1 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