Sciweavers

844 search results - page 51 / 169
» aim 2004
Sort
View
CPAIOR
2004
Springer
14 years 3 months ago
Stabilization Issues for Constraint Programming Based Column Generation
Abstract. Constraint programming based column generation is a hybrid optimization framework recently proposed that uses constraint programming (CP) to solve column generation subpr...
Louis-Martin Rousseau
DEON
2004
Springer
14 years 3 months ago
Collective Obligations and Agents: Who Gets the Blame?
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
Davide Grossi, Frank Dignum, Lambèr M. M. R...
DIAGRAMS
2004
Springer
14 years 3 months ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
ECAI
2004
Springer
14 years 3 months ago
Extending a Lexicon Ontology for Intelligent Information Integration
One of the current research on the Semantic Web area is semantic annotation of information sources. On-line lexical ontologies can be exploited as a-priori common knowledge to prov...
Roberta Benassi, Sonia Bergamaschi, Alain Fergnani...
ECAI
2004
Springer
14 years 3 months ago
An Ontology Based Visual Tool for Query Formulation Support
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrated...
Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, ...