2145 search results - page 167 / 429 » Lax Logical Relations |
88
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
117
click to vote
JAIR
2007
15 years 18 days ago
2007
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...
125
Voted
LOGCOM
2002
15 years 11 days ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
119
Voted
IGPL
2010
14 years 11 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
102
click to vote
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in struct...