Sciweavers

1455 search results - page 5 / 291

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

21

MODELS
2009
Springer

130views Natural Language Processing» more MODELS 2009»

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

14 years 2 months ago

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

Download www.cs.colostate.edu

Joanna Chimiak-Opoka

claim paper

Read More »

44

LNCS
1994

147views Natural Language Processing» more LNCS 1994»

An Architecture for Cooperating Constraint Solvers on Reals

13 years 11 months ago

An Architecture for Cooperating Constraint Solvers on Reals

Download user.cs.tu-berlin.de

Michel Rueher

claim paper

Read More »

21

EACL
1993
ACL Anthology

134views Natural Language Processing» more EACL 1993»

Lexical Disambiguation Using Constraint Handling In Prolog (CHIP)

13 years 9 months ago

Lexical Disambiguation Using Constraint Handling In Prolog (CHIP)

Download acl.ldc.upenn.edu

George C. Demetriou

claim paper

Read More »

26

DALT
2009
Springer

130views Intelligent Agents» more DALT 2009»

Playing with Rules

14 years 2 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 »

21

TBILLC
2007
Springer

119views Natural Language Processing» more TBILLC 2007»

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

14 years 1 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 »