Search Sciweavers | Sciweavers

87

CADE
1998
Springer

129views Logical Reasoning» more CADE 1998»

15 years 3 months ago

Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »

85

click to vote

AAAI
2007

132views Intelligent Agents» more AAAI 2007»

Inference Rules for High-Order Consistency in Weighted CSP

15 years 1 months ago

Download www.aaai.org

Recently deﬁned resolution calculi for Max-SAT and signed Max-SAT have provided a logical characterization of the solving techniques applied by Max-SAT and WCSP solvers. In this...

Carlos Ansótegui, Maria Luisa Bonet, Jordi ...

claim paper

Read More »

88

click to vote

TCOM
2008

92views more TCOM 2008»

Mailbox switch: a scalable two-stage switch architecture for conflict resolution of ordered packets

14 years 11 months ago

Download www.ieee-infocom.org

Abstract-- Traditionally, conflict resolution in an inputbuffered switch is solved by finding a matching between inputs and outputs per time slot. To do this, a switch not only nee...

Cheng-Shang Chang, Duan-Shin Lee, Ying-Ju Shih, Ch...

claim paper

Read More »

73

click to vote

NAACL
2007

111views Computational Linguistics» more NAACL 2007»

First-Order Probabilistic Models for Coreference Resolution

15 years 17 days ago

Download www.cs.umass.edu

Traditional noun phrase coreference resolution systems represent features only of pairs of noun phrases. In this paper, we propose a machine learning method that enables features ...

Aron Culotta, Michael L. Wick, Andrew McCallum

claim paper

Read More »

86

click to vote

CADE
2003
Springer

139views Logical Reasoning» more CADE 2003»

Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms

15 years 11 months ago