2035 search results - page 253 / 407 » On the complexity of stratified logics |
143
click to vote
CMOT
1998
15 years 6 months ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
123
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
172
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...
210
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
169
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The study of human behavior during driving is of primary importance for the improvement of drivers' security. This study is complex because of numerous situations in which the...