899 search results - page 32 / 180 » A CTL-Based Logic for Program Abstractions |
124
click to vote
LOPSTR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
120
click to vote
COMMA
2008
15 years 3 months ago
2008
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is an argumentation framework based on logic programming which incorporates a treatment of possibilistic uncertainty a...
119
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
140
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
130
click to vote
ECSQARU
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...