Abstract is missing.
- Preference Relations by ApproximationMario Alviano, Javier Romero 0003, Torsten Schaub. 2-11 [doi]
- Introducing Temporal Stable Models for Linear Dynamic LogicAnne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub. 12-21 [doi]
- Weight Learning in a Probabilistic Extension of Answer Set ProgramsJoohyung Lee, Yi Wang. 22-31 [doi]
- A Hybrid Approach to Optimization in Answer Set ProgrammingPaul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo. 32-41 [doi]
- Omission-Based Abstraction for Answer Set ProgramsZeynep Gözen Saribatur, Thomas Eiter. 42-51 [doi]
- A Generator of Hard 2QBF Formulas and ASP ProgramsGiovanni Amendola, Francesco Ricca, Mirek Truszczynski. 52-56 [doi]
- Computing Logic Programs with Ordered Disjunction Using asprinJoohyung Lee, Zhun Yang. 57-61 [doi]
- A Model-Based Approach to Visual Reasoning on CNLVR DatasetShailaja Sampat, Joohyung Lee. 62-66 [doi]
- SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight ProgramsDa Shen, Yuliya Lierler. 67-71 [doi]
- SOGrounder: Modelling and Solving Second-Order LogicMatthias van der Hallen, Gerda Janssens. 72-77 [doi]
- An Incremental Approach to Structured Argumentation over Dynamic Knowledge BasesGianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo Ignacio Simari, Guillermo Ricardo Simari. 78-87 [doi]
- Gradual Semantics Accounting for Similarity between ArgumentsLeila Amgoud, Elise Bonzon, Jérôme Delobelle, Dragan Doder, Sébastien Konieczny, Nicolas Maudet. 88-97 [doi]
- Measuring Similarity between Logical ArgumentsLeila Amgoud, Victor David. 98-107 [doi]
- If Nothing Is Accepted - Repairing Argumentation FrameworksRingo Baumann, Markus Ulbricht. 108-117 [doi]
- Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract ArgumentationElise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet. 118-127 [doi]
- Constructive Logic Covers Argumentation and Logic ProgrammingJorge Fandinno, Luis Fariñas del Cerro. 128-137 [doi]
- Updating Belief in Arguments in Epistemic GraphsAnthony Hunter, Sylwia Polberg, Nico Potyka. 138-147 [doi]
- Continuous Dynamical Systems for Weighted Bipolar ArgumentationNico Potyka. 148-157 [doi]
- Probabilistic Strength of Arguments with StructureHenry Prakken. 158-167 [doi]
- Probabilistic Abstract Argumentation Based on SCC DecomposabilityTjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre. 168-177 [doi]
- Extension Enforcement under Grounded Semantics in Abstract ArgumentationAndreas Niskanen, Johannes Peter Wallner, Matti Järvisalo. 178-183 [doi]
- Reachability Analysis for Neural Agent-Environment SystemsMichael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano. 184-193 [doi]
- Hunting for Tractable Languages for Judgment AggregationRonald de Haan. 194-203 [doi]
- iCon: A Diagrammatic Theorem Prover for OntologiesZohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato. 204-209 [doi]
- On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval OperatorsRichard Booth 0001, Jake Chandler. 210-219 [doi]
- A Semantic Perspective on Belief Change in a Preferential Non-Monotonic FrameworkGiovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak. 220-229 [doi]
- Incorporating Relevance in Epistemic States in Belief RevisionJames P. Delgrande, Pavlos Peppas. 230-239 [doi]
- Studies in Credibility-Limited Base RevisionMarco Garapa, Eduardo Fermé, Maurício D. Luís Reis. 240-247 [doi]
- Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief ChangeGabriele Kern-Isberner. 248-256 [doi]
- Specifying Plausibility Levels for Iterated Belief Change in the Situation CalculusToryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque. 257-266 [doi]
- Default Reasoning via Topology and Mathematical Analysis: A Preliminary ReportCostas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis. 267-276 [doi]
- Parametrised Difference RevisionPavlos Peppas, Mary-Anne Williams. 277-286 [doi]
- Towards Belief Contraction without CompactnessJandson S. Ribeiro, Abhaya Nayak, Renata Wassermann. 287-296 [doi]
- On Belief PromotionNicolas Schwind, Sébastien Konieczny, Pierre Marquis. 297-307 [doi]
- Preference Aggregation with Incomplete CP-NetsAdrian Haret, Arianna Novaro, Umberto Grandi. 308-318 [doi]
- Making Repairs in Description Logics More GentleFranz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza. 319-328 [doi]
- Reasoning with Justifiable Exceptions in Contextual HierarchiesLoris Bozzato, Luciano Serafini, Thomas Eiter. 329-338 [doi]
- The Combined Approach to Query Answering in Horn-ALCHOIQDavid Carral, Irina Dragoste, Markus Krötzsch. 339-348 [doi]
- Knowledge-Based Transfer Learning ExplanationJiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Ian Horrocks, Huajun Chen. 349-358 [doi]
- A Parameterized Complexity View on Description Logic ReasoningRonald de Haan. 359-368 [doi]
- Finite Query Answering in Expressive Description Logics with Transitive RolesTomasz Gogacz, Yazmin Angélica Ibáñez-García, Filip Murlak. 369-378 [doi]
- From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and RulesVíctor Gutiérrez-Basulto, Steven Schockaert. 379-388 [doi]
- Query Expressibility and Verification in Ontology-Based Data AccessCarsten Lutz, Johannes Marti, Leif Sabellek. 389-398 [doi]
- Query Answering for Rough EL OntologiesRafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan. 399-408 [doi]
- ExactLearner: A Tool for Exact Learning of EL OntologiesMario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki. 409-414 [doi]
- Heuristic Search Planning With Multi-Objective Probabilistic LTL ConstraintsPeter Baumgartner 0001, Sylvie Thiébaux, Felipe W. Trevizan. 415-424 [doi]
- Bisimulations for Logics of Strategies: A Study in Expressiveness and VerificationFrancesco Belardinelli, Catalin Dima, Aniello Murano. 425-434 [doi]
- Approximating Perfect Recall When Model Checking Strategic AbilitiesFrancesco Belardinelli, Alessio Lomuscio, Vadim Malvone. 435-444 [doi]
- Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit CoordinationThomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel. 445-453 [doi]
- Finite LTL Synthesis with Environment Assumptions and Quality MeasuresAlberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith. 454-463 [doi]
- Abductive Diagnosis of Complex Active Systems with Compiled KnowledgeGianfranco Lamperti, Marina Zanella, Xiangfu Zhao. 464-473 [doi]
- Compiling Away Soft Trajectory Constraints in PlanningBenedict Wright, Robert Mattmüller, Bernhard Nebel. 474-483 [doi]
- On the Progression of Situation Calculus Universal Theories with ConstantsMarcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña. 484-493 [doi]
- On Laws and Counterfactuals in Causal ReasoningAlexander Bochman. 494-503 [doi]
- Combining the Causal Judgments of Experts with Possibly Different Focus AreasMeir Friedenberg, Joseph Y. Halpern. 504-513 [doi]
- Complexity of Projection with Stochastic Actions in a Probabilistic Description LogicBenjamin Zarrieß. 514-523 [doi]
- Symbolic Verification of Golog Programs with First-Order BDDsJens Claßen. 524-529 [doi]
- Reasoning about Knowledge and Strategies under Hierarchical InformationBastien Maubert, Aniello Murano. 530-540 [doi]
- A Novel Automata-Theoretic Approach to Timeline-Based PlanningDario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala. 541-550 [doi]
- Qualitative Representation and Reasoning over Direction Relations across Different Frames of ReferenceHua Hua, Jochen Renz, Xiaoyu Ge. 551-560 [doi]
- Cutting Diamonds: A Temporal Logic with Probabilistic DistributionsAlisa Kovtunova, Rafael Peñaloza. 561-570 [doi]
- The Window Validity Problem in Rule-Based Stream ReasoningAlessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. 571-581 [doi]
- Approximating Certainty in Querying Data and MetadataCristina Civili, Leonid Libkin. 582-591 [doi]
- Propositional and Predicate Logics of Incomplete InformationMarco Console, Paolo Guagliardo, Leonid Libkin. 592-601 [doi]
- Quantified Markov Logic NetworksVíctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka. 602-612 [doi]
- Gradual Semantics for Weighted Graphs: An Unifying ApproachLeila Amgoud, Dragan Doder. 613-614 [doi]
- Synthesis under AssumptionsBenjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin. 615-616 [doi]
- Relaxing and Restraining Queries for OBDA - Extended AbstractMedina Andresel, Yazmin Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus. 617-618 [doi]
- Loop Restricted Existential Rules and First-Order Rewritability for Query AnsweringVernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si. 619-620 [doi]
- Changing Observations in Epistemic Temporal LogicAurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin. 621-622 [doi]
- Some Thoughts On Well-Foundedness in Weighted Abstract ArgumentationStefano Bistarelli, Francesco Santini 0001. 623-624 [doi]
- Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended AbstractJori Bomanson, Tomi Janhunen, Antonius Weinzierl. 625-626 [doi]
- Decidability and Complexity of Timeline-Based Planning over Dense Temporal DomainsLaura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron. 627-628 [doi]
- A General Approach to Reasoning with Probabilities - Extended AbstractFederico Cerutti, Matthias Thimm. 629-630 [doi]
- Argumentation for Reasoning with Conflicting Clinical Guidelines and PreferencesKristijonas Cyras, Tiago Oliveira. 631-632 [doi]
- Partial-State Progression for Stream Reasoning with Metric Temporal LogicDaniel de Leng, Fredrik Heintz. 633-634 [doi]
- Navigability with Bounded RecallKaya Deuser, Pavel Naumov. 635-636 [doi]
- Knowledge Compilation in the Multi-Agent Epistemic Logic KnLiangda Fang, Kewen Wang, Zhe Wang, Ximing Wen. 637-638 [doi]
- Exploiting Treewidth for Counting Projected Answer SetsJohannes Klaus Fichte, Markus Hecher. 639-640 [doi]
- Towards Explainable Inference about Object Motion using Qualitative ReasoningXiaoyu Ge, Jochen Renz, Hua Hua. 641-642 [doi]
- Variable Elimination for DLP-FunctionsRicardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran. 643-644 [doi]
- Two AGM-Style Characterizations of Model RepairPaulo T. Guerra, Renata Wassermann. 645-646 [doi]
- Bayesian Model Selection in Statistical Construction of JustificationHiroyuki Kido. 647-648 [doi]
- New Inference Relations from Maximal Consistent SubsetsSébastien Konieczny, Pierre Marquis, Srdjan Vesic. 649-650 [doi]
- A SAT-Based Approach For PSPACE Modal LogicsJean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail. 651-652 [doi]
- A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description LogicsDomenico Lembo, Riccardo Rosati, Domenico Fabio Savo. 653-654 [doi]
- On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDAStephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell. 655-656 [doi]
- Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web QuestionsArindam Mitra, Chitta Baral, Peter Clark. 657-658 [doi]
- Strategic Coalitions in Systems with Catastrophic FailuresPavel Naumov, Kevin Ros. 659-660 [doi]
- Structure Learning for Relational Logistic Regression: An Ensemble ApproachNandini Ramanan, Gautam Kunapuli, Tushar Khot, Bahare Fatemi, Seyed Mehran Kazemi, David Poole 0001, Kristian Kersting, Sriraam Natarajan. 661-662 [doi]
- Probabilistic Coalition Structure GenerationNicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis. 663-664 [doi]
- Metric Temporal Extensions of DL-Lite and Interval-Rigid NamesVeronika Thost. 665-666 [doi]
- Propositional Belief Merging with OWA OperatorsHenrique Viana, João Alcântara. 667 [doi]