884 search results - page 32 / 177 » Using Nested Logic Programs for Answer Set Programming |
ASP
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
WWW
2009
ACM
14 years 2 months ago
2009
ACM
This paper presents an end-user-oriented programming environment called Mashroom. Major contributions herein include an end-user programming model with an expressive data structur...
LPNMR
2009
Springer
14 years 8 days ago
2009
Springer
This note summarizes the use of Answer Set Programming to solve various computational problems to infer phylogenetic trees and phylogenetic networks, and discusses its applicabilit...
ESWS
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...