Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

64

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642028458, 9783642028465

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Research Summary: Intelligent Natural Language Processing Techniques and Tools

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_52 ◽

2009 ◽

pp. 536-537

Author(s):

Alessio Paolucci

Keyword(s):

Natural Language Processing ◽

Natural Language ◽

Language Processing ◽

Processing Techniques

Download Full-text

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_11 ◽

2009 ◽

pp. 70-83 ◽

Author(s):

Henning Christiansen ◽

Ole Torp Lassen

Keyword(s):

Sequence Analysis ◽

Probabilistic Logic ◽

Download Full-text

A Knowledge Base System Project for FO(.)

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_2 ◽

2009 ◽

pp. 22-22 ◽

Author(s):

Marc Denecker

Keyword(s):

Knowledge Base ◽

Base System ◽

Knowledge Base System ◽

Download Full-text

(C)LP Tracing and Debugging

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_7 ◽

2009 ◽

pp. 38-38

Author(s):

Mireille Ducassé

Download Full-text

A New Approach to Non-termination Analysis of Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_21 ◽

2009 ◽

pp. 220-234 ◽

Author(s):

Dean Voets ◽

Danny De Schreye

Keyword(s):

Logic Programs ◽

New Approach ◽

Termination Analysis

Download Full-text

Modular Nonmonotonic Logic Programming Revisited

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_16 ◽

2009 ◽

pp. 145-159 ◽

Author(s):

Minh Dao-Tran ◽

Thomas Eiter ◽

Michael Fink ◽

Thomas Krennwallner

Keyword(s):

Logic Programming ◽

Nonmonotonic Logic

Download Full-text

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_44 ◽

2009 ◽

pp. 509-513

Author(s):

Jesús Aranda ◽

Gerard Assayag ◽

Carlos Olarte ◽

Jorge A. Pérez ◽

Camilo Rueda ◽

...

Keyword(s):

Emergent Systems

Download Full-text

Logic Programming for Multiagent Planning with Negotiation

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_13 ◽

2009 ◽

pp. 99-114 ◽

Author(s):

Tran Cao Son ◽

Enrico Pontelli ◽

Chiaki Sakama

Keyword(s):

Logic Programming ◽

Multiagent Planning

Download Full-text

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_58 ◽

2009 ◽

pp. 549-550

Author(s):

Christian Theil Have

Keyword(s):

Sequence Analysis ◽

Biological Sequence ◽

Biological Sequence Analysis

Download Full-text

Incremental Answer Completion in the SLG-WAM

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_46 ◽

2009 ◽

pp. 519-524 ◽

Author(s):

Terrance Swift ◽

Alexandre Miguel Pinto ◽

Luís Moniz Pereira

Download Full-text