3515 search results - page 161 / 703 » On the semantics of Strategy Logic |
217
click to vote
SAC
2003
ACM
16 years 14 days ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
339
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
2. ODB-QOPTIMIZER : the tool ODB-QOPTIMIZERis a ODMG 93 compliant tool for the schema validation and semantic query optimization. The approach is based on two fundamental ingredien...
168
click to vote
KBS
2007
15 years 7 months ago
2007
In this paper we study the brokering and matchmaking problem, that is, how a requester’s requirements and preferences can be matched against a set of offerings collected by a bro...
214
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we present a method for semantic annotation of texts, which is based on a deep linguistic analysis (DLA) and Inductive Logic Programming (ILP). The combination of DLA...
217
click to vote
IJCAI
2007
15 years 8 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...