6554 search results - page 42 / 1311 » Constraint Logic Programming |
180
click to vote
AAAI
2012
13 years 8 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
129
click to vote
ESWS
2007
Springer
16 years 3 days ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
167
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
165
click to vote
DEBS
2008
ACM
15 years 7 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
164
click to vote
CLEF
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...