4126 search results - page 35 / 826 » Set based logic programming |
114
Voted
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
95
Voted
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
139
Voted
JAR
2007
15 years 2 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
FSS
2010
14 years 11 months ago
2010
104
Voted
PADL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...