977 search results - page 74 / 196 » Logic programming with infinite sets |
112
Voted
VSTTE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
103
Voted
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
116
Voted
ENTCS
2002
15 years 9 days ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
103
Voted
ASP
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
93
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
Visual compliance has emerged as a new paradigm to ensure that employees comply with processes and policies in a business context [1]. In this paper, we focus on videos from retai...