Sciweavers

1455 search results - page 5 / 291

» Programming in Logic with Constraints for Natural Language P...

94

Voted

MODELS
2009
Springer

130views Natural Language Processing» more MODELS 2009»

OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language

15 years 9 months ago

OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language

Download www.cs.colostate.edu

Joanna Chimiak-Opoka

claim paper

Read More »

166

LNCS
1994

147views Natural Language Processing» more LNCS 1994»

An Architecture for Cooperating Constraint Solvers on Reals

15 years 7 months ago

An Architecture for Cooperating Constraint Solvers on Reals

Download user.cs.tu-berlin.de

Michel Rueher

claim paper

Read More »

106

EACL
1993
ACL Anthology

134views Natural Language Processing» more EACL 1993»

Lexical Disambiguation Using Constraint Handling In Prolog (CHIP)

15 years 4 months ago

Lexical Disambiguation Using Constraint Handling In Prolog (CHIP)

Download acl.ldc.upenn.edu

George C. Demetriou

claim paper

Read More »

134

DALT
2009
Springer

130views Intelligent Agents» more DALT 2009»

Playing with Rules

15 years 9 months ago

Playing with Rules

Download centria.di.fct.unl.pt

Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...

João Leite

claim paper

Read More »

127

TBILLC
2007
Springer

119views Natural Language Processing» more TBILLC 2007»

Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

15 years 9 months ago

Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

Download www.illc.uva.nl

Alexei Y. Muravitsky

claim paper

Read More »

« Prev « First page 5 / 291 Last » Next »