3738 search results - page 26 / 748 » Parametrized Logic Programming |
114
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
326
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
102
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
139
Voted
KR
2004
Springer
15 years 7 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
122
Voted
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...