1083 search results - page 86 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
189
click to vote
FLOPS
2010
Springer
16 years 29 days ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
164
click to vote
LPNMR
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
206
click to vote
ISKI
1994
15 years 10 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
163
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
164
Voted
ISSTA
2009
ACM
16 years 19 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...