default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 2021: Virtual Event
- Wolfgang Faber
, Gerhard Friedrich, Martin Gebser, Michael Morak:
Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings. Lecture Notes in Computer Science 12678, Springer 2021, ISBN 978-3-030-75774-8
Argumentation
- Wolfgang Dvorák, Matthias König, Stefan Woltran:
Graph-Classes of Argumentation Frameworks with Collective Attacks. 3-17 - Stefano Bistarelli, Carlo Taticchi:
Introducing a Tool for Concurrent Argumentation. 18-24 - Pilar Dellunde, Lluís Godo, Amanda Vidal:
Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-. 25-32
Belief Revision
- Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Conditional Descriptor Revision and Its Modelling by a CSP. 35-49 - Yasser Ammar, Haythem O. Ismail:
Trust Is All You Need: From Belief Revision to Information Revision. 50-65
Reasoning about Actions, Causality, and Change
- Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar:
Computing Defeasible Meta-logic. 69-84 - Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. 85-100 - Stefania Costantini, Andrea Formisano, Valentina Pitoni:
An Epistemic Logic for Multi-agent Systems with Budget and Costs. 101-115 - Munyque Mittelmann, Andreas Herzig, Laurent Perrussel:
Epistemic Reasoning About Rationality and Bids in Auctions. 116-130
Constraint Satisfaction
- Manuel Bodirsky, Johannes Greiner:
Tractable Combinations of Theories via Sampling. 133-146 - K. Subramani, Piotr Wojciechowski:
Analyzing Unit Read-Once Refutations in Difference Constraint Systems. 147-161 - Fabio Gadducci, Francesco Santini:
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. 162-176
Description Logics and Ontological Reasoning
- Bartosz Bednarczyk:
Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment. 179-193 - Franz Baader, Jakub Rydval:
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. 194-209 - Haoruo Zhao, Bijan Parsia, Uli Sattler:
ReAD: AD-Based Modular Ontology Classification. 210-224 - Laura Giordano, Daniele Theseider Dupré:
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. 225-242
Non-classical Logics
- Emiliano Lorini, François Schwarzentruber:
A Computationally Grounded Logic of Graded Belief. 245-261 - Miika Hannula, Jonni Virtema:
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. 262-278 - Sejla Dautovic, Dragan Doder, Zoran Ognjanovic:
An Epistemic Probabilistic Logic with Conditional Probabilities. 279-293
Logic Programming and Answer Set Programming
- Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite:
On Syntactic Forgetting Under Uniform Equivalence. 297-312 - 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. 313-328 - Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite:
Tractable Reasoning Using Logic Programs with Intensional Concepts. 329-345 - Nicholas Hippen, Yuliya Lierler:
Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. 346-361 - Giovanni Amendola, Tobias Berei, Francesco Ricca:
Testing in ASP: Revisited Language and Programming Environment. 362-376 - Yuliya Lierler:
An Abstract View on Optimizations in SAT and ASP. 377-392 - Tran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou, William Yeoh:
Model Reconciliation in Logic Programs. 393-406 - Giovanni Ciatto, Roberta Calegari, Andrea Omicini:
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt. 407-420 - Vladimir Lifschitz:
Transforming Gringo Rules into Formulas in a Natural Way. 421-434 - Yuliya Lierler, Justin Robbins:
DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework. 435-441 - Pierre Tassel, Mohamed Rbaia:
A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. 442-457
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
