2722 search results - page 470 / 545 » Automating Language Evolution |
225
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
210
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
219
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Millions of containers are stowed every week with goods worth billions of dollars, but container vessel stowage is an all but neglected combinatorial optimization problem. In this ...
CHI
2009
ACM
16 years 3 months ago
2009
ACM
This paper examines how different forms of linguistic similarity in a text-chat environment relate to the establishment of interpersonal trust. Sixty-two pairs played an iterative...
120
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...