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

TOTAL DOCUMENTS

30

(FIVE YEARS 30)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030757748, 9783030757755

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_30 ◽

2021 ◽

pp. 442-457

Author(s):

Pierre Tassel ◽

Mohamed Rbaia

Keyword(s):

Planning Problem ◽

Maintenance Planning ◽

Aircraft Routing

Download Full-text

Trust Is All You Need: From Belief Revision to Information Revision

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_5 ◽

2021 ◽

pp. 50-65

Author(s):

Ammar Yasser ◽

Haythem O. Ismail

Keyword(s):

Belief Revision

Download Full-text

Model Reconciliation in Logic Programs

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_26 ◽

2021 ◽

pp. 393-406

Author(s):

Tran Cao Son ◽

Van Nguyen ◽

Stylianos Loukas Vasileiou ◽

William Yeoh

Keyword(s):

Download Full-text

An Abstract View on Optimizations in SAT and ASP

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_25 ◽

2021 ◽

pp. 377-392

Author(s):

Yuliya Lierler

Download Full-text

Analyzing Unit Read-Once Refutations in Difference Constraint Systems

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_11 ◽

2021 ◽

pp. 147-161

Author(s):

K. Subramani ◽

Piotr Wojciechowski

Keyword(s):

Constraint Systems ◽

Difference Constraint Systems

Download Full-text

Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_13 ◽

2021 ◽

pp. 179-193

Author(s):

Bartosz Bednarczyk

Keyword(s):

Guarded Fragment

Download Full-text

Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_23 ◽

2021 ◽

pp. 346-361

Author(s):

Nicholas Hippen ◽

Yuliya Lierler

Keyword(s):

Logic Programs ◽

Answer Set Semantics ◽

Download Full-text

Epistemic Reasoning About Rationality and Bids in Auctions

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_9 ◽

2021 ◽

pp. 116-130

Author(s):

Munyque Mittelmann ◽

Andreas Herzig ◽

Laurent Perrussel

Keyword(s):

Epistemic Reasoning

Download Full-text

Graph-Classes of Argumentation Frameworks with Collective Attacks

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_1 ◽

2021 ◽

pp. 3-17

Author(s):

Wolfgang Dvořák ◽

Matthias König ◽

Stefan Woltran

Keyword(s):

Download Full-text

Testing in ASP: Revisited Language and Programming Environment

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_24 ◽

2021 ◽

pp. 362-376

Author(s):

Giovanni Amendola ◽

Tobias Berei ◽

Francesco Ricca

Keyword(s):

Programming Environment

Download Full-text