ICLP
13 years 9 months ago
2010 Springer 
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
ICLP
13 years 9 months ago
2010 Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
ICLP
2010 Springer A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
13 years 3 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
ICLP
13 years 9 months ago
2010 Springer 
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
ICLP
13 years 9 months ago
2010 Springer 
Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...
|
Automated Reasoning