Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540899815, 9783540899822

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quantified Equilibrium Logic and Foundations for Answer Set Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89982-2_46 ◽

2008 ◽

pp. 546-560 ◽

Cited By ~ 18

Author(s):

David Pearce ◽

Agustín Valverde

Keyword(s):

Answer Set

Download Full-text

Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89982-2_76 ◽

2008 ◽

pp. 779-784 ◽

Cited By ~ 6

Author(s):

Piero A. Bonatti ◽

Juri L. De Coi ◽

Daniel Olmedilla ◽

Luigi Sauro

Keyword(s):

Logic Programming ◽

Trust Management

Download Full-text

TopLog: ILP Using a Logic Program Declarative Bias

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89982-2_58 ◽

2008 ◽

pp. 687-692 ◽

Cited By ~ 8

Author(s):

Stephen H. Muggleton ◽

José Carlos Almeida Santos ◽

Alireza Tamaddoni-Nezhad

Keyword(s):

Logic Program ◽

Declarative Bias

Download Full-text

Efficient Algorithms for Functional Constraints

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89982-2_50 ◽

2008 ◽

pp. 606-620 ◽

Cited By ~ 1

Author(s):

Yuanlin Zhang ◽

Roland H. C. Yap ◽

Chendong Li ◽

Satyanarayana Marisetti

Keyword(s):

Efficient Algorithms ◽

Functional Constraints

Download Full-text

Partial Functions and Equality in Answer Set Programming

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89982-2_36 ◽

2008 ◽

pp. 392-406 ◽

Cited By ~ 6

Author(s):

Pedro Cabalar

Keyword(s):

Answer Set Programming ◽

Partial Functions ◽

Answer Set

Download Full-text

Dynamic Analysis of Bounds Versus Domain Propagation

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89982-2_32 ◽

2008 ◽

pp. 332-346 ◽

Cited By ~ 1

Author(s):

Christian Schulte ◽

Peter J. Stuckey

Keyword(s):

Dynamic Analysis ◽

Versus Domain

Download Full-text

Engineering an Incremental ASP Solver

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89982-2_23 ◽

2008 ◽

pp. 190-205 ◽

Cited By ~ 51

Author(s):

Martin Gebser ◽

Roland Kaminski ◽

Benjamin Kaufmann ◽

Max Ostrowski ◽

Torsten Schaub ◽

...

Download Full-text

Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89982-2_41 ◽

2008 ◽

pp. 470-484 ◽

Cited By ~ 9

Author(s):

Luca Benini ◽

Davide Bertozzi ◽

Michela Milano

Keyword(s):

Resource Management ◽

Constraint Programming ◽

Use Cases ◽

Management Policy ◽

Multiple Use

Download Full-text

Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89982-2_11 ◽

2008 ◽

pp. 69-70

Author(s):

Chitta Baral

Keyword(s):

Knowledge Representation ◽

Answer Set Programming ◽

Knowledge Representation And Reasoning ◽

Future Directions ◽

Answer Set

Download Full-text

On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89982-2_25 ◽

2008 ◽

pp. 223-237 ◽

Cited By ~ 2

Author(s):

V. W. Marek ◽

J. B. Remmel

Keyword(s):

Proof Theory

Download Full-text

Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Quantified Equilibrium Logic and Foundations for Answer Set Programs

Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security

TopLog: ILP Using a Logic Program Declarative Bias

Efficient Algorithms for Functional Constraints

Partial Functions and Equality in Answer Set Programming

Dynamic Analysis of Bounds Versus Domain Propagation

Engineering an Incremental ASP Solver

Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming

Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions

On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP

Logic Programming - Lecture Notes in Computer Science
Latest Publications