A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
Abstract. This paper presents a technique with which instances of argument structures in the Carneades model can be given a probabilistic semantics by translating them into Bayesia...
Matthias Grabmair, Thomas F. Gordon, Douglas Walto...
Abstract. An explosion in the use of RDF for representing information about resources has driven the requirements for Webscale server systems that can store and process huge quanti...
Barry Bishop, Atanas Kiryakov, Damyan Ognyanoff, I...
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...