Sciweavers

937 search results - page 73 / 188
» On the Complexity of Partial Order Properties
Sort
View
SEFM
2009
IEEE
16 years 23 days ago
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
Davide Bresolin, Valentin Goranko, Angelo Montanar...
EWCBR
1998
Springer
15 years 10 months ago
Study and Formalization of a Case-Based Reasoning System Using a Description Logic
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...
Sylvie Salotti, Véronique Ventos
ICTAI
1996
IEEE
15 years 10 months ago
Forward-Tracking: A Technique for Searching Beyond Failure
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
Elena Marchiori, Massimo Marchiori, Joost N. Kok
ECAI
2006
Springer
15 years 9 months ago
Enhancing Constraints Manipulation in Semiring-Based Formalisms
Abstract. Many "semiring-like" structures are used in Soft Constraint Satisfaction Problems (SCSPs). We review a few properties of semirings that are useful for dealing w...
Stefano Bistarelli, Fabio Gadducci
AAAI
2008
15 years 8 months ago
Minimal Contraction of Preference Relations
Changing preferences is very common in real life. The expressive power of the operations of preference change introduced so far in the literature is limited to adding new informat...
Denis Mindolin, Jan Chomicki