307 search results - page 32 / 62 » Reasoning with Axioms: Theory and Practice |
112
click to vote
DLOG
2010
14 years 11 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
139
click to vote
AAMAS
2004
Springer
15 years 1 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
117
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
118
click to vote
PPSWR
2005
Springer
15 years 6 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
108
click to vote
DEON
2006
Springer
15 years 5 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...