Logics in Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030195694, 9783030195700

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Dynamic Logic of Policies and Contingent Planning

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19570-0_43 ◽

2019 ◽

pp. 659-674

Author(s):

Thomas Bolander ◽

Thorsten Engesser ◽

Andreas Herzig ◽

Robert Mattmüller ◽

Bernhard Nebel

Keyword(s):

Dynamic Logic ◽

Contingent Planning

Download Full-text

On the Complexity of Graded Modal Logics with Converse

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19570-0_42 ◽

2019 ◽

pp. 642-658

Author(s):

Bartosz Bednarczyk ◽

Emanuel Kieroński ◽

Piotr Witkowski

Keyword(s):

Modal Logics

Download Full-text

Chain Answer Sets for Logic Programs with Generalized Atoms

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19570-0_30 ◽

2019 ◽

pp. 462-478 ◽

Cited By ~ 1

Author(s):

Mario Alviano ◽

Wolfgang Faber

Keyword(s):

Logic Programs ◽

Answer Sets

Download Full-text

Counting Strategies for the Probabilistic Description Logic $$\mathcal {ALC}^\mathsf {ME}$$ Under the Principle of Maximum Entropy

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19570-0_28 ◽

2019 ◽

pp. 434-449 ◽

Cited By ~ 2

Author(s):

Marco Wilhelm ◽

Gabriele Kern-Isberner ◽

Andreas Ecke ◽

Franz Baader

Keyword(s):

Maximum Entropy ◽

Description Logic ◽

Principle Of Maximum Entropy ◽

Probabilistic Description ◽

Principle Of Maximum

Download Full-text

Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19570-0_26 ◽

2019 ◽

pp. 399-417

Author(s):

Francesco Kriegel

Keyword(s):

Description Logic ◽

Probability Distributions ◽

Discrete Probability ◽

Discrete Probability Distributions

Download Full-text

Closed-World Semantics for Conjunctive Queries with Negation over $$\mathcal {ELH}_\bot $$ Ontologies

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19570-0_24 ◽

2019 ◽

pp. 371-386 ◽

Cited By ~ 1

Author(s):

Stefan Borgwardt ◽

Walter Forkel

Keyword(s):

Conjunctive Queries ◽

Closed World

Download Full-text

A Logic-Based Question Answering System for Cultural Heritage

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19570-0_35 ◽

2019 ◽

pp. 526-541 ◽

Cited By ~ 1

Author(s):

Bernardo Cuteri ◽

Kristian Reale ◽

Francesco Ricca

Keyword(s):

Cultural Heritage ◽

Question Answering ◽

Question Answering System

Download Full-text

Abstraction for Non-ground Answer Set Programs

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19570-0_38 ◽

2019 ◽

pp. 576-592 ◽

Cited By ~ 1

Author(s):

Zeynep G. Saribatur ◽

Peter Schüller ◽

Thomas Eiter

Keyword(s):

Answer Set

Download Full-text

Empirical Study on Human Evaluation of Complex Argumentation Frameworks

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19570-0_7 ◽

2019 ◽

pp. 102-115 ◽

Cited By ~ 2

Author(s):

Marcos Cramer ◽

Mathieu Guillaume

Keyword(s):

Empirical Study ◽

Human Evaluation ◽

Complex Argumentation

Download Full-text

Extending Bell Numbers for Parsimonious Chase Estimation

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19570-0_32 ◽

2019 ◽

pp. 490-497

Author(s):

Giovanni Amendola ◽

Cinzia Marte

Keyword(s):

Bell Numbers

Download Full-text

Logics in Artificial Intelligence - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

The Dynamic Logic of Policies and Contingent Planning

On the Complexity of Graded Modal Logics with Converse

Chain Answer Sets for Logic Programs with Generalized Atoms

Counting Strategies for the Probabilistic Description Logic $$\mathcal {ALC}^\mathsf {ME}$$ Under the Principle of Maximum Entropy

Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs

Closed-World Semantics for Conjunctive Queries with Negation over $$\mathcal {ELH}_\bot $$ Ontologies

A Logic-Based Question Answering System for Cultural Heritage

Abstraction for Non-ground Answer Set Programs

Empirical Study on Human Evaluation of Complex Argumentation Frameworks

Extending Bell Numbers for Parsimonious Chase Estimation

Logics in Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications