Ruben Verborgh’s data

Matches in Ruben’s data for { <https://ruben.verborgh.org/publications/arndt_ruleml_2015/#publication> ?p ?o }

• publication author me.
• publication author rik_van_de_walle.
• publication author hong_sun.
• publication author erik_mannens.
• publication author dorthe_arndt.
• publication author me.
• publication creator me.
• publication creator rik_van_de_walle.
• publication creator hong_sun.
• publication creator erik_mannens.
• publication creator dorthe_arndt.
• publication creator me.
• publication about Notation_.
• publication about reasoning.
• publication author me.
• publication author rik_van_de_walle.
• publication author hong_sun.
• publication author erik_mannens.
• publication author dorthe_arndt.
• publication author me.
• publication coparticipatesWith me.
• publication coparticipatesWith rik_van_de_walle.
• publication coparticipatesWith hong_sun.
• publication coparticipatesWith erik_mannens.
• publication coparticipatesWith dorthe_arndt.
• publication coparticipatesWith me.
• publication type PublicationVolume.
• publication type ScholarlyArticle.
• publication type Article.
• publication type Document.
• publication type Document.
• publication type Document.
• publication type Q386724.
• publication type CreativeWork.
• publication type Work.
• publication P50 me.
• publication P50 rik_van_de_walle.
• publication P50 hong_sun.
• publication P50 erik_mannens.
• publication P50 dorthe_arndt.
• publication P50 me.
• publication maker me.
• publication maker rik_van_de_walle.
• publication maker hong_sun.
• publication maker erik_mannens.
• publication maker dorthe_arndt.
• publication maker me.
• publication title "Semantics of Notation3 Logic: A solution for implicit quantification".
• publication isPartOf proceedings_of_the_9th_international_ruleml_symposium.
• publication name "Semantics of Notation3 Logic: A solution for implicit quantification".
• publication label "Semantics of Notation3 Logic: A solution for implicit quantification".
• publication name "Semantics of Notation3 Logic: A solution for implicit quantification".
• publication topic Notation_.
• publication topic reasoning.
• publication subject Notation_.
• publication subject reasoning.
• publication authorList b0_b2808.
• publication topic Notation_.
• publication topic reasoning.
• publication abstract "Since the development of Notation3 Logic, several years have passed in which the theory has been refined and used in practice by different reasoning engines such as cwm, FuXi or EYE. Nevertheless, a clear model-theoretic definition of its semantics is still missing. This leaves room for individual interpretations and renders it difficult to make clear statements about its relation to other logics such as DL or FOL or even about such basic concepts as correctness. In this paper we address one of the main open challenges: the formalization of implicit quantification. We point out how the interpretation of implicit quantifiers differs in two of the above mentioned reasoning engines and how the specification, proposed in the W3C team submission, could be formalized. Our formalization is then put into context by integrating it into a model-theoretic definition of the whole language. We finish our contribution by arguing why universal quantification should be handled differently than currently prescribed.".
• publication datePublished "2015".
• publication mainEntityOfPage arndt_ruleml_2015.
• publication sameAs publication.
• publication isPrimaryTopicOf arndt_ruleml_2015.
• publication page arndt_ruleml_2015.
• publication number "9202".
• publication number "127".
• publication number "143".
• publication volume "9202".
• publication locator "9202".
• publication locator "127".
• publication locator "143".
• publication volume "9202".
• publication position "9202".
• publication volumeNumber "9202".
• publication endingPage "143".
• publication startingPage "127".
• publication pageEnd "143".
• publication pageStart "127".
• publication pageEnd "143".
• publication pageStart "127".