3119 search results - page 120 / 624 » General Default Logic |
118
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
The notion of a bilattice was rst proposed by Ginsberg as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting....
125
click to vote
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
120
click to vote
ESWS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques...
115
click to vote
IUI
1999
ACM
15 years 7 months ago
1999
ACM
Although Programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-speci...
136
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...