Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:JELIA (17. : 2021 : Online) Logics in Artificial Intelligence
1. Verfasser: Hippen, Nicholas (VerfasserIn)
Weitere Verfasser: Lierler, Yuliya (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Graph-Classes of Argumentation Frameworks with Collective Attacks 2021 Dvořák, Wolfgang
Computing Defeasible Meta-logic 2021 Olivieri, Francesco
An Epistemic Probabilistic Logic with Conditional Probabilities 2021 Dautović, Sejla
An Abstract View on Optimizations in SAT and ASP. 2021 Lierler, Yuliya
Model Reconciliation in Logic Programs 2021 Son, Tran Cao
A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem 2021 Tassel, Pierre
Transforming Gringo Rules into Formulas in a Natural Way 2021 Lifschitz, Vladimir
Introducing a Tool for Concurrent Argumentation 2021 Bistarelli, Stefano
Trust Is All You Need: From Belief Revision to Information Revision 2021 Yasser, Ammar
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies 2021 Haldimann, Jonas
Epistemic Reasoning About Rationality and Bids in Auctions 2021 Mittelmann, Munyqaue
Tractable Combinations of Theories via Sampling 2021 Bodirsky, Manuel
A Computationally Grounded Logic of Graded Belief 2021 Lorini, Emiliano
ReAD: AD-Based Modular Ontology Classification 2021 Zhao, Haoruo
Tractable Reasoning Using Logic Programs with Intensional Concepts 2021 Heyninck, Jesse
Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics 2021 Hippen, Nicholas
Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP 2021 Francescutto, Giulia
Testing in ASP: Revisited Language and Programming Environment 2021 Amendola, Giovanni
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics 2021 Baader, Franz
Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment 2021 Bednarczyk, Bartosz
Alle Artikel auflisten