Sciweavers

3321 search results - page 453 / 665
» The Future of Knowledge Representation
Sort
View
KR
2010
Springer
15 years 11 months ago
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
Reinhard Pichler, Stefan Rümmele, Stefan Szei...
SUM
2009
Springer
15 years 11 months ago
Weighted Description Logics Preference Formulas for Multiattribute Negotiation
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
Azzurra Ragone, Tommaso Di Noia, Francesco M. Doni...
EPIA
2001
Springer
15 years 11 months ago
Situation Calculus as Hybrid Logic: First Steps
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
Patrick Blackburn, Jaap Kamps, Maarten Marx
IJCNN
2000
IEEE
15 years 11 months ago
Metrics that Learn Relevance
We introduce an algorithm for learning a local metric to a continuous input space that measures distances in terms of relevance to the processing task. The relevance is defined a...
Samuel Kaski, Janne Sinkkonen
DIAGRAMS
2000
Springer
15 years 11 months ago
Bar Charts Recognition Using Hough Based Syntactic Segmentation
Bar charts are common data representations in scientific and technical papers. In order to recognize the printed bar charst, we present a new Hough based bar chart recognition algo...
Yan Ping Zhou, Chew Lim Tan