ICLP
2010
Springer
13 years 8 months ago
2010
Springer
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
ICLP
2010
Springer
13 years 8 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
2010
Springer
13 years 8 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
ICLP
2010
Springer
13 years 8 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
13 years 8 months ago
2010
Springer
This text gives an overview about my current research in timing analysis