2585 search results - page 476 / 517 » Automating Coherent Logic |
142
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
160
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
129
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
The problem of the aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on the same propositions has recently drawn m...
135
click to vote
ANSS
2006
IEEE
15 years 10 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
114
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...