987 search results - page 68 / 198 » Ludics and Its Applications to Natural Language Semantics |
153
click to vote
CLIMA
2007
15 years 7 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
211
click to vote
AOSD
2012
ACM
14 years 2 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
167
click to vote
PPDP
2009
Springer
16 years 26 days ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
193
click to vote
APN
2001
Springer
15 years 10 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
144
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...