2173 search results - page 161 / 435 » An operational semantics for skeletons |
106
Voted
ECSQARU
2003
Springer
15 years 6 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
JANCL
2008
15 years 23 days ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
106
Voted
INFORMATICALT
2007
15 years 21 days ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
108
Voted
AMAI
2008
Springer
15 years 28 days ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
106
click to vote
ICFP
2003
ACM
16 years 22 days ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...