314 search results - page 28 / 63 » Compactness Properties for Stable Semantics of Logic Program... |
183
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
142
click to vote
IBERAMIA
2010
Springer
14 years 9 months ago
2010
Springer
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
183
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
171
click to vote
ICLP
2009
Springer
16 years 13 days 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, ...