1313 search results - page 139 / 263 » Prioritized Reasoning in Logic Programming |
139
Voted
DLOG
2006
15 years 5 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
160
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
253
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
115
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
120
Voted
AIR
2010
15 years 3 months ago
2010
Understanding argumentation and its role in human reasoning has been a continuous subject of investigation for scholars from the ancient Greek philosophers to current researchers ...