ScholarlyData |

ScholarlyData

Matches in ScholarlyData for { ?s ?p ?o. }

Showing items 174,501 to 174,600 of ±353,162 with 100 items per page.

authorList hasItem item-1.
authorList hasItem item-2.
authorList hasItem item-3.
authorList hasLastItem item-3.
item-1 type ListItem.
item-1 hasContent joanna-jozefowska.
item-1 next item-2.
item-2 type ListItem.
item-2 hasContent agnieszka-lawrynowicz.
item-2 next item-3.
item-2 previous item-1.
item-3 type ListItem.
item-3 hasContent tomasz-lukaszewski.
item-3 previous item-2.
1 creator jos-de-bruijn.
1 creator martin-rezk.
1 type InProceedings.
1 label "A Logic Based Approach to the Static Analysis of Production Systems".
1 sameAs 1.
1 hasAuthorList authorList.
1 isPartOf proceedings.
1 title "A Logic Based Approach to the Static Analysis of Production Systems".
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 jos-de-bruijn.
item-2 previous item-1.
10 creator francois-bry.
10 creator norbert-eisinger.
10 creator simon-brodt.
10 type InProceedings.
10 label "Search for More Declarativity - Backward Reasoning for Rule Languages Reconsidered".
10 sameAs 10.
10 hasAuthorList authorList.
10 isPartOf proceedings.
10 title "Search for More Declarativity - Backward Reasoning for Rule Languages Reconsidered".
authorList type List.
authorList hasFirstItem item-1.
authorList hasItem item-1.
authorList hasItem item-2.
authorList hasItem item-3.
authorList hasLastItem item-3.
item-1 type ListItem.
item-1 hasContent simon-brodt.
item-1 next item-2.
item-2 type ListItem.
item-2 hasContent francois-bry.
item-2 next item-3.
item-2 previous item-1.
item-3 type ListItem.
item-3 hasContent norbert-eisinger.
item-3 previous item-2.
11 creator hui-wan.
11 type InProceedings.
11 label "Belief Logic Programming with Cyclic Dependencies".
11 sameAs 11.
11 hasAuthorList authorList.
11 isPartOf proceedings.
11 title "Belief Logic Programming with Cyclic Dependencies".
authorList type List.
authorList hasFirstItem item-1.
authorList hasItem item-1.
authorList hasLastItem item-1.
item-1 type ListItem.
item-1 hasContent hui-wan.
12 creator gergely-lukacsy.
12 creator peter-szeredi.
12 type InProceedings.
12 label "Scalable Web Reasoning using Logic Programming Techniques".
12 sameAs 12.
12 hasAuthorList authorList.
12 isPartOf proceedings.
12 title "Scalable Web Reasoning using Logic Programming Techniques".
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 gergely-lukacsy.
item-1 next item-2.
item-2 type ListItem.
item-2 hasContent peter-szeredi.
item-2 previous item-1.
13 creator umberto-straccia.
13 type InProceedings.
13 label "A Minimal Deductive System for General Fuzzy RDF".
13 sameAs 13.
13 hasAuthorList authorList.
13 isPartOf proceedings.
13 title "A Minimal Deductive System for General Fuzzy RDF".
authorList type List.
authorList hasFirstItem item-1.
authorList hasItem item-1.