Sciweavers

1178 search results - page 51 / 236
» An Approach to Exploring Description Logic Knowledge Bases
Sort
View
ICLP
2007
Springer
16 years 9 days ago
Logic Programming Approach to Automata-Based Decision Procedures
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
Gulay Ünel, David Toman
ICCBR
2007
Springer
15 years 10 months ago
Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation
Case-based reasoning aims at solving a problem by the adaptation of the solution of an already solved problem that has been retrieved in a case base. This paper defines an approach...
Jean Lieber
AGENTS
2001
Springer
15 years 10 months ago
Automated negotiation from declarative contract descriptions
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
Daniel M. Reeves, Michael P. Wellman, Benjamin N. ...
KR
2004
Springer
15 years 11 months ago
Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
Boris Mailhé, Henri Prade
VISUAL
2007
Springer
16 years 8 days ago
A Knowledge Synthesizing Approach for Classification of Visual Information
Abstract. An approach for visual information analysis and classification is presented. It is based on a knowledge synthesizing technique to automatically create a relevance map fro...
Le Dong, Ebroul Izquierdo