3342 search results - page 41 / 669 » Automating Abstract Interpretation |
78
Voted
ETFA
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
97
Voted
ILP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
FLOPS
2010
Springer
15 years 5 months ago
2010
Springer
DLOG
1998
15 years 4 days ago
1998
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...
LICS
1994
IEEE
15 years 2 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...