80 search results - page 15 / 16 » A Procedural Semantics for Multi-adjoint Logic Programming |
142
Voted
AAAI
1990
15 years 4 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
145
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
In this paper we consider three di erent kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative ...
119
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
268
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
155
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...