Frontiers of Combining Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030290061, 9783030290078

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29007-8_7 ◽

2019 ◽

pp. 112-128

Author(s):

David Fuenmayor ◽

Christoph Benzmüller

Keyword(s):

Natural Language

Download Full-text

An Algebra of Modular Systems: Static and Dynamic Perspectives

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29007-8_6 ◽

2019 ◽

pp. 94-111

Author(s):

Eugenia Ternovska

Keyword(s):

Modular Systems

Download Full-text

The Complexity of the Consistency Problem in the Probabilistic Description Logic $$\mathcal {ALC} ^\mathsf {ME}$$

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29007-8_10 ◽

2019 ◽

pp. 167-184 ◽

Cited By ~ 1

Author(s):

Franz Baader ◽

Andreas Ecke ◽

Gabriele Kern-Isberner ◽

Marco Wilhelm

Keyword(s):

Description Logic ◽

Probabilistic Description ◽

Consistency Problem

Download Full-text

Symmetry Avoidance in MACE-Style Finite Model Finding

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29007-8_1 ◽

2019 ◽

pp. 3-21 ◽

Cited By ~ 1

Author(s):

Giles Reger ◽

Martin Riener ◽

Martin Suda

Keyword(s):

Finite Model ◽

Model Finding

Download Full-text

Extending Forgetting-Based Abduction Using Nominals

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29007-8_11 ◽

2019 ◽

pp. 185-202

Author(s):

Warren Del-Pinto ◽

Renate A. Schmidt

Download Full-text

A Neurally-Guided, Parallel Theorem Prover

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29007-8_3 ◽

2019 ◽

pp. 40-56

Author(s):

Michael Rawson ◽

Giles Reger

Keyword(s):

Theorem Prover

Download Full-text

A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29007-8_4 ◽

2019 ◽

pp. 57-73

Author(s):

Alireza Ensan ◽

Eugenia Ternovska

Keyword(s):

Problem Solving

Download Full-text

Reviving Basic Narrowing Modulo

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29007-8_18 ◽

2019 ◽

pp. 313-329

Author(s):

Dohan Kim ◽

Christopher Lynch ◽

Paliath Narendran

Download Full-text

Epistemic Reasoning with Byzantine-Faulty Agents

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29007-8_15 ◽

2019 ◽

pp. 259-276 ◽

Cited By ~ 2

Author(s):

Roman Kuznets ◽

Laurent Prosperi ◽

Ulrich Schmid ◽

Krisztina Fruzsa

Keyword(s):

Epistemic Reasoning

Download Full-text

On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29007-8_12 ◽

2019 ◽

pp. 203-219 ◽

Cited By ~ 1

Author(s):

Franz Baader ◽

Filippo De Bortoli

Keyword(s):

Description Logics ◽

Expressive Power ◽

Cardinality Constraints ◽

Infinite Sets

Download Full-text

Frontiers of Combining Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations

An Algebra of Modular Systems: Static and Dynamic Perspectives

The Complexity of the Consistency Problem in the Probabilistic Description Logic $$\mathcal {ALC} ^\mathsf {ME}$$

Symmetry Avoidance in MACE-Style Finite Model Finding

Extending Forgetting-Based Abduction Using Nominals

A Neurally-Guided, Parallel Theorem Prover

A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving

Reviving Basic Narrowing Modulo

Epistemic Reasoning with Byzantine-Faulty Agents

On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets

Frontiers of Combining Systems - Lecture Notes in Computer Science
Latest Publications