Correctness proof of a distributed implementation of prolog by means of abstract state machines

Journal of Universal Computer Science (p. 568-602) - 1997

• ISSN/ISBN 0958-695X

• Dialnet

A parallel prolog system for distributed memory

Journal of Logic Programming (p. 49-79) - 1997

Editor: Elsevier Inc.

10.1016/s0743-1066(96)00117-3 Ver en origen

• ISSN/ISBN 0743-1066

• Dialnet

Parallel execution of Prolog with granularity control

Future Generation Computer Systems (p. 421-441) - 1998

Editor: Elsevier

10.1016/s0167-739x(97)00025-3 Ver en origen

• ISSN/ISBN 0167-739X

• Dialnet

A hybrid evolutionary approach for solving constrained optimization problems over finite domains

IEEE Transactions on Evolutionary Computation (p. 353-372) - 2000

10.1109/4235.887235 Ver en origen

• ISSN/ISBN 1089-778X

• Dialnet

Some essential side-effects of prolog on a distributed implementation

Computers and Artificial Intelligence (p. 147-167) - 2000

• ISSN/ISBN 0232-0274

• Dialnet

Análisis sintáctico ascendente con un algoritmo evolutivo

Procesamiento del lenguaje natural (p. 167-174) - 2003

Editor: Sociedad Española para el Procesamiento del Lenguaje Natural

• ISSN/ISBN 1135-5948

• Dialnet

Studying the advantages of a Messy Evolutionary Algorithm for natural language tagging

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 1951-1962) - 2003

Editor: Springer Verlag

10.1007/3-540-45110-2_94 Ver en origen

• ISSN/ISBN 1611-3349

• Dialnet

Symbiosis of Evolutionary Techniques and Statistical Natural Language Processing

IEEE Transactions on Evolutionary Computation (p. 14-27) - 2004

10.1109/tevc.2003.818189 Ver en origen

• ISSN/ISBN 1089-778X

• Dialnet

A probabilistic chart parser implemented with an evolutionary algorithm

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 81-92) - 2004

Editor: Springer Verlag

10.1007/978-3-540-24630-5_10 Ver en origen

• ISSN/ISBN 1611-3349

• Dialnet

Metaheuristics for natural language tagging

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 889-900) - 2004

Editor: Springer Verlag

10.1007/978-3-540-24854-5_90 Ver en origen

• ISSN/ISBN 1611-3349

• Dialnet

Algoritmos evolutivos: un enfoque práctico

2009

Editor: RA-MA

• ISSN/ISBN 978-84-7897-911-0

• Dialnet

Programación y estructuras de datos avanzadas

2011

Editor: Editorial Universitaria Ramón Areces

• ISSN/ISBN 978-84-9961-022-1

• Dialnet

A transputer-based architecture to exploit the restricted-and- parallelism of Prolog

Melecon (p. 1081-1084) - 1991

Editor: Publ by IEEE

• ISSN/ISBN 0879426551

• Dialnet

PDP - Prolog distributed processor for independent and or parallel execution of prolog

LOGIC PROGRAMMING (p. 142-156) - 1994

Editor: M I T PRESS

• ISSN/ISBN 1061-0464

• Dialnet

A transputer-based prolog distributed processor

Progress in Transputer and Occam Research (p. 205-219) - 1994

Editor: I O S PRESS

• ISSN/ISBN 0925-4986

• Dialnet

Towards full prolog on a distributed architecture

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 1173-1180) - 1997

Editor: Springer Verlag

10.1007/bfb0002870 Ver en origen

• ISSN/ISBN 1611-3349

• Dialnet

Parallel evolutionary optimisation with constraint propagation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 270-279) - 1998

• ISSN/ISBN 0302-9743

• Dialnet

Parallel execution models for constraint propagation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 473) - 1998

Editor: Springer Verlag

10.1007/3-540-49481-2_44 Ver en origen

• ISSN/ISBN 9783540652243

• Dialnet

Parallel execution models for constraint programming over finite domains

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 134-151) - 1999

Editor: Springer Verlag

10.1007/10704567_8 Ver en origen

• ISSN/ISBN 1611-3349

• Dialnet

Parallel implementation of constraint solving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 466-472) - 1999

Editor: Springer Verlag

10.1007/3-540-48387-x_48 Ver en origen

• ISSN/ISBN 9783540663638

• Dialnet

Evolutionary parsing for a probabilistic context free grammar

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 590-597) - 2001

Editor: Springer Verlag

10.1007/3-540-45554-x_74 Ver en origen

• ISSN/ISBN 9783540430742

• Dialnet

Part-of-speech tagging with evolutionary algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 230-239) - 2002

Editor: Springer Verlag

10.1007/3-540-45715-1_21 Ver en origen

• ISSN/ISBN 1611-3349

• Dialnet