1445 search results - page 77 / 289 » Abstract Interpretation of Logic Programs |
123
click to vote
PADL
2000
Springer
15 years 6 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
137
click to vote
LOPSTR
2001
Springer
15 years 7 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...
126
click to vote
COMMA
2008
15 years 4 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...
148
click to vote
ASP
2003
Springer
15 years 8 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...
143
click to vote
ECSQARU
2005
Springer
15 years 8 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...