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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 125-128, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner |
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 52-63, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Jandson S. Ribeiro |
Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 94-103, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
On the Extended Preference-based Constrained Argumentation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 120-124, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 22-31, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 133-136, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 14-21, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar A. Tacla |
A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 84-93, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré |
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 4-13, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Isabelle Kuhlmann, Carl Corea, John Grant |
An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 129-132, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Jesse Heyninck |
An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 64-73, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Chiaki Sakama |
Human Conditional Reasoning in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 104-114, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
On the Conditional Preference-based Argumentation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 115-119, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Jesse Heyninck |
Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 74-83, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 32-42, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Ricardo Guimarães 0001, Ana Ozaki, Jandson S. Ribeiro |
Eviction and Reception for Description Logic Ontologies (Preliminary Results). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 43-51, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Pierre Marquis |
Rectifying Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 2, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Hisashi Hayashi, Ken Satoh |
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 4-15, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Joseph Singleton, Richard Booth 0001 |
Truth-Tracking with Non-Expert Information Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 80-91, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 27-38, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Giovanni Casini, Umberto Straccia |
Defeasible Reasoning in RDFS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 155-158, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 115-126, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Clayton K. Baker, Thomas Andreas Meyer |
Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 139-142, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Serena Villata |
Fallacious Arguments: the Place where Knowledge Representation and Argument Mining Meet Each Other. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 3, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Richard B. Scherl |
A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 104-114, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer |
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 61-69, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Xavier Parent |
On Some Weakened Forms of Transitivity in the Logic of Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 147-150, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak |
Situated Conditionals - A Brief Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 151-154, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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⊥. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 159-162, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001 |
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 127-138, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer |
Abductive Reasoning with Sequent-Based Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 143-146, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Aaron Hunter 0001, Sam Tadey |
Trust Graphs for Belief Revision: Framework and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 39-48, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Anna Rapberger, Markus Ulbricht 0001, Johannes Peter Wallner |
Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 92-103, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Vinícius Bitencourt Matos, Renata Wassermann |
Repairing Ontologies via Kernel Pseudo-Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 16-26, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Victor Hugo Nascimento Rocha, Fábio Gagliardi Cozman |
Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 49-60, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter |
Hybrid Answer Set Programming: Opportunities and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 1, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni |
Modelling Agents Roles in the Epistemic Logic L-DINF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 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., pp. 70-79, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![, 92-990021-0-X The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 400-408, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Richard A. Baldwin, Eric Neufeld |
The structural model interpretation of the NESS test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 41-49, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | José Luis Chacón, Ramón Pino Pérez |
Logic-based merging: the infinite case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 100-108, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Leila Amgoud, Henri Prade |
Generation and evaluation of different types of arguments in negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 10-15, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Guillermo Ricardo Simari, Alejandro Javier García, Marcela Capobianco |
Actions, planning and defeasible reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 377-384, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Takehisa Takahashi, Hajime Sawamura |
Theory of multiple-valued defeasible argumentation and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 385-393, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Gregory R. Wheeler |
A resource bounded default logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 416-422, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari |
Belief dynamics and defeasible argumentation in rational agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 164-170, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Sylvie Doutre, Jérôme Mengin |
On sceptical vs credulous acceptance for abstract argument systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 134-139, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Ján Sefránek |
Semantic considerations on rejection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 368-376, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Esra Erdem 0001, Wolfgang Faber 0001 |
Plan reversals for recovery in execution monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 147-154, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Aaron Hunter 0001 |
Adding modal operators to the action language A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 219-226, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Nikolay Pelov, Miroslaw Truszczynski |
Semantics of disjunctive programs with monotone aggregates - an operator-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 327-334, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Fernando A. Tohmé, Guillermo Ricardo Simari |
Preferential defeasibility: utility in defeasible logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 394-399, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Anthony Hunter |
Towards higher impact argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 227-232, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Qing Han, Zuoquan Lin |
Paraconsistent default reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 197-203, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Didier Dubois, Souhila Kaci, Henri Prade |
Ordinal and absolute representations of positive information in possibilistic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 140-146, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 155-163, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Angelo Gilio |
On Császár's condition in nonmonotonic reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 180-188, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Gerhard Brewka |
A rank based description language for qualitative preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 88-93, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Robert Saxon Milnikel |
A sequent calculus for skeptical reasoning in autopeistemic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 292-296, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri |
Enhancing answer set programming with templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 233-239, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Philippe Besnard, Sylvie Doutre |
Checking the acceptability of a set of arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 59-64, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Victor W. Marek, Jeffrey B. Remmel |
Answer set programming with default logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 276-284, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 109-117, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | David A. Meyer 0001, James Pommersheim, Jeffrey B. Remmel |
Finding stable models via quantum computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 285-291, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Alexander Nittka |
Adjusting adjustments - an algorithm for knowledge base extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 313-320, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati 0001 |
Qualitative and probabilistic uncertainty in reasoning about actions with sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 240-248, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Leila Amgoud, Claudette Cayrol, Marie-Christine Lagasquie-Schiex |
On the bipolarity in argumentation frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 1-9, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | David Billington |
A plausible logic which detects loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 65-71, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
A SAT-based polynomial space algorithm for answer set programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 189-196, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Richard Booth 0001, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose |
A unifying semantics for belief change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 72-78, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 350-359, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Guilin Qi, Weiru Liu, David H. Glass |
Combining individually inconsistent prioritized knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 342-349, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
Logic programs with annotated disjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 409-415, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Horacio L. Arló-Costa, Isaac Levi |
A complete characterization of a notion of contraction based on information-value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 25-40, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Xiangdong An 0001, Yang Xiang, Nick Cercone |
Probabilistic reasoning in dynamic multiagent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 16-24, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Thomas Linke, Hans Tompits, Stefan Woltran |
On acyclic and head-cycle free nested logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 267-275, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Andreas Herzig, Ivan José Varzinczak |
Domain descriptions should be modular. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 204-211, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic |
A probabilistic approach to default reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 335-341, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Martin Caminada |
Dialogues and HY-arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 94-99, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Joris Hulstijn, Leendert W. N. van der Torre |
Combining goal generation and planning in an argumentation framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 212-218, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Pascal Nicolas, Laurent Garcia, Igor Stéphan |
A possibilistic approach to restore consistency in answer set programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 306-312, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Pietro Baroni, Massimiliano Giacomin |
A recursive approach to argumentation: motivation and perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 50-58, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou |
Generalizing the AGM postulates: preliminary results and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 171-179, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Ken Satoh |
"All's well that ends well" - a proposal of global abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 360-367, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | James P. Delgrande |
Preliminary considerations on the modelling of belief change operators by metric spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 118-125, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Sébastien Konieczny |
Propositional belief merging and belief negotiation model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 249-257, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Nicola Leone, Simona Perri, Francesco Scarcello |
BackJumping techniques for rules instantiation in the DLV system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 258-266, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Andrea Bracciali, Antonis C. Kakas |
Frame consistency: computing with causal explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 79-87, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Charles G. Morgan |
Probability, rational belief and belief change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 297-305, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | James P. Delgrande, Torsten Schaub |
Consistency-based approaches to merging knowledge bases: preliminary report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 126-133, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Ralf Schweimeier, Michael Schroeder 0001 |
Well-founded argumentation semantics for extended logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 426-435, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Alberto Finzi, Fiora Pirri |
Explanatory diagnosing and meaningful perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 124-134, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 293-301, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Torsten Schaub, Kewen Wang 0001 |
Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 238-246, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sébastien Konieczny, Ramón Pino Pérez |
Dynamical revision operators with memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 171-182, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Marc Denecker |
Unifying abductive logic programming and stable logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 183, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Piero A. Bonatti |
Abduction, ASP and open logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 184-190, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Alexander Bochman |
Collective argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 436-443, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|