2398 search results - page 227 / 480 » Knowledge Representation |
152
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
126
click to vote
AMAI
2007
Springer
15 years 4 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
145
click to vote
ENTCS
2006
15 years 4 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
170
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
137
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper we present a method for learning a curve model for detection and segmentation by closely integrating a hierarchical curve representation using generative and discrim...