7961 search results - page 39 / 1593 » Input-Output Model Programs |
147
click to vote
AI
2011
Springer
14 years 9 months ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
114
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
101
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
130
click to vote
LANMR
2007
15 years 3 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
133
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...