1151 search results - page 130 / 231 » Collaborative Programming: Applications of Logic and Automat... |
154
Voted
ILP
2007
Springer
15 years 10 months 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...
117
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
139
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
135
Voted
DLOG
2003
15 years 5 months ago
2003
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
136
Voted
EXPERT
2006
15 years 3 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...