5506 search results - page 114 / 1102 » Minimal Logic Programs |
134
click to vote
LOGCOM
2007
15 years 3 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
253
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
114
click to vote
ERSHOV
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
134
click to vote
JUCS
2006
15 years 3 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
160
Voted
ASP
2005
Springer
15 years 8 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...