JELIA - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 700

2023

Formalizing Statistical Causality via Modal LogicYusuke Kawamoto 0001, Tetsuya Sato 0001, Kohei Suenaga. jelia 2023: 681-696 [doi]

Reasoning in Assumption-Based Argumentation Using Tree-DecompositionsAndrei Popescu 0005, Johannes Peter Wallner. jelia 2023: 192-208 [doi]

Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge BasesMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. jelia 2023: 481-497 [doi]

Generative Datalog and Answer Set Programming - Extended AbstractMario Alviano. jelia 2023: 3-10 [doi]

Data Graphs with Incomplete Information (and a Way to Complete Them)Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari. jelia 2023: 729-744 [doi]

How Easy it is to Know How: An Upper Bound for the Satisfiability ProblemCarlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia. jelia 2023: 405-419 [doi]

Eℒ RevisitedFranz Baader, Patrick Koopmann, Francesco Kriegel. jelia 2023: 11-34 [doi]

Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist CounterfactualsFausto Barbero, Jonni Virtema. jelia 2023: 649-664 [doi]

sf reg: Exploring Non-Regular Extensions of PDL with Description Logics FeaturesBartosz Bednarczyk. jelia 2023: 289-305 [doi]

Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and BeyondVaishak Belle. jelia 2023: 35-46 [doi]

On the Expressive Power of Assumption-Based ArgumentationMatti Berthold, Anna Rapberger, Markus Ulbricht 0001. jelia 2023: 145-160 [doi]

Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge CompilationLeopoldo E. Bertossi, Jorge E. Leon. jelia 2023: 49-64 [doi]

Enhancing Temporal Planning by Sequential Macro-ActionsMarco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner. jelia 2023: 595-604 [doi]

delphic: Practical DEL Planning via PossibilitiesAlessandro Burigana, Paolo Felli, Marco Montali. jelia 2023: 579-594 [doi]

Non-standard Modalities in Paraconsistent Gödel LogicMarta Bílková, Sabine Frittella, Daniil Kozhemiachenko. jelia 2023: 420-436 [doi]

Logic, Accountability and Design: Extended AbstractPedro Cabalar, David Pearce 0001. jelia 2023: 65-72 [doi]

Past-Present Temporal Programs over Finite TracesPedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub. jelia 2023: 787-795 [doi]

Deontic Equilibrium Logic with eXplicit NegationPedro Cabalar, Agata Ciabattoni, Leendert van der Torre. jelia 2023: 498-514 [doi]

Categorical Approximation Fixpoint TheoryAngelos Charalambidis, Panos Rondogiannis. jelia 2023: 515-530 [doi]

Comparing Planning Domain Models Using Answer Set ProgrammingLukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati. jelia 2023: 227-242 [doi]

Non-Normal Modal Description LogicsTiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard. jelia 2023: 306-321 [doi]

Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality ModelsIgor de Camargo e Souza Câmara, Anni-Yasmin Turhan. jelia 2023: 531-546 [doi]

First Steps Towards Taming Description Logics with StringsStéphane Demri, Karin Quaas. jelia 2023: 322-337 [doi]

The Universal Tangle for Spatial ReasoningDavid Fernández Duque, Konstnatinos Papafilippou. jelia 2023: 814-827 [doi]

Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a ConjectureSjur K. Dyrkolbotn. jelia 2023: 161-175 [doi]

Contrastive Explanations for Answer-Set ProgramsThomas Eiter, Tobias Geibinger, Johannes Oetsch. jelia 2023: 73-89 [doi]

Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing ProcessesMohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser. jelia 2023: 243-252 [doi]

Planning with Partial Observability by SATSaurabh Fadnis, Jussi Rintanen. jelia 2023: 605-620 [doi]

On Heuer's Procedure for Verifying Strong EquivalenceJorge Fandinno, Vladimir Lifschitz. jelia 2023: 253-261 [doi]

Stable Normative Explanations: From Argumentation to Deontic LogicCecilia Di Florio, Antonino Rotolo, Guido Governatori, Giovanni Sartor. jelia 2023: 123-131 [doi]

Truth and Preferences - A Game Approach for Qualitative Choice LogicRobert Freiman, Michael Bernreiter. jelia 2023: 547-560 [doi]

Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, ProceedingsSarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz 0001, editors, Volume 14281 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Optimal Planning with Expressive Action Languages as Constraint OptimizationEnrico Giunchiglia, Armando Tacchella. jelia 2023: 621-637 [doi]

Rational Closure Extension in SPO-Representable Inductive Inference OperatorsJonas Haldimann, Thomas Meyer 0002, Gabriele Kern-Isberner, Christoph Beierle. jelia 2023: 561-576 [doi]

Logics with Probabilistic Team Semantics and the Boolean NegationMiika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood 0002, Arne Meier, Jonni Virtema. jelia 2023: 665-680 [doi]

Plan Selection Framework for Policy-Aware Autonomous AgentsCharles Harders, Daniela Inclezan. jelia 2023: 638-646 [doi]

Hamiltonian Cycle Reconfiguration with Answer Set ProgrammingTakahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura. jelia 2023: 262-277 [doi]

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction SolverMartin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová. jelia 2023: 338-352 [doi]

Short Boolean Formulas as Explanations in PracticeReijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander. jelia 2023: 90-105 [doi]

A New Class of Explanations for Classifiers with Non-binary FeaturesChunxi Ji, Adnan Darwiche. jelia 2023: 106-122 [doi]

Belief ReconfigurationSébastien Konieczny, Elise Perrotin, Ramón Pino Pérez. jelia 2023: 446-461 [doi]

Computing MUS-Based Inconsistency MeasuresIsabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo. jelia 2023: 745-755 [doi]

Boosting Definability Bipartition Computation Using SAT WitnessesJean-Marie Lagniez, Pierre Marquis. jelia 2023: 697-711 [doi]

Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite OntologiesAhmed Laouar, Sihem Belabbes, Salem Benferhat. jelia 2023: 353-368 [doi]

Base-Based Model Checking for Multi-agent only BelievingTiago De Lima, Emiliano Lorini, François Schwarzentruber. jelia 2023: 437-445 [doi]

Derivation-Graph-Based Characterizations of Decidable Existential Rule SetsTim S. Lyon, Sebastian Rudolph. jelia 2023: 369-384 [doi]

Towards Systematic Treatment of Partial Functions in Knowledge RepresentationDjordje Markovic, Maurice Bruynooghe, Marc Denecker. jelia 2023: 756-770 [doi]

Deterministic Weighted Automata Under Partial ObservabilityJakub Michaliszyn, Jan Otop. jelia 2023: 771-784 [doi]

Robust Alternating-Time Temporal LogicAniello Murano, Daniel Neider, Martin Zimmermann 0002. jelia 2023: 796-813 [doi]

Computing Stable Extensions of Argumentation Frameworks using Formal Concept AnalysisSergei Obiedkov, Baris Sertkaya. jelia 2023: 176-191 [doi]

Concept Combination in Weighted DLGuendalina Righetti, Pietro Galliani, Claudio Masolo. jelia 2023: 385-401 [doi]

Declarative Reasoning on Explanations Using Constraint Logic ProgrammingLaura State, Salvatore Ruggieri, Franco Turini. jelia 2023: 132-141 [doi]

Hybrid Modal Operators for Definite DescriptionsPrzemyslaw Andrzej Walega, Michal Zawidzki. jelia 2023: 712-726 [doi]

Splitting Techniques for Conditional Belief Bases in the Context of c-RepresentationsMarco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck. jelia 2023: 462-477 [doi]

Recongo: Bounded Combinatorial Reconfiguration with Answer Set ProgrammingYuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub. jelia 2023: 278-286 [doi]

A Principle-Based Analysis of Bipolar Argumentation SemanticsLiuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre. jelia 2023: 209-224 [doi]

2021

Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network ModelLaura Giordano 0001, Daniele Theseider Dupré. jelia 2021: 225-242 [doi]

On Syntactic Forgetting Under Uniform EquivalenceRicardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite 0001. jelia 2021: 297-312 [doi]

Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, ProceedingsWolfgang Faber 0001, Gerhard Friedrich, Martin Gebser, Michael Morak, editors, Volume 12678 of Lecture Notes in Computer Science, Springer, 2021. [doi]

Testing in ASP: Revisited Language and Programming EnvironmentGiovanni Amendola, Tobias Berei, Francesco Ricca. jelia 2021: 362-376 [doi]

Trust Is All You Need: From Belief Revision to Information RevisionYasser Ammar, Haythem O. Ismail. jelia 2021: 50-65 [doi]

An Algebraic View on p-Admissible Concrete Domains for Lightweight Description LogicsFranz Baader, Jakub Rydval. jelia 2021: 194-209 [doi]

Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded FragmentBartosz Bednarczyk. jelia 2021: 179-193 [doi]

Introducing a Tool for Concurrent ArgumentationStefano Bistarelli, Carlo Taticchi. jelia 2021: 18-24 [doi]

Tractable Combinations of Theories via SamplingManuel Bodirsky, Johannes Greiner. jelia 2021: 133-146 [doi]

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-KtGiovanni Ciatto, Roberta Calegari, Andrea Omicini. jelia 2021: 407-420 [doi]

An Epistemic Logic for Multi-agent Systems with Budget and CostsStefania Costantini, Andrea Formisano 0001, Valentina Pitoni. jelia 2021: 101-115 [doi]

An Epistemic Probabilistic Logic with Conditional ProbabilitiesSejla Dautovic, Dragan Doder, Zoran Ognjanovic. jelia 2021: 279-293 [doi]

Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-Pilar Dellunde, Lluís Godo, Amanda Vidal. jelia 2021: 25-32 [doi]

Graph-Classes of Argumentation Frameworks with Collective AttacksWolfgang Dvorák, Matthias König 0002, Stefan Woltran. jelia 2021: 3-17 [doi]

Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASPGiulia Francescutto, Konstantin Schekotihin, Mohammed M. S. El-Kholany. jelia 2021: 313-328 [doi]

Residuation for Soft Constraints: Lexicographic Orders and Approximation TechniquesFabio Gadducci, Francesco Santini 0001. jelia 2021: 162-176 [doi]

Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection StrategiesJonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner. jelia 2021: 85-100 [doi]

Conditional Descriptor Revision and Its Modelling by a CSPJonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle. jelia 2021: 35-49 [doi]

Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the RealsMiika Hannula, Jonni Virtema. jelia 2021: 262-278 [doi]

Tractable Reasoning Using Logic Programs with Intensional ConceptsJesse Heyninck, Ricardo Gonçalves 0001, Matthias Knorr, João Leite 0001. jelia 2021: 329-345 [doi]

Estimating Grounding Sizes of Logic Programs Under Answer Set SemanticsNicholas Hippen, Yuliya Lierler. jelia 2021: 346-361 [doi]

An Abstract View on Optimizations in SAT and ASPYuliya Lierler. jelia 2021: 377-392 [doi]

DualGrounder: Lazy Instantiation via Clingo Multi-shot FrameworkYuliya Lierler, Justin Robbins. jelia 2021: 435-441 [doi]

Transforming Gringo Rules into Formulas in a Natural WayVladimir Lifschitz. jelia 2021: 421-434 [doi]

A Computationally Grounded Logic of Graded BeliefEmiliano Lorini, François Schwarzentruber. jelia 2021: 245-261 [doi]

Epistemic Reasoning About Rationality and Bids in AuctionsMunyque Mittelmann, Andreas Herzig, Laurent Perrussel. jelia 2021: 116-130 [doi]

Computing Defeasible Meta-logicFrancesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar 0001. jelia 2021: 69-84 [doi]

Model Reconciliation in Logic ProgramsTran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou, William Yeoh 0001. jelia 2021: 393-406 [doi]

Analyzing Unit Read-Once Refutations in Difference Constraint SystemsK. Subramani, Piotr J. Wojciechowski. jelia 2021: 147-161 [doi]

A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning ProblemPierre Tassel, Mohamed Rbaia. jelia 2021: 442-457 [doi]

ReAD: AD-Based Modular Ontology ClassificationHaoruo Zhao, Bijan Parsia, Uli Sattler. jelia 2021: 210-224 [doi]

2019

ALC with the Power-Set ConstructLaura Giordano 0001, Alberto Policriti. jelia 2019: 387-398 [doi]

A Logic of Objective and Subjective OughtsAldo Iván Ramírez Abarca, Jan M. Broersen. jelia 2019: 629-641 [doi]

$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and InheritanceMaría Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer. jelia 2019: 171-181 [doi]

On the Complexity of Graded Modal Logics with ConverseBartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski 0001. jelia 2019: 642-658 [doi]

ELH_\bot OntologiesStefan Borgwardt, Walter Forkel. jelia 2019: 371-386 [doi]

The Weak Completion Semantics Can Model Inferences of Individual Human ReasonersChristian Breu, Axel Ind, Julia Mertesdorf, Marco Ragni. jelia 2019: 498-508 [doi]

Taking Defeasible Entailment Beyond Rational ClosureGiovanni Casini, Thomas Meyer, Ivan Varzinczak. jelia 2019: 182-197 [doi]

Interpolation and Beth Definability in Default LogicsValentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro. jelia 2019: 675-691 [doi]

Manipulating Skeptical and Credulous Consequences When Merging BeliefsAdrian Haret, Johannes Peter Wallner. jelia 2019: 133-150 [doi]

\mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural LanguageTobias Kain, Hans Tompits. jelia 2019: 559-575 [doi]

The Hexlite Solver - Lightweight and Efficient Evaluation of HEX ProgramsPeter Schüller. jelia 2019: 593-607 [doi]

Epistemic Answer Set ProgrammingEzgi Iraz Su. jelia 2019: 608-626 [doi]

Repairing Non-monotonic Knowledge BasesMarkus Ulbricht. jelia 2019: 151-167 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

JELIA (jelia)

Viewing Publication 1 - 100 from 700

2023

2021

2019

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

JELIA (jelia)

Viewing Publication 1 - 100 from 700

2023

2021

2019

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1