Searching for "Analyzing Logic Programs Using "PROP"-ositional Logic Programs and a Magic Wand." – sorted by Relevance.
12,029 documents found, showing 1 through 10.
Next 10 →
-
Analyzing Logic Programs Using "Prop"-Ositional Logic Programs and a Magic Wand
- …Analyzing Logic Programs using "Prop"-ositional Logic Programs and a Magic Wand Michael Codish…
- Cited by 2 (0 self) – Add To MetaCart
-
A Koszul duality for props
- … the operations with multiple inputs and outputs, one has to use a more general algebraic object : the props…
- Cited by 5 (1 self) – Add To MetaCart
-
Prop - Language Reference Manual
- … of the Prop language and describes how to develop programs using the Prop to C++ translator. The author…
- Add To MetaCart
-
Efficient Back Prop
- … �� w �� Et �� w w(r+1) = w(r) - h AT&T Laboratories (c) A FEW PRACTICAL TRICKS BackProp is a simple…
- Cited by 61 (9 self) – Add To MetaCart
-
Groundness Analysis for Prolog: Implementation and Evaluation of the Domain Prop
- … of the domain Prop and we use it to instantiate a generic abstract interpretation algorithm [16, 12, 18]. A key…
- Cited by 17 (2 self) – Add To MetaCart
-
Issues in Synchronizing the English Treebank and PropBank
- …: quarterly or … on their investments Rel: used to (‘used to’ is a separate predicate in PropBank) 4…
- Add To MetaCart
-
Mobile Devices as Props in Daily Role Playing
- … mobile device can be used as a prop, to facilitate the interaction between the user and people…
- Cited by 5 (0 self) – Add To MetaCart
-
A Collaborative Medium for the Support of Conversational Props
- … prototype of a multi-user drawing tool which allows remote use of conversational props. We compare…
- Add To MetaCart
-
PRoP: Personal Roving Presence
- … to the individual near the PRoP. Although the movable head could be used as a crude substitute, it lacked…
- Cited by 23 (2 self) – Add To MetaCart
-
Using Transparent Props For Interaction With The Virtual Table
- …. We present a system that uses transparent props for two-handed interaction on the Barco BARON [4…
- Cited by 32 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
