322 search results - page 49 / 65 » Combinations of Abstract Domains for Logic Programming |
135
Voted
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
117
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
148
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
178
Voted
CADE
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
129
Voted
EPS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we describe EvoCK, a new approach to the application of genetic programming (GP) to planning. This approach starts with a traditional AI planner (PRODIGY)an...