| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eduardo Fermé, Marco Garapa, Maurício D. Luís Reis |
Causes for changing profiles (Extended Abstract).  |
NMR  |
2023 |
DBLP BibTeX RDF |
|
| 1 | Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner |
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Jandson S. Ribeiro |
Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report). |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
On the Extended Preference-based Constrained Argumentation Framework. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Yannis Dimopoulos, Wolfgang Dvorák, Matthias König 0002, Anna Rapberger, Markus Ulbricht 0001, Stefan Woltran |
Sets Attacking Sets in Abstract Argumentation. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Johanna Wolff, Victor de Boer, Dirk Heylen, Birna van Riemsdijk |
Using Non-Monotonic Reasoning for Understandable and Flexible User-Models. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Bimal Bhattarai, Rupsa Saha, Ole-Christoffer Granmo, Vladimir Zadorozhny, Jiawei Xu 0003 |
A Logic-Based Explainable Framework for Relation Classification of Human Rights Violations. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar A. Tacla |
A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré |
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Isabelle Kuhlmann, Carl Corea, John Grant |
An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Jesse Heyninck |
An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (Preliminary Report). |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Chiaki Sakama |
Human Conditional Reasoning in Answer Set Programming. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Kai Sauerwald, Matthias Thimm (eds.) |
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
On the Conditional Preference-based Argumentation Framework. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Jesse Heyninck |
Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report). |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Hasra Dodampegama, Mohan Sridharan |
Collaborate and Explain on the Fly: Nonmonotonic Logical Reasoning and Incremental Learning for Ad Hoc Teamwork. |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Guimarães 0001, Ana Ozaki, Jandson S. Ribeiro |
Eviction and Reception for Description Logic Ontologies (Preliminary Results). |
NMR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Pierre Marquis |
Rectifying Classifiers. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Hisashi Hayashi, Ken Satoh |
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Joseph Singleton, Richard Booth 0001 |
Truth-Tracking with Non-Expert Information Sources. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran |
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Casini, Umberto Straccia |
Defeasible Reasoning in RDFS. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Mohan Sridharan, Chloé Benz, Arthur Findelair, Kévin Gloaguen |
There and Back Again: Combining Non-monotonic Logical Reasoning and Deep Learning on an Assistive Robot. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Clayton K. Baker, Thomas Andreas Meyer |
Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Serena Villata |
Fallacious Arguments: the Place where Knowledge Representation and Argument Mining Meet Each Other. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Richard B. Scherl |
A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer |
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Xavier Parent |
On Some Weakened Forms of Transitivity in the Logic of Norms. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak |
Situated Conditionals - A Brief Introduction. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan |
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001 |
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer |
Abductive Reasoning with Sequent-Based Argumentation. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Aaron Hunter 0001, Sam Tadey |
Trust Graphs for Belief Revision: Framework and Implementation. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Anna Rapberger, Markus Ulbricht 0001, Johannes Peter Wallner |
Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ofer Arieli, Giovanni Casini, Laura Giordano 0001 (eds.) |
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Vinícius Bitencourt Matos, Renata Wassermann |
Repairing Ontologies via Kernel Pseudo-Contraction. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Victor Hugo Nascimento Rocha, Fábio Gagliardi Cozman |
Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter |
Hybrid Answer Set Programming: Opportunities and Challenges. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni |
Modelling Agents Roles in the Epistemic Logic L-DINF. |
NMR |
2022 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub (eds.) |
10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, David Gilis, Marc Denecker |
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Baldwin, Eric Neufeld |
The structural model interpretation of the NESS test. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | José Luis Chacón, Ramón Pino Pérez |
Logic-based merging: the infinite case. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Leila Amgoud, Henri Prade |
Generation and evaluation of different types of arguments in negotiation. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Guillermo Ricardo Simari, Alejandro Javier García, Marcela Capobianco |
Actions, planning and defeasible reasoning. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Takehisa Takahashi, Hajime Sawamura |
Theory of multiple-valued defeasible argumentation and its applications. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gregory R. Wheeler |
A resource bounded default logic. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari |
Belief dynamics and defeasible argumentation in rational agents. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sylvie Doutre, Jérôme Mengin |
On sceptical vs credulous acceptance for abstract argument systems. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ján Sefránek |
Semantic considerations on rejection. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem 0001, Wolfgang Faber 0001 |
Plan reversals for recovery in execution monitoring. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Aaron Hunter 0001 |
Adding modal operators to the action language A. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nikolay Pelov, Miroslaw Truszczynski |
Semantics of disjunctive programs with monotone aggregates - an operator-based approach. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fernando A. Tohmé, Guillermo Ricardo Simari |
Preferential defeasibility: utility in defeasible logic programming. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Anthony Hunter |
Towards higher impact argumentation. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Qing Han, Zuoquan Lin |
Paraconsistent default reasoning. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Didier Dubois, Souhila Kaci, Henri Prade |
Ordinal and absolute representations of positive information in possibilistic logic. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
ASP-PROLOG: a system for reasoning about answer set programs in prolog. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Angelo Gilio |
On Császár's condition in nonmonotonic reasoning. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka |
A rank based description language for qualitative preferences. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Robert Saxon Milnikel |
A sequent calculus for skeptical reasoning in autopeistemic logic. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri |
Enhancing answer set programming with templates. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Philippe Besnard, Sylvie Doutre |
Checking the acceptability of a set of arguments. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
Answer set programming with default logic. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Carlos Iván Chesñevar, Ana Gabriela Maguitman, Guillermo Ricardo Simari |
A first approach to argument-based recommender systems based on defeasible logic programming. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | David A. Meyer 0001, James Pommersheim, Jeffrey B. Remmel |
Finding stable models via quantum computation. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alexander Nittka |
Adjusting adjustments - an algorithm for knowledge base extraction. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati 0001 |
Qualitative and probabilistic uncertainty in reasoning about actions with sensing. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Leila Amgoud, Claudette Cayrol, Marie-Christine Lagasquie-Schiex |
On the bipolarity in argumentation frameworks. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | David Billington |
A plausible logic which detects loops. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
A SAT-based polynomial space algorithm for answer set programming. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Richard Booth 0001, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose |
A unifying semantics for belief change. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Sacconi, Stefano Moretti 0001 |
A fuzzy logic and default reasoning model of social norm and equilibrium selection in games under unforeseen contingencies. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Guilin Qi, Weiru Liu, David H. Glass |
Combining individually inconsistent prioritized knowledge bases. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
Logic programs with annotated disjunctions. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Horacio L. Arló-Costa, Isaac Levi |
A complete characterization of a notion of contraction based on information-value. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Xiangdong An 0001, Yang Xiang, Nick Cercone |
Probabilistic reasoning in dynamic multiagent systems. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas Linke, Hans Tompits, Stefan Woltran |
On acyclic and head-cycle free nested logic programs. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig, Ivan José Varzinczak |
Domain descriptions should be modular. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic |
A probabilistic approach to default reasoning. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martin Caminada |
Dialogues and HY-arguments. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joris Hulstijn, Leendert W. N. van der Torre |
Combining goal generation and planning in an argumentation framework. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pascal Nicolas, Laurent Garcia, Igor Stéphan |
A possibilistic approach to restore consistency in answer set programming. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pietro Baroni, Massimiliano Giacomin |
A recursive approach to argumentation: motivation and perspectives. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou |
Generalizing the AGM postulates: preliminary results and applications. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ken Satoh |
"All's well that ends well" - a proposal of global abduction. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande |
Preliminary considerations on the modelling of belief change operators by metric spaces. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Konieczny |
Propositional belief merging and belief negotiation model. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Scarcello |
BackJumping techniques for rules instantiation in the DLV system. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonis C. Kakas |
Frame consistency: computing with causal explanations. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Charles G. Morgan |
Probability, rational belief and belief change. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
Consistency-based approaches to merging knowledge bases: preliminary report. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ralf Schweimeier, Michael Schroeder 0001 |
Well-founded argumentation semantics for extended logic programming. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alberto Finzi, Fiora Pirri |
Explanatory diagnosing and meaningful perception. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | John Fox 0001, Peter McBurney |
Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Torsten Schaub, Kewen Wang 0001 |
Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Konieczny, Ramón Pino Pérez |
Dynamical revision operators with memory. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker |
Unifying abductive logic programming and stable logic programming. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Abduction, ASP and open logic programs. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alexander Bochman |
Collective argumentation. |
NMR |
2002 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license