Search Sciweavers | Sciweavers

3658 search results - page 209 / 732

» The logic of proofs, semantically

169

click to vote

JSAC
2007

63views more JSAC 2007»

A new survivable mapping problem in IP-over-WDM networks

15 years 6 months ago

Download archives.cs.iastate.edu

— We introduce a new version of the widely studied survivable mapping problem in IP-over-WDM networks. The new problem allows augmenting the given logical topology and is describ...

Chang Liu, Lu Ruan

claim paper

Read More »

155

click to vote

RR
2007
Springer

137views Automated Reasoning» more RR 2007»

A Semantic Framework for Language Layering in WSML

16 years 23 days ago

Download www.kr.tuwien.ac.at

Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...

Jos de Bruijn, Stijn Heymans

claim paper

Read More »

161

click to vote

JOLLI
2002

120views more JOLLI 2002»

The Donkey and the Monoid. Dynamic Semantics with Control Elements

15 years 6 months ago

Download igitur-archive.library.uu.nl

Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...

Albert Visser

claim paper

Read More »

150

click to vote

EACL
2009
ACL Anthology

113views Natural Language Processing» more EACL 2009»

A Logic of Semantic Representations for Shallow Parsing

16 years 7 months ago