The central focus of this Ph. D. research is on ‘Logic and Cognition’and, more specifically,
this research covers the quintuple (Logic and Logical Philosophy, Philosophy of Education, …

The Feferman–Vaught theorem provides a way of evaluating a first order sentence φ on a
disjoint union of structures by producing a decomposition of φ into sentences which can be …

I picked this book up at ICSE 2004 in Edinburgh and read it on the plane back to the states.(You
might guess that I was flying an American carrier.) I had no intention of writing a review …

This article offers a survey of computational research on referring expression generation (REG).
It introduces the REG problem and describes early work in this area, discussing what …

Ever since the vision was formulated, the Semantic Web has inspired many generations of
innovations. Semantic technologies have been used to share vast amounts of information on …

Regarding constructivism as a learning philosophy and/or a model of knowing, a person (learner
or mentor) based on her/his preconceptions and on personal knowings could actively …

… Let us consider the pairwise disjoint sets U, B and L. They denote resources (URI
references), blank nodes, and literals. RDF triple is a tuple t = (s, p, o) ∈ (U ∪ B) × U × (U∪B∪…

Our goal in the LDBC project is to provide a set of open, fair, and vendor-neutral benchmarks
for RDF/graph databases. As a first step towards this goal, this deliverable presents the …