2291 search results - page 171 / 459 » Logic Programming and Model Checking |
159
click to vote
AI
2004
Springer
15 years 2 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
125
click to vote
IJCAI
1989
15 years 4 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
128
click to vote
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
145
click to vote
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
145
click to vote
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...