1137 search results - page 107 / 228 » Logic Programming for Knowledge Representation |
126
click to vote
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
120
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We are interested in learning programs for multiple related tasks given only a few training examples per task. Since the program for a single task is underdetermined by its data, ...
150
click to vote
IUI
2003
ACM
15 years 8 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
201
click to vote
CADE
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
129
click to vote
SUM
2009
Springer
15 years 7 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...