Matches in ScholarlyData for { ?s ?p ?o. }
- item-2 type ListItem.
- item-2 hasContent maurizio-lenzerini.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent riccardo-rosati.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent marco-ruzzi.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent domenico-fabio-savo.
- item-5 previous item-4.
- 165 creator thanh-binh-nguyen.
- 165 type InProceedings.
- 165 label "Decidability of unification in EL without Top constructor".
- 165 sameAs 165.
- 165 hasAuthorList authorList.
- 165 isPartOf proceedings.
- 165 title "Decidability of unification in EL without Top constructor".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasLastItem item-1.
- item-1 type ListItem.
- item-1 hasContent thanh-binh-nguyen.
- 180 creator martin-rezk.
- 180 creator michael-kifer.
- 180 type InProceedings.
- 180 label "Representing L1 Domain Descriptions as Partially Defined Actions of Transaction Logic".
- 180 sameAs 180.
- 180 hasAuthorList authorList.
- 180 isPartOf proceedings.
- 180 title "Representing L1 Domain Descriptions as Partially Defined Actions of Transaction Logic".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent martin-rezk.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent michael-kifer.
- item-2 previous item-1.
- 195 creator martin-rezk.
- 195 creator michael-kifer.
- 195 type InProceedings.
- 195 label "Reasoning with Actions in Transaction Logic".
- 195 sameAs 195.
- 195 hasAuthorList authorList.
- 195 isPartOf proceedings.
- 195 title "Reasoning with Actions in Transaction Logic".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent martin-rezk.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent michael-kifer.
- item-2 previous item-1.
- 210 creator henri-prade.
- 210 creator steven-schockaert.
- 210 type InProceedings.
- 210 label "Interpolation and Extrapolation in Conceptual Spaces: A Case Study in the Music Domain".
- 210 sameAs 210.
- 210 hasAuthorList authorList.
- 210 isPartOf proceedings.
- 210 title "Interpolation and Extrapolation in Conceptual Spaces: A Case Study in the Music Domain".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent steven-schockaert.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent henri-prade.
- item-2 previous item-1.
- 30 creator jean-francois-baget.
- 30 creator marie-laure-mugnier.
- 30 creator michael-thomazo.
- 30 type InProceedings.
- 30 label "Towards Farsighted Dependencies for Existential Rules".
- 30 sameAs 30.
- 30 hasAuthorList authorList.
- 30 isPartOf proceedings.
- 30 title "Towards Farsighted Dependencies for Existential Rules".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.