Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642208317, 9783642208324

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Effectively Reasoning about Infinite Sets in Answer Set Programming

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ◽

10.1007/978-3-642-20832-4_9 ◽

2011 ◽

pp. 131-147

Author(s):

Victor Marek ◽

Jeffrey B. Remmel

Keyword(s):

Answer Set Programming ◽

Infinite Sets ◽

Answer Set

Download Full-text

ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ◽

10.1007/978-3-642-20832-4_30 ◽

2011 ◽

pp. 490-509

Author(s):

Richard Watson ◽

Marina De Vos

Keyword(s):

Answer Sets

Download Full-text

Combining Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ◽

10.1007/978-3-642-20832-4_28 ◽

2011 ◽

pp. 452-472 ◽

Cited By ~ 1

Author(s):

Enrico Pontelli ◽

Tran Cao Son ◽

Ngoc-Hieu Nguyen

Keyword(s):

Answer Set Programming ◽

Answer Set

Download Full-text

Perspectives on Logic-Based Approaches for Reasoning about Actions and Change

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ◽

10.1007/978-3-642-20832-4_17 ◽

2011 ◽

pp. 259-279 ◽

Cited By ~ 5

Author(s):

Agostino Dovier ◽

Andrea Formisano ◽

Enrico Pontelli

Keyword(s):

Reasoning About Actions

Download Full-text

Revisiting Epistemic Specifications

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ◽

10.1007/978-3-642-20832-4_20 ◽

2011 ◽

pp. 315-333 ◽

Cited By ~ 10

Author(s):

Mirosław Truszczyński

Download Full-text

ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ◽

10.1007/978-3-642-20832-4_24 ◽

2011 ◽

pp. 377-397 ◽

Cited By ~ 2

Author(s):

Marcello Balduccini ◽

Sara Girotto

Keyword(s):

Cognitive Modeling ◽

Short Term Memory ◽

Long Term Memory ◽

Short Term ◽

Term Memory ◽

Modeling Tool

Download Full-text

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ◽

10.1007/978-3-642-20832-4_16 ◽

2011 ◽

pp. 233-258 ◽

Cited By ~ 18

Author(s):

Gerhard Brewka ◽

Thomas Eiter ◽

Michael Fink

Keyword(s):

Knowledge Sources ◽

Flexible Approach ◽

Heterogeneous Knowledge

Download Full-text

Evolving Logic Programs with Temporal Operators

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ◽

10.1007/978-3-642-20832-4_14 ◽

2011 ◽

pp. 193-212 ◽

Cited By ~ 1

Author(s):

José Júlio Alferes ◽

Alfredo Gabaldon ◽

João Leite

Keyword(s):

Logic Programs

Download Full-text

Applications of Answer Set Programming in Phylogenetic Systematics

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ◽

10.1007/978-3-642-20832-4_26 ◽

2011 ◽

pp. 415-431 ◽

Cited By ~ 3

Author(s):

Esra Erdem

Keyword(s):

Answer Set Programming ◽

Phylogenetic Systematics ◽

Answer Set

Download Full-text

PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ◽

10.1007/978-3-642-20832-4_23 ◽

2011 ◽

pp. 347-376 ◽

Cited By ~ 3

Author(s):

Massimiliano Albanese ◽

Matthias Broecheler ◽

John Grant ◽

Maria Vanina Martinez ◽

V. S. Subrahmanian

Keyword(s):

Logic Program ◽

Probabilistic Logic

Download Full-text

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic ReasoningLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Effectively Reasoning about Infinite Sets in Answer Set Programming

ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents

Combining Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System

Perspectives on Logic-Based Approaches for Reasoning about Actions and Change

Revisiting Epistemic Specifications

ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources

Evolving Logic Programs with Temporal Operators

Applications of Answer Set Programming in Phylogenetic Systematics

PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information

Lecture Notes in Computer Science - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Latest Publications