Search Sciweavers | Sciweavers

1321 search results - page 11 / 265

» Subtyping in Logical Form

click to vote

LACL
1998
Springer

73views Automated Reasoning» more LACL 1998»

Sequential Construction of Logical Forms

15 years 1 months ago

Download www.illc.uva.nl

In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...

Wilfried Meyer-Viol

claim paper

Read More »

100

click to vote

IPPS
2007
IEEE

119views Distributed And Parallel Com...» more IPPS 2007»

Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements

15 years 3 months ago

Download www.cecs.uci.edu

This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...

Carlos Morra, João M. P. Cardoso, Jürg...

claim paper

Read More »

click to vote

AAAI
1998

133views Intelligent Agents» more AAAI 1998»

Two Forms of Dependence in Propositional Logic: Controllability and Definability

14 years 10 months ago

Download www.aaai.org

We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...

Jérôme Lang, Pierre Marquis

claim paper

Read More »

click to vote

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

15 years 1 months ago