Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540439608, 9783540456322

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

MuTACLP: A Language for Temporal Reasoning with Multiple Theories

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45632-5_1 ◽

2002 ◽

pp. 1-40 ◽

Cited By ~ 5

Author(s):

Paolo Baldan ◽

Paolo Mancarella ◽

Alessandra Raffaetà ◽

Franco Turini

Keyword(s):

Temporal Reasoning

Download Full-text

Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45632-5_12 ◽

2002 ◽

pp. 289-310 ◽

Cited By ~ 1

Author(s):

Phan Minh Dung ◽

Paolo Mancarella ◽

Francesca Toni

Download Full-text

Automated Abduction

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45632-5_13 ◽

2002 ◽

pp. 311-341 ◽

Cited By ~ 4

Author(s):

Katsumi Inoue

Download Full-text

Search and Optimization Problems in Datalog

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45632-5_3 ◽

2002 ◽

pp. 61-82 ◽

Cited By ~ 3

Author(s):

Sergio Greco ◽

Domenico Saccà

Keyword(s):

Optimization Problems

Download Full-text

Data Mining as Constraint Logic Programming

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45632-5_20 ◽

2002 ◽

pp. 526-547 ◽

Cited By ~ 6

Author(s):

Luc De Raedt

Keyword(s):

Data Mining ◽

Logic Programming ◽

Constraint Logic Programming

Download Full-text

Meta-reasoning: A Survey

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45632-5_11 ◽

2002 ◽

pp. 253-288 ◽

Cited By ~ 12

Author(s):

Stefania Costantini

Download Full-text

Representing Knowledge in A-Prolog

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45632-5_16 ◽

2002 ◽

pp. 413-451 ◽

Cited By ~ 47

Author(s):

Michael Gelfond

Download Full-text

A Decidable CLDS for Some Propositional Resource Logics

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45632-5_6 ◽

2002 ◽

pp. 135-159

Author(s):

Krysia Broda

Keyword(s):

Resource Logics

Download Full-text

DCGs: Parsing as Deduction?

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45632-5_21 ◽

2002 ◽

pp. 548-566

Author(s):

Chris Mellish

Download Full-text

Issues in Learning Language in Logic

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science ◽

10.1007/3-540-45632-5_18 ◽

2002 ◽

pp. 491-505 ◽

Cited By ~ 2

Author(s):

James Cussens

Keyword(s):

Learning Language

Download Full-text

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

MuTACLP: A Language for Temporal Reasoning with Multiple Theories

Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning

Automated Abduction

Search and Optimization Problems in Datalog

Data Mining as Constraint Logic Programming

Meta-reasoning: A Survey

Representing Knowledge in A-Prolog

A Decidable CLDS for Some Propositional Resource Logics

DCGs: Parsing as Deduction?

Issues in Learning Language in Logic

Computational Logic: Logic Programming and Beyond - Lecture Notes in Computer Science
Latest Publications