247 search results - page 31 / 50 » Stable models and an alternative logic programming paradigm |
112
click to vote
FM
2003
Springer
15 years 4 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
204
click to vote
AI
2011
Springer
14 years 6 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
A central issue in relational learning is the choice of an appropriate bias for limiting first-order induction. The purpose of this study is to circumvent this issue within a unifo...
100
click to vote
WWW
2005
ACM
16 years 10 days ago
2005
ACM
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
110
Voted
AOSE
2001
Springer
15 years 4 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...