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

TOTAL DOCUMENTS

53

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer International Publishing

9783319115573, 9783319115580

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_11 ◽

2014 ◽

pp. 152-165 ◽

Author(s):

Said Jabbour ◽

Joao Marques-Silva ◽

Lakhdar Sais ◽

Yakoub Salhi

Keyword(s):

Normal Form ◽

Conjunctive Normal Form ◽

Prime Implicants

Download Full-text

Inductive Learning of Answer Set Programs

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_22 ◽

2014 ◽

pp. 311-325 ◽

Author(s):

Mark Law ◽

Alessandra Russo ◽

Krysia Broda

Keyword(s):

Inductive Learning ◽

Download Full-text

Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_6 ◽

2014 ◽

pp. 77-91 ◽

Author(s):

İsmail İlkan Ceylan ◽

Rafael Peñaloza

Keyword(s):

Description Logic ◽

Complexity Bounds

Download Full-text

Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_45 ◽

2014 ◽

pp. 618-627 ◽

Author(s):

Giuseppe Marra ◽

Francesco Ricca ◽

Giorgio Terracina ◽

Domenico Ursino

Keyword(s):

Social Network ◽

Information Diffusion ◽

Answer Set Programming ◽

Download Full-text

Modular Paracoherent Answer Sets

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_32 ◽

2014 ◽

pp. 457-471 ◽

Author(s):

Giovanni Amendola ◽

Thomas Eiter ◽

Nicola Leone

Keyword(s):

Download Full-text

Preserving Strong Equivalence while Forgetting

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_29 ◽

2014 ◽

pp. 412-425 ◽

Author(s):

Matthias Knorr ◽

José Julio Alferes

Download Full-text

Constructive Models for Contraction with Intransitive Plausibility Indifference

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_25 ◽

2014 ◽

pp. 355-367

Author(s):

Pavlos Peppas ◽

Mary-Anne Williams

Keyword(s):

Constructive Models

Download Full-text

A Complexity Assessment for Queries Involving Sufficient and Necessary Causes

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_21 ◽

2014 ◽

pp. 297-310 ◽

Author(s):

Pedro Cabalar ◽

Jorge Fandiño ◽

Michael Fink

Keyword(s):

Complexity Assessment

Download Full-text

On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_19 ◽

2014 ◽

pp. 267-281 ◽

Author(s):

Luca Aceto ◽

Dario Della Monica ◽

Anna Ingólfsdóttir ◽

Angelo Montanari ◽

Guido Sciavicco

Keyword(s):

Linear Orders ◽

Download Full-text

Logics for Approximating Implication Problems of Saturated Conditional Independence

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_16 ◽

2014 ◽

pp. 224-238

Author(s):

Henning Koehler ◽

Sebastian Link

Keyword(s):

Conditional Independence

Download Full-text