| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mario Alviano |
Generative Datalog and Answer Set Programming - Extended Abstract.  |
JELIA  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari |
Data Graphs with Incomplete Information (and a Way to Complete Them). |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Kawamoto 0001, Tetsuya Sato 0001, Kohei Suenaga |
Formalizing Statistical Causality via Modal Logic. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelos Charalambidis, Panos Rondogiannis |
Categorical Approximation Fixpoint Theory. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Lagniez, Pierre Marquis |
Boosting Definability Bipartition Computation Using SAT Witnesses. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré |
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago de Lima, Emiliano Lorini, François Schwarzentruber |
Base-Based Model Checking for Multi-agent only Believing. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati |
Comparing Planning Domain Models Using Answer Set Programming. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner |
Enhancing Temporal Planning by Sequential Macro-Actions. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Fadnis, Jussi Rintanen |
Planning with Partial Observability by SAT. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová |
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo |
Computing MUS-Based Inconsistency Measures. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi, Jorge E. Leon |
Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Djordje Markovic, Maurice Bruynooghe, Marc Denecker |
Towards Systematic Treatment of Partial Functions in Knowledge Representation. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
Short Boolean Formulas as Explanations in Practice. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Michaliszyn, Jan Otop |
Deterministic Weighted Automata Under Partial Observability. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fernández-Duque, Konstnatinos Papafilippou |
The Universal Tangle for Spatial Reasoning. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre |
A Principle-Based Analysis of Bipolar Argumentation Semantics. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub |
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Haldimann, Thomas Meyer 0002, Gabriele Kern-Isberner, Christoph Beierle |
Rational Closure Extension in SPO-Representable Inductive Inference Operators. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vaishak Belle |
Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Armando Tacchella |
Optimal Planning with Expressive Action Languages as Constraint Optimization. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Bednarczyk |
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Konieczny, Elise Perrotin, Ramón Pino Pérez |
Belief Reconfiguration. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Barbero, Jonni Virtema |
Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Burigana, Paolo Felli, Marco Montali |
delphic: Practical DEL Planning via Possibilities. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Freiman, Michael Bernreiter |
Truth and Preferences - A Game Approach for Qualitative Choice Logic. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Di Florio, Antonino Rotolo, Guido Governatori, Giovanni Sartor |
Stable Normative Explanations: From Argumentation to Deontic Logic. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Fandinno, Vladimir Lifschitz |
On Heuer's Procedure for Verifying Strong Equivalence. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura State, Salvatore Ruggieri, Franco Turini |
Declarative Reasoning on Explanations Using Constraint Logic Programming. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunxi Ji, Adnan Darwiche |
A New Class of Explanations for Classifiers with Non-binary Features. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck |
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, Karin Quaas |
First Steps Towards Taming Description Logics with Strings. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjur K. Dyrkolbotn |
Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz 0001 (eds.) |
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Tobias Geibinger, Johannes Oetsch |
Contrastive Explanations for Answer-Set Programs. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Andrzej Walega, Michal Zawidzki |
Hybrid Modal Operators for Definite Descriptions. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
Hamiltonian Cycle Reconfiguration with Answer Set Programming. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Berthold, Anna Rapberger, Markus Ulbricht 0001 |
On the Expressive Power of Assumption-Based Argumentation. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser |
Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Laouar, Sihem Belabbes, Salem Benferhat |
Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce 0001 |
Logic, Accountability and Design: Extended Abstract. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre |
Deontic Equilibrium Logic with eXplicit Negation. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Patrick Koopmann, Francesco Kriegel |
Optimal Repairs in the Description Logic Eℒ Revisited. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Harders, Daniela Inclezan |
Plan Selection Framework for Policy-Aware Autonomous Agents. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei Obiedkov, Baris Sertkaya |
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guendalina Righetti, Pietro Galliani, Claudio Masolo |
Concept Combination in Weighted DL. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko |
Non-standard Modalities in Paraconsistent Gödel Logic. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aniello Murano, Daniel Neider, Martin Zimmermann 0002 |
Robust Alternating-Time Temporal Logic. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Popescu 0005, Johannes Peter Wallner |
Reasoning in Assumption-Based Argumentation Using Tree-Decompositions. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia |
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim S. Lyon, Sebastian Rudolph |
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard |
Non-Normal Modal Description Logics. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood 0002, Arne Meier, Jonni Virtema |
Logics with Probabilistic Team Semantics and the Boolean Negation. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan |
Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub |
Past-Present Temporal Programs over Finite Traces. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Bednarczyk |
Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
Conditional Descriptor Revision and Its Modelling by a CSP. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Munyque Mittelmann, Andreas Herzig, Laurent Perrussel |
Epistemic Reasoning About Rationality and Bids in Auctions. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Tassel, Mohamed Rbaia |
A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Van Nguyen 0001, Stylianos Loukas Vasileiou, William Yeoh 0001 |
Model Reconciliation in Logic Programs. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pilar Dellunde, Lluís Godo, Amanda Vidal |
Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Francesco Santini 0001 |
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner |
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Justin Robbins |
DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Hippen, Yuliya Lierler |
Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Analyzing Unit Read-Once Refutations in Difference Constraint Systems. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulia Francescutto, Konstantin Schekotihin, Mohammed M. S. El-Kholany |
Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni |
An Epistemic Logic for Multi-agent Systems with Budget and Costs. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sejla Dautovic, Dragan Doder, Zoran Ognjanovic |
An Epistemic Probabilistic Logic with Conditional Probabilities. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Tobias Berei, Francesco Ricca |
Testing in ASP: Revisited Language and Programming Environment. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Gerhard Friedrich, Martin Gebser, Michael Morak (eds.) |
Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Giordano 0001, Daniele Theseider Dupré |
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar 0001 |
Computing Defeasible Meta-logic. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Jakub Rydval |
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasser Ammar, Haythem O. Ismail |
Trust Is All You Need: From Belief Revision to Information Revision. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Haoruo Zhao, Bijan Parsia, Uli Sattler |
ReAD: AD-Based Modular Ontology Classification. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Matthias König 0002, Stefan Woltran |
Graph-Classes of Argumentation Frameworks with Collective Attacks. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Carlo Taticchi |
Introducing a Tool for Concurrent Argumentation. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Heyninck, Ricardo Gonçalves 0001, Matthias Knorr 0001, João Leite 0001 |
Tractable Reasoning Using Logic Programs with Intensional Concepts. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Miika Hannula, Jonni Virtema |
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, François Schwarzentruber |
A Computationally Grounded Logic of Graded Belief. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Johannes Greiner |
Tractable Combinations of Theories via Sampling. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Transforming Gringo Rules into Formulas in a Natural Way. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr 0001, João Leite 0001 |
On Syntactic Forgetting Under Uniform Equivalence. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Ciatto, Roberta Calegari, Andrea Omicini |
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler |
An Abstract View on Optimizations in SAT and ASP. |
JELIA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Morel, Andrew Cropper, C.-H. Luke Ong |
Typed Meta-interpretive Learning of Logic Programs. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001 |
Well-Foundedness in Weighted Argumentation Frameworks. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski 0001 |
On the Complexity of Graded Modal Logics with Converse. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001 |
Chain Answer Sets for Logic Programs with Generalized Atoms. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Ulbricht 0001 |
Repairing Non-monotonic Knowledge Bases. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Andreas Pieris, Emanuel Sallinger |
Vadalog: Recent Advances and Applications. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Tourret, Andrew Cropper |
SLD-Resolution Reduction of Second-Order Horn Fragments. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezgi Iraz Su |
Epistemic Answer Set Programming. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Oetsch, Juan Carlos Nieves |
Stable-Ordered Models for Propositional Theories with Order Operators. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Nicola Leone, Marco Manna (eds.) |
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonard Botha, Thomas Meyer 0002, Rafael Peñaloza |
A Bayesian Extension of the Description Logic ALC. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Theofrastos Mantadelis |
A Possible World View and a Normal Form for the Constellation Semantics. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, Raul Fervari, Alessio Mansutti |
Axiomatising Logics with Separating Conjunction and Modalities. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license