4099 search results - page 373 / 820 » A Framework for Interactive Proof |
206
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
175
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
165
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
207
click to vote
ILP
2007
Springer
16 years 27 days ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
196
click to vote
COMSWARE
2006
IEEE
16 years 25 days ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...