Sciweavers

2469 search results - page 347 / 494
» Representations of Metabolic Knowledge
Sort
View
ERCIMDL
2003
Springer
165views Education» more  ERCIMDL 2003»
14 years 4 months ago
Automatic Multi-label Subject Indexing in a Multilingual Environment
Abstract. This paper presents an approach to automatically subject index fulltext documents with multiple labels based on binary support vector machines (SVM). The aim was to test ...
Boris Lauser, Andreas Hotho
ICVS
2003
Springer
14 years 4 months ago
Navigating through Logic-Based Scene Models for High-Level Scene Interpretations
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
Bernd Neumann, Thomas Weiss
KR
2010
Springer
14 years 3 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
14 years 3 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
14 years 3 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