200 search results - page 37 / 40 » Logic Programs under Three-Valued Lukasiewicz Semantics |
206
Voted
AI
2011
Springer
15 years 26 days ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
148
Voted
PERCOM
2009
ACM
16 years 19 days ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
211
Voted
DLS
2010
15 years 3 months ago
2010
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...
162
Voted
ICSM
2009
IEEE
16 years 14 days ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
151
Voted
JLP
2006
15 years 5 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...