3733 search results - page 91 / 747 » Logics of communication and change |
104
click to vote
ICFP
2003
ACM
16 years 28 days ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
103
click to vote
HIS
2003
15 years 2 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
130
Voted
RTA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
100
click to vote
CIA
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
DLOG
2010
14 years 11 months ago
2010
Abstract. Ontologies undergo changes for reasons such as changes in knowledge, meeting varying application requirements. Thus, for different versions of a considered ontology, it i...